


default search action
Real-Time Systems, Volume 59
Volume 59, Number 1, March 2023
- Sanjoy K. Baruah

, Alan Burns
, Robert I. Davis
, Yue Wu:
Optimally ordering IDK classifiers subject to deadlines. 1-34 - Alessandro V. Papadopoulos

, Kunal Agrawal, Enrico Bini, Sanjoy K. Baruah:
Feedback-based resource management for multi-threaded applications. 35-68 - Vijaya Kumar Sundar

, Saravanan Ramanathan
, Arvind Easwaran
:
Design and analyses of functional mode changes for mixed-criticality systems. 69-121
Volume 59, Number 2, June 2023
- Ömer Kagan Demir

, Selçuk Cevher
:
Multi-Topology Routing based traffic optimization for IEEE 802.1 Time Sensitive Networking. 123-159 - Pascal Fradet

, Xiaojie Guo, Sophie Quinton:
CertiCAN certifying CAN analyses and their results. 160-198 - Heechul Yun, Cong Liu:

Special issue: Advances in real-time embedded systems design. 199-200 - Sayra Ranjha, Pourya Gohari, Geoffrey Nelissen

, Mitra Nasri
:
Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks. 201-255 - Anam Farrukh, Richard West:

FlyOS: rethinking integrated modular avionics for autonomous multicopters. 256-301 - Shengzhong Liu

, Xinzhe Fu, Yigong Hu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher:
Generalized self-cueing real-time attention scheduling with intermittent inspection and image resizing. 302-343
Volume 59, Number 3, September 2023
- Daniel Casini

, Giorgio C. Buttazzo:
Guest editorial: special issue on predictable machine learning. 345-347 - Tarek F. Abdelzaher, Kunal Agrawal, Sanjoy K. Baruah, Alan Burns, Robert I. Davis

, Zhishan Guo
, Yigong Hu:
Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. 348-407 - Iryna De Albuquerque Silva

, Thomas Carle
, Adrien Gauffriau, Claire Pagetti
:
Extending a predictable machine learning framework with efficient gemm-based convolution routines. 408-437 - Miguel Alcon

, Axel Brando, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla:
Main sources of variability and non-determinism in AD software: taxonomy and prospects to handle them. 438-478 - Micaela Verucchi

, Ignacio Sañudo Olmedo, Marko Bertogna:
A survey on real-time DAG scheduling, revisiting the Global-Partitioned Infinity War. 479-530
Volume 59, Number 4, December 2023
- Giorgio C. Buttazzo, Daniela De Venuto, Eugenio Di Sciascio, Toni Mancini:

Special issue on embedded real-time applications. 531-533 - Marcello Cinque, Luigi De Simone

, Nicola Mazzocca, Daniele Ottaviano
, Francesco Vitale
:
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems. 534-567 - Donato Ferraro

, Luca Palazzi
, Federico Gavioli
, Michele Guzzinati
, Andrea Bernardi
, Benjamin Rouxel
, Paolo Burgio
, Marco Solieri
:
Time-sensitive autonomous architectures. 568-608 - Edoardo Cittadini

, Mauro Marinoni
, Alessandro Biondi
, Giorgiomaria Cicero, Giorgio C. Buttazzo:
Supporting AI-powered real-time cyber-physical systems on heterogeneous platforms via hypervisor technology. 609-635 - Arturo Amendola, Mario Barbareschi, Salvatore De Simone, Giovanni Mezzina

, Alberto Moriconi, Cataldo Luciano Saragaglia, Diana Serra
, Daniela De Venuto:
A real-time vital control module to increase capabilities of railway control systems in highly automated train operations. 636-661 - Geoffrey Nelissen

, Laurent Pautet:
Special issue on reliable data transmission in real-time systems. 662-663 - Felipe Lisboa Malaquias

, Mihail Asavoae
, Florian Brandner
:
A formal framework to design and prove trustworthy memory controllers. 664-704 - Niklas Reusch, Mohammadreza Barzegaran, Luxi Zhao, Silviu S. Craciunas, Paul Pop

:
Configuration optimization for heterogeneous time-sensitive networks. 705-747

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














