×

zbMATH — the first resource for mathematics

Found 1,686 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Gomaa, Mahmoud A. K.; Elshafei, Moustafa; Saif, Abdul-Wahid A.; Al-Majed, Abdulaziz A.
Autonomous trenchless horizontal directional drilling. (English) Zbl 07329891
Ghommam, Jawhar (ed.) et al., New trends in robot control. Singapore: Springer (ISBN 978-981-15-1818-8/hbk; 978-981-15-1821-8/pbk; 978-981-15-1819-5/ebook). Studies in Systems, Decision and Control 270, 47-65 (2020).
MSC:  93C85
PDF BibTeX XML Cite
\textit{M. A. K. Gomaa} et al., Stud. Syst. Decis. Control 270, 47--65 (2020; Zbl 07329891)
Full Text: DOI
Lubat, Éric; Dal Zilio, Silvano; Le Botlan, Didier; Pencolé, Yannick; Subias, Audine
A state class construction for computing the intersection of time Petri nets languages. (English) Zbl 1434.68331
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 79-95 (2019).
MSC:  68Q85 68M14 68Q60
PDF BibTeX XML Cite
\textit{É. Lubat} et al., Lect. Notes Comput. Sci. 11750, 79--95 (2019; Zbl 1434.68331)
Full Text: DOI
Krichen, Moez
Testing real-time systems using determinization techniques for automata over timed domains. (English) Zbl 07142673
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 124-133 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{M. Krichen}, Lect. Notes Comput. Sci. 11884, 124--133 (2019; Zbl 07142673)
Full Text: DOI
André, Étienne; Jerray, Jawher; Mhiri, Sahar
Time4sys2imi: a tool to formalize real-time system models under uncertainty. (English) Zbl 07142672
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{É. André} et al., Lect. Notes Comput. Sci. 11884, 113--123 (2019; Zbl 07142672)
Full Text: DOI
Waga, Masaki; Hasuo, Ichiro
Poster abstract: Moore-machine filtering for timed and untimed pattern matching. (English) Zbl 07120169
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Waga} and \textit{I. Hasuo}, in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 272--273 (2019; Zbl 07120169)
Full Text: DOI
Cerqueira, Felipe; Nelissen, Geoffrey; Brandenburg, Björn B.
On strong and weak sustainability, with an application to self-suspending real-time tasks. (English) Zbl 07286783
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 26, 21 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{F. Cerqueira} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 26, 21 p. (2018; Zbl 07286783)
Full Text: DOI
Nemitz, Catherine E.; Amert, Tanya; Anderson, James H.
Using lock servers to scale real-time locking protocols: chasing ever-increasing core counts. (English) Zbl 07286782
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 25, 24 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{C. E. Nemitz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 25, 24 p. (2018; Zbl 07286782)
Full Text: DOI
Wägemann, Peter; Dietrich, Christian; Distler, Tobias; Ulbrich, Peter; Schröder-Preikschat, Wolfgang
Whole-system worst-case energy-consumption analysis for energy-constrained real-time systems. (English) Zbl 07286781
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 24, 25 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{P. Wägemann} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 24, 25 p. (2018; Zbl 07286781)
Full Text: DOI
Bhat, Anand; Samii, Soheil; Rajkumar, Ragunathan (raj)
Recovery time considerations in real-time systems employing software fault tolerance. (English) Zbl 07286780
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 23, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{A. Bhat} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 23, 22 p. (2018; Zbl 07286780)
Full Text: DOI
Krüger, Kristin; Völp, Marcus; Fohler, Gerhard
Vulnerability analysis and mitigation of directed timing inference based attacks on time-triggered systems. (English) Zbl 07286779
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 22, 17 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{K. Krüger} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 22, 17 p. (2018; Zbl 07286779)
Full Text: DOI
Yang, Ming; Otterness, Nathan; Amert, Tanya; Bakita, Joshua; Anderson, James H.; Smith, F. Donelson
Avoiding pitfalls when using NVIDIA GPUs for real-time tasks in autonomous systems. (English) Zbl 07286777
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 20, 21 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{M. Yang} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 20, 21 p. (2018; Zbl 07286777)
Full Text: DOI
Ahrendts, Leonie; Quinton, Sophie; Boroske, Thomas; Ernst, Rolf
Verifying weakly-hard real-time properties of traffic streams in switched networks. (English) Zbl 07286772
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 15, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{L. Ahrendts} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 15, 22 p. (2018; Zbl 07286772)
Full Text: DOI
Freitag, Johannes; Uhrig, Sascha; Ungerer, Theo
Virtual timing isolation for mixed-criticality systems. (English) Zbl 07286770
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 13, 23 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{J. Freitag} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 13, 23 p. (2018; Zbl 07286770)
Full Text: DOI
Pathan, Risat Mahmud
Improving the schedulability and quality of service for federated scheduling of parallel mixed-criticality tasks on multiprocessors. (English) Zbl 07286769
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 12, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{R. M. Pathan}, LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 12, 22 p. (2018; Zbl 07286769)
Full Text: DOI
Pazzaglia, Paolo; Pannocchi, Luigi; Biondi, Alessandro; Di Natale, Marco
Beyond the weakly hard model: measuring the performance cost of deadline misses. (English) Zbl 07286767
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 10, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{P. Pazzaglia} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 10, 22 p. (2018; Zbl 07286767)
Full Text: DOI
Davis, Robert I.; Bate, Iain; Bernat, Guillem; Broster, Ian; Burns, Alan; Colin, Antoine; Hutchesson, Stuart; Tracey, Nigel
Transferring real-time systems research into industrial practice: four impact case studies. (English) Zbl 07286764
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 7, 24 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{R. I. Davis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 7, 24 p. (2018; Zbl 07286764)
Full Text: DOI
Oehlert, Dominic; Saidi, Selma; Falk, Heiko
Compiler-based extraction of event arrival functions for real-time systems analysis. (English) Zbl 07286761
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 4, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{D. Oehlert} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 4, 22 p. (2018; Zbl 07286761)
Full Text: DOI
Benedicte, Pedro; Hernandez, Carles; Abella, Jaume; Cazorla, Francisco J.
HWP: hardware support to reconcile cache energy, complexity, performance and WCET estimates in multicore real-time systems. (English) Zbl 07286760
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 3, 22 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{P. Benedicte} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 3, 22 p. (2018; Zbl 07286760)
Full Text: DOI
Farshchi, Farzad; Valsan, Prathap Kumar; Mancuso, Renato; Yun, Heechul
Deterministic memory abstraction and supporting multicore system architecture. (English) Zbl 07286758
Altmeyer, Sebastian (ed.), 30th Euromicro conference on real-time systems, ECRTS 2018, July 3rd–6th, 2018, Barcelona, Spain. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-075-0). LIPIcs – Leibniz International Proceedings in Informatics 106, Article 1, 25 p. (2018).
MSC:  68M20
PDF BibTeX XML Cite
\textit{F. Farshchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 106, Article 1, 25 p. (2018; Zbl 07286758)
Full Text: DOI
Averbuch, Amir; Neittaanmäki, Pekka; Zheludev, Valery
Local splines on non-uniform grids generating real-time wavelet transforms. (English) Zbl 07236792
Ivanov, Kamen (ed.) et al., Constructive theory of functions. Proceedings of the 12th international conference, Sozopol, Bulgaria, June 11–17, 2016. Sofia: Prof. Marin Drinov Academic Publishing House (ISBN 978-954-322-931-4/hbk). 29-50 (2018).
MSC:  42C40 41A15
PDF BibTeX XML Cite
\textit{A. Averbuch} et al., in: Constructive theory of functions. Proceedings of the 12th international conference, Sozopol, Bulgaria, June 11--17, 2016. Sofia: Prof. Marin Drinov Academic Publishing House. 29--50 (2018; Zbl 07236792)
Full Text: Link
Schüthe, Dennis; Wenk, Felix; Frese, Udo
Dynamics calibration and real-time state estimation of a redundant flexible joint robot based on encoders and gyroscopes. (English) Zbl 1427.93169
Madani, Kurosh (ed.) et al., Informatics in control, automation and robotics. 13th international conference, ICINCO 2016, Lisbon, Portugal, July 29–31, 2016. Selected, extended and revised papers. Cham: Springer. Lect. Notes Electr. Eng. 430, 385-409 (2018).
MSC:  93C85 93E11 93E10
PDF BibTeX XML Cite
\textit{D. Schüthe} et al., Lect. Notes Electr. Eng. 430, 385--409 (2018; Zbl 1427.93169)
Full Text: DOI
Ulus, Dogan; Maler, Oded
Specifying timed patterns using temporal logic. (English) Zbl 1409.68175
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 167-176 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
\textit{D. Ulus} and \textit{O. Maler}, in: Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11--13, 2018. New York, NY: Association for Computing Machinery (ACM). 167--176 (2018; Zbl 1409.68175)
Full Text: DOI
Gaukler, Maximilian; Michalka, Andreas; Ulbrich, Peter; Klaus, Tobias
A new perspective on quality evaluation for control systems with stochastic timing. (English) Zbl 1417.93214
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 91-100 (2018).
MSC:  93C83 93E03 93C05
PDF BibTeX XML Cite
\textit{M. Gaukler} et al., in: Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11--13, 2018. New York, NY: Association for Computing Machinery (ACM). 91--100 (2018; Zbl 1417.93214)
Full Text: DOI
Lee, Edward A.
Models of timed systems. (English) Zbl 06989597
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 17-33 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{E. A. Lee}, Lect. Notes Comput. Sci. 11022, 17--33 (2018; Zbl 06989597)
Full Text: DOI
Kostenko, V. A.; Smirnov, A. S.
An algorithm for constructing single processor static-dynamic schedules. (English. Russian original) Zbl 1397.90181
Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 44-50 (2018); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 45-52 (2018).
MSC:  90B35 90B06 68M20 90B10
PDF BibTeX XML Cite
\textit{V. A. Kostenko} and \textit{A. S. Smirnov}, Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 44--50 (2018; Zbl 1397.90181); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 45--52 (2018)
Full Text: DOI
Pedersen, Mathias R.; Fijalkow, Nathanaël; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
Timed comparisons of semi-Markov processes. (English) Zbl 06894756
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 271-283 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{M. R. Pedersen} et al., Lect. Notes Comput. Sci. 10792, 271--283 (2018; Zbl 06894756)
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