Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Albert Mo Kim Cheng, Rong Wang |
A New Scheduling Algorithm and a Compensation Strategy for Imprecise Computation. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Deming Liu, Yann-Hang Lee |
Pfair Scheduling of Periodic Tasks with Allocation Constraints on Multiple Processors. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas A. Henzinger, Christoph M. Kirsch |
A typed assembly language for real-time programs. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
real time, virtual machine, typed assembly language |
17 | Jukka Mäki-Turja, Mikael Nolin |
Efficient Response-Time Analysis for Tasks with Offsets. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Phil-Su Kang, Chang-Gun Lee |
Coordinated Search and Track by Multiple Phased Array Radars. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Reinder J. Bril, Wim F. J. Verhaegh, Evert-Jan D. Pol |
Initial Values for On-line Response Time Calculations. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
17 | José C. Palencia Gutiérrez, Michael González Harbour |
Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Anton Cervin, Johan Eker |
The Control Server: A Computational Model for Real-Time Control Tasks. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
best-case response times, initial value, real-time systems, periodic tasks, worst-case response times, fixed priority preemptive scheduling, iterative procedure |
17 | Jungkeun Park, Minsoo Ryu, Seongsoo Hong |
Fair Real-Time Resource Allocation for Internet End System's QoS Support. |
Human.Society@Internet 2003 |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Minsoo Ryu, Seongsoo Hong |
Deterministic and Statistical Deadline Guarantees for a Mixed Set of Periodic and Aperiodic Tasks. |
RTCSA |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Insik Shin, Insup Lee 0001 |
Periodic Resource Model for Compositional Real-Time Guarantees. |
RTSS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Doron Drusinsky, Man-tak Shing |
Verification of Timing Properties in Rapid System Prototyping. |
IEEE International Workshop on Rapid System Prototyping |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Reinhard Wilhelm |
Run-Time Guarantees for Real-Time Systems. |
FORMATS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Niklas Holsti, Thomas Långbacka |
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Saehwa Kim, Seongsoo Hong, Tae-Hyung Kim |
Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization. |
LCTES-SCOPES |
2002 |
DBLP DOI BibTeX RDF |
object-oriented real-time system design, preemption threshold scheduling, priority inheritance protocols, real-time synchronization, priority ceiling protocol |
17 | Ian Broster, Guillem Bernat, Alan Burns 0001 |
Weakly Hard Real-time Constraints on Controller Area Network. |
ECRTS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yeonseung Ryu |
Considering Non-real-time Traffic in Real-Time Packet Scheduling. |
IDMS/PROMS |
2002 |
DBLP DOI BibTeX RDF |
Admission control algorithm, Real-time scheduling, Packet scheduling |
17 | Aloysius K. Mok, Alex Xiang Feng |
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi 0001 |
TIMES - A Tool for Modelling and Implementation of Embedded Systems. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Joseph Sifakis |
Scheduler Modeling Based on the Controller Synthesis Paradigm. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | K. Subramani 0001 |
A Specification Framework for Real-Time Scheduling. |
SOFSEM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yeonseung Ryu |
Providing Multimedia Traffic with Predictability. |
IEEE Pacific Rim Conference on Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu |
Abort-Oriented Concurrency Control for Real-Time Databases. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
transaction aborting, concurrency control, Real-time databases, priority inversion |
17 | Roman Gumzej, Matjaz Colnaric |
An Approach to Modeling and Verification of Real-Time Systems. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | K. Subramani 0001 |
Parametric Scheduling - Algorithms and Complexity. |
HiPC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Stewart Edgar, Alan Burns 0001 |
Statistical Analysis of WCET for Scheduling. |
RTSS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Yann-Hang Lee, Daeyoung Kim 0001, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy |
Resource Scheduling in Dependable Integrated Modular Avionics. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Eduardo Tovar, Francisco Vasques |
Non pre-emptive scheduling of messages on SMTV token-passing networks. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
Elastic feedback control. |
ECRTS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Hans Hansson, Christer Norström, Sasikumar Punnekkat |
Reliability Modelling of Time-Critical Distributed Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Costas Mourlas |
Multiprocessor Scheduling of Real-Time Tasks with Resource Requirements. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Tei-Wei Kuo, Ching-Hui Li |
A Fixed-Priority-Driven Open Environment for Real-Time Applications. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
Resource Synchronization, Real-Time Systems, EDF, PCP, Generalized Processor Sharing, Open Environment, RM, SRP, Sporadic Server |
17 | Lynn Y. Zhang, Jane W.-S. Liu, Zhong Deng, Ian R. Philp |
Hierarchical Scheduling of Periodic Messages in Open System. |
RTSS |
1999 |
DBLP DOI BibTeX RDF |
periodic traffic, Open system, hierarchical scheduling |
17 | Antonios Broumas |
Real-Time Object-Oriented DistributedSystems: RT CORBA and RMA. |
TOOLS (30) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | G. Manimaran, C. Siva Ram Murthy |
An Efficient Dynamic Scheduling Algorithm For Multiprocessor Real-Time Systems. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
parallelizable tasks, real-time systems, Multiprocessor, dynamic scheduling, resource constraints |
17 | Taewoong Kim, Heonshik Shin, Naehyuck Chang |
Scheduling algorithm for hard real-time communication in demand priority network. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Sergio Sáez, Joan Vila i Carbó, Alfons Crespo |
Using exact feasibility tests for allocating real-time tasks in multiprocessor systems. |
ECRTS |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Silvije Jovalekic, Bernd Rist |
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. |
SAFECOMP |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes |
Integrating Real-Time Scheduling Theory and Program Refinement. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Victor B. Lortz, Kang G. Shin |
Semaphore Queue Priority Assignment for Real-Time Multiprocessor Synchronization. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
multiprocessor synchronization, concurrency control, Real-time scheduling, priority assignment |
17 | Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona |
Scheduling Hard Real Time Systems Using High-Level Petri Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Yuhan Lin, Qingxu Deng, Meiling Han, Zhiwei Feng, Shumo Wang, Qize Peng |
LAG-based schedulability analysis for preemptive global EDF scheduling with dynamic cache allocation. |
J. Syst. Archit. |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
CANASTA: Controller Area Network Authentication Schedulability Timing Analysis. |
IEEE Trans. Veh. Technol. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Moonju Park, Hyeongboo Baek |
Determining rate monotonic schedulability of real-time periodic tasks using continued fractions. |
Inf. Process. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
An evaluation of approaches to model checking real-time task schedulability analysis. |
Int. J. Softw. Tools Technol. Transf. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Suli Yang, Jing Liu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
Principled Schedulability Analysis for Distributed Storage Systems Using Thread Architecture Models. |
ACM Trans. Storage |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Fengxiang Zhang, Zhiming Liu 0001, Qin Wu, Sumei Wang, Dandi Ma |
Efficient schedulability analysis of hierarchical EDF scheduling with resource sharing. |
J. Syst. Archit. |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sanjoy K. Baruah, Pontus Ekberg |
Towards Efficient Explainability of Schedulability Properties in Real-Time Systems. |
ECRTS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Thilanka Thilakasiri, Matthias Becker 0004 |
An Exact Schedulability Analysis for Global Fixed-Priority Scheduling of the AER Task Model. |
ASP-DAC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Lennart Clausing, Zakarya Guettatfi, Paul Kaufmann, Christian Lienen, Marco Platzner |
On Guaranteeing Schedulability of Periodic Real-Time Hardware Tasks Under ReconOS64. |
ARC |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri |
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction. |
RTSS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kunal Agrawal, Sanjoy K. Baruah, Pontus Ekberg |
Rethinking Tractability for Schedulability Analysis. |
RTSS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. |
RTAS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo |
Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators. |
RTAS |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Bujosa, Julián Proenza, Alessandro V. Papadopoulos, Thomas Nolte, Mohammad Ashjaei |
Introducing Guard Frames to Ensure Schedulability of All TSN Traffic Classes. |
ETFA |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam |
A design space exploration approach to jointly optimize security and schedulability in TSP systems. (Exploration d'architectures logicielle pour les systèmes critiques partitionnés sécurisés). |
|
2023 |
RDF |
|
15 | Braulio Mello, Gabriel A. Wainer |
Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints. |
Simul. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seongtae Lee, Sanghyeok Park, Jinkyu Lee 0001 |
Improved Low Time-Complexity Schedulability Test for Nonpreemptive EDF on a Multiprocessor. |
IEEE Embed. Syst. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kaneez Fizza, Nitin Auluck, Akramul Azim |
Improving the Schedulability of Real-Time Tasks Using Fog Computing. |
IEEE Trans. Serv. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hongbiao Liu, Chen Xi, Lei Qiao, Jingkun Zhang, Mengfei Yang |
A Schedulability Test for Sporadic Task DM Scheduling Based on Density Upper Bound. |
IEEE Access |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ana Guasque, José María Aceituno, Patricia Balbastre, José E. Simó, Alfons Crespo |
Schedulability analysis of dynamic priority real-time systems with contention. |
J. Supercomput. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, David Griffin 0002, Iain Bate |
A framework for multi-core schedulability analysis accounting for resource stress and sensitivity. |
Real Time Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yecheng Zhao, Runzhi Zhou, Haibo Zeng 0001 |
Design optimization for real-time systems with sustainable schedulability analysis. |
Real Time Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Guangli Dai, Pavan Kumar Paluri, Albert M. K. Cheng |
Enhanced schedulability tests for real-time regularity-based virtualized systems with dependent and self-suspension tasks. |
Real Time Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Dong 0002, Cong Liu 0005 |
Schedulability Analysis for Coscheduling Real-Time Tasks on Multiprocessors. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jinkyu Lee 0001 |
Schedulability Performance Improvement via Task Split in Real-Time Systems. |
J. Syst. Archit. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qingling Zhao, Mengfei Qu, Bo Huang, Zhe Jiang 0004, Haibo Zeng 0001 |
Schedulability analysis and stack size minimization for adaptive mixed criticality scheduling with semi-Clairvoyance and preemption thresholds. |
J. Syst. Archit. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, Alain Plantec, Hai Nam Tran, Pierre Dissaux |
Specification of schedulability assumptions to leverage multiprocessor Analysis. |
J. Syst. Archit. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jatin Arora 0006, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Schedulability analysis for 3-phase tasks with partitioned fixed-priority scheduling. |
J. Syst. Archit. |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Zhong Shao |
TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions. |
DSN |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Akanksha Chaudhari, Sanjoy K. Baruah |
Efficient Schedulability Analysis of Semi-Clairvoyant Sporadic Task Systems With Graceful Degradation. |
RTNS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nhat-Hoa Tran |
Model Checking Techniques Enable Schedulability Analysis of Real-Time Systems. |
SoICT |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ishfaq Hussain, Pedro F. Souto, Konstantinos Bletsas, Muhammad Ali Awan, Eduardo Tovar |
Schedulability analysis for CAN bus messages of periodically-varying size. |
WFCS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Syed Aftab Rashid, Muhammad Ali Awan, Pedro F. Souto, Konstantinos Bletsas, Eduardo Tovar |
Cache-aware Schedulability Analysis of PREM Compliant Tasks. |
DATE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam, Laurent Lemarchand, Frank Singhoff, Hai Nam Tran |
Observing the Impact of Multicore Execution Platform for TSP Systems Under Schedulability, Security and Safety Constraints. |
SAFECOMP Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mitchell Duncan, Fatima Raadia, Syeda Tanjila Atik, Marco Brocanelli, Nathan Fisher |
Real-Time Schedulability Analysis for Overloaded Primary-to-Secondary Processor Systems. |
HPCC/DSS/SmartCity/DependSys |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ningshi Yao, Fumin Zhang 0001 |
Event-triggered Scheduling and Control Co-design for Networked Control Systems with Sub-schedulability. |
ACC |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jin Cui, Xu Lu 0003, Guangliang Yu, Bin Yu |
Schedulability Analysis of Rate-Monotonic Algorithm on Concurrent Execution of Digraph Real-Time Tasks. |
SOFL+MSVL |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis for single-rate periodic cyclic executives for a refined system model. |
IECON |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis of systems based on single-rate periodic cyclic executives. |
ISIE |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jiwoo Lee, Albert M. K. Cheng, Guangli Dai |
Work-in-Progress: Generalized Demand-Based Schedulability Test for Dual-Criticality Sporadic Task Model. |
RTSS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Lei Wang 0081, Jingyu Yang, Xinhua Zheng |
Fast Assessment of Requests Schedulability in Data Relay Satellite Systems: A Multi-layer Neural Network Method. |
ICCC Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Federico Reghenzani, Zhishan Guo, Luca Santinelli, William Fornaciari |
A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure Requirements. |
RTAS |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. |
ETFA |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Reinder J. Bril |
Exact schedulability analysis of systems based on multi-rate periodic cyclic executives. |
INDIN |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens |
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints. |
Fundam. Informaticae |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rodrigo Cortés Porto, Daniela Genius, Ludovic Apvrille |
Handling causality and schedulability when designing and prototyping cyber-physical systems. |
Softw. Syst. Model. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Draskovic, Rehan Ahmed, Pengcheng Huang, Lothar Thiele |
Schedulability of probabilistic mixed-criticality systems. |
Real Time Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yang Li 0145, Tianying Liu, Jianming Zhu, Xiuli Wang, Meijiao Duan, Youwei Wang |
Comprehensive study of schedulability tests and optimal design for rate-monotonic scheduling. |
Comput. Commun. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Dasom Lee, Hyeonseok Jung, Hoeseok Yang |
Real-Time Schedulability Analysis and Enhancement of Transiently Powered Processors With NVMs. |
IEEE Trans. Computers |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jinghao Sun, Nan Guan, Rongxiao Shi, Guozhen Tan, Wang Yi 0001 |
Schedulability Analysis for Timed Automata With Tasks. |
ACM Trans. Embed. Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Pazzaglia, Youcheng Sun, Marco Di Natale |
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks. |
ACM Trans. Embed. Comput. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens |
Parametric schedulability analysis of a launcher flight control system under reactivity constraints. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
15 | Saehwa Kim |
Impact of Synthetic Task Set Generation Methods on Schedulability Performance. |
J. Comput. Sci. Eng. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yin Lu, Shudong Qin, Leqi Xi, Yunwei Dong |
On Schedulability Analysis of AADL Architecture with Storage Resource Constraint. |
Int. J. Softw. Informatics |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu 0033, Zhiming Liu 0001 |
A clock-based dynamic logic for schedulability analysis of CCSL specifications. |
Sci. Comput. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mourad Dridi, Frank Singhoff, Stéphane Rubini, Jean-Philippe Diguet |
ECTM: A network-on-chip communication model to combine task and message schedulability analysis. |
J. Syst. Archit. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tanya Amert, Ming Yang 0036, Sergey Voronov, Saujas Nandi, Thanh Vu, James H. Anderson, F. Donelson Smith |
The price of schedulability in cyclic workloads: The history-vs.-response-time-vs.-accuracy trade-off. |
J. Syst. Archit. |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jatin Arora 0006, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling. |
RTNS |
2021 |
DBLP DOI BibTeX RDF |
|