×

Found 963 Documents (Results 1–100)

100
MathJax

A 3D fractional step computational modeling of nerve impulse transmission through an axonal membrane: incorporating calcium buffer and extrusion. (English) Zbl 1471.92071

Mondaini, Rubem P. (ed.), Trends in biomathematics: chaos and control in epidemics, ecosystems, and cells. Selected works from the 20th BIOMAT consortium lectures, Rio de Janeiro, Brazil, November 1–6, 2020. Cham: Springer. 315-332 (2021).
MSC:  92C20 35Q92
PDF BibTeX XML Cite
Full Text: DOI

Three-server queue with consultations by main server with a buffer at the main server. (English) Zbl 1470.60258

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 19th international conference, ITMM 2020, named after A. F. Terpugov, Tomsk, Russia, December 2–5, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1391, 131-142 (2021).
MSC:  60K25 68M20 90B22
PDF BibTeX XML Cite
Full Text: DOI

Semi-online algorithms for hierarchical scheduling on three parallel machines with a buffer size of 1. (English) Zbl 1481.68049

He, Kun (ed.) et al., Theoretical computer science. 38th national conference, NCTCS 2020, Nanning, China, November 13–15, 2020. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1352, 47-56 (2021).
MSC:  68W27 90B35
PDF BibTeX XML Cite
Full Text: DOI

Methods to reduce loss probability in systems with infinite service time dispersion. (English) Zbl 1455.90055

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 18th international conference, ITMM 2019, named after A. F. Terpugov, Saratov, Russia, June 26–30, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1109, 296-311 (2019).
MSC:  90B22 60K25
PDF BibTeX XML Cite
Full Text: DOI

With great speed come small buffers: space-bandwidth tradeoffs for routing. (English) Zbl 07298663

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 117-126 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Flow shop with job-dependent buffer requirements – a polynomial-time algorithm and efficient heuristics. (English) Zbl 1439.90035

Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 342-357 (2019).
MSC:  90B35 90C59
PDF BibTeX XML Cite
Full Text: DOI

Model checking speculation-dependent security properties: abstracting and reducing processor models for sound and complete verification. (English) Zbl 07116588

Carlet, Claude (ed.) et al., Codes, cryptology and information security. Third international conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019. Proceedings – in honor of Said el Hajji. Cham: Springer. Lect. Notes Comput. Sci. 11445, 462-479 (2019).
MSC:  68P25
PDF BibTeX XML Cite
Full Text: DOI

Time to start a crowded period in a finite-buffer queue with Poisson input flow and general processing times. (English) Zbl 1434.90040

Dimov, Ivan (ed.) et al., Finite difference methods. Theory and applications. 7th international conference, FDM 2018, Lozenetz, Bulgaria, June 11–16, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11386, 329-336 (2019).
MSC:  90B22 60K25 90-08
PDF BibTeX XML Cite
Full Text: DOI

Modeling of a multi-link transport connection by a network of queuing systems. (English) Zbl 1452.60066

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 17th international conference, ITMM 2018, named after A.F. Terpugov, and 12th workshop on retrial queues and related topics, WRQ 2018, Tomsk, Russia, September 10–15, 2018. Selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 912, 274-289 (2018).
MSC:  60K25 68M20
PDF BibTeX XML Cite
Full Text: DOI

An improved bound for random binary search trees with concurrent insertions. (English) Zbl 07228428

Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 37, 13 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

A light-weight and accurate method of static integer-overflow-to-buffer-overflow vulnerability detection. (English) Zbl 07124891

Guo, Fuchun (ed.) et al., Information security and cryptology. 14th international conference, Inscrypt 2018, Fuzhou, China, December 14–17, 2018, Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11449, 404-423 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Computational analysis of a single server queue with batch Markovian arrival and exponential single working vacation. (English) Zbl 1402.90036

Kar, Samarjit (ed.) et al., Operations research and optimization. FOTA 2016, Kolkata, India, November 24–26, 2016. Singapore: Springer (ISBN 978-981-10-7813-2/hbk; 978-981-10-7814-9/ebook). Springer Proceedings in Mathematics & Statistics 225, 61-73 (2018).
MSC:  90B22
PDF BibTeX XML Cite
Full Text: DOI

Maximizing throughput in zero-buffer tandem lines with constrained flexible servers. (English) Zbl 1397.90150

Takahashi, Yutaka (ed.) et al., Queueing theory and network applications. 13th international conference, QTNA 2018, Tsukuba, Japan, July 25–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-93735-9/pbk; 978-3-319-93736-6/ebook). Lecture Notes in Computer Science 10932, 227-237 (2018).
MSC:  90B22 60K25
PDF BibTeX XML Cite
Full Text: DOI

Quasi-stable structures in circular gene networks. (English. Russian original) Zbl 1398.34066

Comput. Math. Math. Phys. 58, No. 5, 659-679 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 5, 704-714 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Efficient Lagrangian heuristics for the two-stage flow shop with job dependent buffer requirements. (English) Zbl 06890128

Brankovic, Ljiljana (ed.) et al., Combinatorial algorithms. 28th international workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17–21, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10765, 312-324 (2018).
MSC:  68Rxx 68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Scheduling batch processing in flexible flowshop with job dependent buffer requirements: Lagrangian relaxation approach. (English) Zbl 06889924

Rahman, M. Sohel (ed.) et al., WALCOM: algorithms and computation. 12th international conference, WALCOM 2018, Dhaka, Bangladesh, March 3–5, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10755, 119-131 (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI

Steady-state analysis of the single vacation \(\mathrm{PH}/\mathrm{MSP}/1/\infty\) queue using roots. (English) Zbl 1387.60136

López de Silanes, M. C. (ed.) et al., Fourteenth international conference Zaragoza-Pau on mathematics and its applications. Proceedings of the conference, Jaca, Spain, September 12–15, 2016. Zaragoza: Prensas de la Universidad de Zaragoza (ISBN 978-84-17358-00-6/pbk). Monografías Matemáticas “García de Galdeano” 41, 31-40 (2018).
MSC:  60K25
PDF BibTeX XML Cite
Full Text: arXiv

Reordering buffer management with a logarithmic guarantee in general metric spaces. (English) Zbl 1441.68296

Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 33, 12 p. (2017).
MSC:  68W27 90B35
PDF BibTeX XML Cite
Full Text: DOI

Reasoning about translation lookaside buffers. (English) Zbl 1403.68037

Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 490-508 (2017).
MSC:  68N25 68T15
PDF BibTeX XML Cite
Full Text: DOI

Combination of queueing systems of different types with common buffer: a theoretical treatment. (English) Zbl 1397.90142

Dudin, Alexander (ed.) et al., Information technologies and mathematical modelling. Queueing theory and applications. 16th international conference, ITMM 2017, named after A. F. Terpugov, Kazan, Russia, September 29 – October 3, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-68068-2/pbk; 978-3-319-68069-9/ebook). Communications in Computer and Information Science 800, 158-167 (2017).
MSC:  90B22 68M20
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software