Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Imane Haur, Jean-Luc Béchennec, Olivier Henri Roux |
Formal schedulability analysis based on multi-core RTOS model. |
RTNS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, David Griffin 0002, Iain Bate |
Schedulability Analysis for Multi-Core Systems Accounting for Resource Stress and Sensitivity. |
ECRTS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Metin Yeniaydin, Ömer Faruk Gemici, Muhammet Selim Demir, Ibrahim Hökelek, Sinem Coleri, Ufuk Tureli |
Priority Re-assignment for Improving Schedulability and Mixed-Criticality of ARINC 664. (PDF / PS) |
Networking |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Madoda Nxumalo, Nils Timm, Stefan Gruner |
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. |
SPIN |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Pavic, Hrvoje Dzapo |
Framework for Evaluation of Schedulability Tests for Mixed-Criticality Systems. |
MIPRO |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Guangli Dai, Pavan Kumar Paluri, Albert Mo Kim Cheng |
Enhanced Schedulability Tests for Real-Time Regularity-Based Virtualized Systems with Dependent and Self-Suspension Tasks. |
RTCSA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojie Guo 0003, Lionel Rieg, Paolo Torrini |
A generic approach for the certified schedulability analysis of software systems. |
RTCSA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mario Günzel, Niklas Ueter, Jian-Jia Chen |
Suspension-Aware Fixed-Priority Schedulability Test with Arbitrary Deadlines and Arrival Curves. |
RTSS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mario Günzel, Harun Teper, Kuan-Hsun Chen, Georg von der Brüggen, Jian-Jia Chen |
Work-in-Progress: Evaluation Framework for Self-Suspending Schedulability Tests. |
RTSS |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Bahar Houtan, Mohammad Ashjaei, Masoud Daneshtalab, Mikael Sjödin, Sara Afshar, Saad Mubeen |
Schedulability Analysis of Best-Effort Traffic in TSN Networks. |
ETFA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yunwei Dong, Qian-wen Gou, Pei Tang |
Architecture-Level Schedulability Analysis with IO Constraint using AADL. |
DSA |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Jaishree Mayank, Arijit Mondal |
Polynomial Time Schedulability Test for Periodic Non-Preemptive 2-Task System. |
Inf. Process. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Manuel Coutinho, Carlos Almeida 0002 |
Schedulability of Blocking Threads. |
IEEE Embed. Syst. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Hyeongboo Baek, Jinkyu Lee 0001 |
Improved Schedulability Test for Non-Preemptive Fixed-Priority Scheduling on Multiprocessors. |
IEEE Embed. Syst. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Hyuk Lee, Jin-Young Choi |
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Li Pan, Bo Yang 0036, Junqiang Jiang, Mengchu Zhou |
A Time Petri Net With Relaxed Mixed Semantics for Schedulability Analysis of Flexible Manufacturing Systems. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mario Günzel, Jian-Jia Chen |
Correspondence Article: Counterexample for suspension-aware schedulability analysis of EDF scheduling. |
Real Time Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Wei Ding 0006 |
A branch-and-cut approach to examining the maximum density guarantee for pinwheel schedulability of low-dimensional vectors. |
Real Time Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Pavic, Hrvoje Dzapo |
Commentary to: An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. |
Real Time Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Weizhe Zhang, Enci Bai, Jing Li 0025 |
Speeding Up the Schedulability Analysis and Priority Assignment of Sporadic Tasks Under Uniprocessor FPNS. |
IEEE Trans. Ind. Informatics |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Nunzio Cecere, Massimo Tipaldi, Davide De Pasquale |
Applying analytical and empirical schedulability analysis techniques to a real spacecraft flight software. |
Int. J. Embed. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jun Xiao 0009, Sebastian Altmeyer, Andy D. Pimentel |
Schedulability Analysis of Global Scheduling for Multicore Systems With Shared Caches. |
IEEE Trans. Computers |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Lucia Lo Bello, Mohammad Ashjaei, Gaetano Patti, Moris Behnam |
Schedulability analysis of Time-Sensitive Networks with scheduled traffic and preemption support. |
J. Parallel Distributed Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yu Liu, Chao Peng, Yecheng Zhao, Yangyang Li, Haibo Zeng 0001 |
Schedulability Analysis of Engine Control Systems With Dynamic Switching Speeds. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Xiaozhe Gu, Arvind Easwaran |
Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Mario Günzel, Jian-Jia Chen |
On Schedulability Analysis of EDF Scheduling by Considering Suspension as Blocking. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Xu Jiang 0004, Nan Guan, Maolin Yang, Yue Tang 0001, Wang Yi 0001 |
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache |
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
15 | Shuai Zhao 0004, Jorge Garrido, Ran Wei, Alan Burns 0001, Andy J. Wellings, Juan Antonio de la Puente |
A complete run-time overhead-aware schedulability analysis for MrsP under nested resources. |
J. Syst. Softw. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marek Vlk, Zdenek Hanzálek, Katerina Brejchová, Siyu Tang 0002, Sushmit Bhattacharjee, Songwei Fu |
Enhancing Schedulability and Throughput of Time-Triggered Traffic in IEEE 802.1Qbv Time-Sensitive Networks. |
IEEE Trans. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jaishree Mayank, Arijit Mondal |
Efficient SAT encoding scheme for schedulability analysis of non-preemptive tasks on multiple computational resources. |
J. Syst. Archit. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mohammed Foughali, Pierre-Emmanuel Hladik |
Bridging the gap between formal verification and schedulability analysis: The case of robotics. |
J. Syst. Archit. |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tanya Amert, Ming Yang 0036, Saujas Nandi, Thanh Vu, James H. Anderson, F. Donelson Smith |
The Price of Schedulability in Multi-Object Tracking: The History-vs.-Accuracy Trade-Off. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel |
Probabilistic Schedulability Analysis for Real-time Tasks with Precedence Constraints on Partitioned Multi-core. |
ISORC |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Miguel Gutiérrez-Gaitán, Patrick Meumeu Yomsi, Pedro M. Santos 0002, Luís Almeida 0001 |
Work-In-Progress: Assessing Supply/Demand-Bound Based Schedulability Tests For Wireless Sensor-Actuator Networks. |
WFCS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yecheng Zhao, Runzhi Zhou, Haibo Zeng 0001 |
An Optimization Framework for Real-Time Systems with Sustainable Schedulability Analysis. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | David Griffin 0002, Iain Bate, Robert I. Davis 0001 |
Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Sanjoy K. Baruah |
Work in Progress: The ILP-Tractability of Schedulability Analysis Problems. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alan Burns 0001, Robert I. Davis 0001 |
Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Pontus Ekberg |
Rate-Monotonic Schedulability of Implicit-Deadline Tasks is NP-hard Beyond Liu and Layland's Bound. |
RTSS |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dimitri Racordon, Aurélien Coet, Emmanouela Stachtiari, Didier Buchs |
Solving Schedulability as a Search Space Problem with Decision Diagrams. |
SSBSE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Slim Ben-Amor, Liliana Cucu-Grosjean, Mehdi Mezouak, Yves Sorel |
Probabilistic Schedulability Analysis for Precedence Constrained Tasks on Partitioned Multi-core. |
ETFA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam, Laurent Lemarchand, Hai Nam Tran, Frank Singhoff, Karim Bigou |
When security affects schedulability of TSP systems: trade-offs observed by design space exploration. |
ETFA |
2020 |
DBLP DOI BibTeX RDF |
|
15 | André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto |
Real-time MTL with durations as SMT with applications to schedulability analysis. |
TASE |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Arno Luppold |
Schedulability-oriented code optimization of hard real-time multitasking systems. |
|
2020 |
RDF |
|
15 | Muhammad Uzair Ahsan |
Schedulability analysis of real-time multi-frame co-simulations on multi-core platforms (Çok-çekirdekli platformlarda gerçek zamanlı çok-çerçeveli eş-benzetim için çizelgelenebilirlik çözümlemesi) |
|
2020 |
RDF |
|
15 | Xiaojie Guo 0003 |
Certified Tools for Schedulability Analyses. (Outils certifiés pour les analyses d'ordonnançabilité). |
|
2020 |
RDF |
|
15 | Jasdeep Singh |
Schedulability Analysis of Probabilistic Real-Time Systems. (Analyse de l'ordonnancement des systèmes probabilistes en temps réel). |
|
2020 |
RDF |
|
15 | Filip Markovic |
Preemption-Delay Aware Schedulability Analysis of Real-Time Systems. |
|
2020 |
RDF |
|
15 | Muhammad Uzair Ahsan, Halit Oguztüzün |
Schedulability analysis of real-time multiframe cosimulations on multicore platforms. |
Turkish J. Electr. Eng. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Hitham Alhussian 0001, Nordin Zakaria 0001, Ahmed Patel, Ayman Jaradat, Said Jadid Abdulkadir, Abdelaziz Yousif Ahmed, Hussein T. Bahbouh, Sallam Osman Fageeri, Asim Abdallah Elsheikh, Junzo Watada |
Investigating the Schedulability of Periodic Real-Time Tasks in Virtualized Cloud Environment. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nikumani Choudhury, Rakesh Matam, Mithun Mukherjee 0001, Jaime Lloret 0001 |
LBS: A Beacon Synchronization Scheme With Higher Schedulability for IEEE 802.15.4 Cluster-Tree-Based IoT Applications. |
IEEE Internet Things J. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg, Geoffrey Nelissen |
Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling. |
Real Time Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | José Carlos Fonseca, Geoffrey Nelissen, Vincent Nélis |
Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling. |
Real Time Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Robert I. Davis 0001, Liliana Cucu-Grosjean |
A Survey of Probabilistic Schedulability Analysis Techniques for Real-Time Systems. |
Leibniz Trans. Embed. Syst. |
2019 |
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 |
2019 |
DBLP BibTeX RDF |
|
15 | Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman, Martin Kristjansen |
Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL. |
J. Aerosp. Inf. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Hyeongboo Baek, Jinkyu Lee 0001 |
Improved schedulability analysis of the contention-free policy for real-time systems. |
J. Syst. Softw. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Haibin Cai, Hao Wu |
An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems. |
Clust. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Christine Niyizamwiyitira, Lars Lundberg |
A Utilization-Based Schedulability Test of Real-Time Systems Running on a Multiprocessor Virtual Machine. |
Comput. J. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jin Cui, Cong Tian, Nan Zhang 0001, Zhenhua Duan, Hongwei Du 0001 |
Verifying schedulability of tasks in ROS-based systems. |
J. Comb. Optim. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Youcheng Sun, Marco Di Natale |
Pessimism in multicore global schedulability analysis. |
J. Syst. Archit. |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Xiaojie Guo 0003, Maxime Lesourd, Mengqi Liu 0001, Lionel Rieg, Zhong Shao |
Integrating Formal Schedulability Analysis into a Verified OS Kernel. |
CAV (2) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tieu Long Mai, Nicolas Navet, Jörn Migge |
On the use of supervised machine learning for assessing schedulability: application to ethernet TSN. |
RTNS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Noura Bouzid, Laurent Lemarchand |
Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures. |
CERTS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Cong Chen, Yangyang Chen, Jianmin Jiang, Shi Zhang, Zhong Hong, Hongping Shu, Zeng Qiong |
Schedulability analysis for real-time mobile systems (S). |
SEKE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tieu Long Mai, Nicolas Navet, Jörn Migge |
A Hybrid Machine Learning and Schedulability Analysis Method for the Verification of TSN Networks. |
WFCS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Paolo Pazzaglia, Alessandro Biondi 0001, Marco Di Natale |
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Beyazit Yalcinkaya, Mitra Nasri, Björn B. Brandenburg |
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Mohammed Foughali |
On Reconciling Schedulability Analysis and Model Checking in Robotics. |
MEDI Workshops |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ajay Khare, Irene Anna Boben, Santanu Chattopadhyay |
Enhanced Schedulability via Minimal Routing with Mapping and Priority Assignment for Real-Time Network-on-chip. |
TENCON |
2019 |
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. |
ACSD |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Nandinbaatar Tsog, Matthias Becker 0004, Fredrik Bruhn, Moris Behnam, Mikael Sjödin |
Static Allocation of Parallel Tasks to Improve Schedulability in CPU-GPU Heterogeneous Real-Time Systems. |
IECON |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Evgeniev Ivanov, Vesselin Gueorguiev, Desislava Georgieva |
Software Structure, Program Generation and Schedulability Analysis of Extracorporeal Perfusion Pump Embedded Controller. |
MECO |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Javier Pérez-Rodríguez, Patrick Meumeu Yomsi |
Thermal-Aware Schedulability Analysis for Fixed-Priority Non-preemptive Real-Time Systems. |
RTSS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Piotr Dziurzanski, Robert I. Davis 0001, Leandro Soares Indrusiak |
Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept. |
RTSS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Estevan Lara, Guilherme Debon, Roger C. Goerl, Paulo Ricardo Cechelero Villa, Dorian Schramm, Leticia B. Poehls, Fabian Vargas 0001 |
A New Approach to Guarantee Critical Task Schedulability in TDMA-Based Bus Access of Multicore Architecture. |
LATS |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sandrine Mouysset, Jérôme Ermont, Jean-Luc Scharbarg |
Limiting over sampling to improve transmission schedulability in a mixed NoC/AFDX architecture. |
ETFA |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ansah Frimpong, Mohamed Amine Abid, Hermann de Meer |
Schedulability Analysis and GCL Computation for Time-Sensitive Networks. |
INDIN |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen |
A Logical Approach for the Schedulability Analysis of CCSL. |
TASE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Min Zhang 0002, Fu Song, Frédéric Mallet, Xiaohong Chen 0007 |
SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. |
FASE |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Christophe Prévot |
Analyses pour l'ordonnançabilité et la flexibilité de systèmes temps réel. (Analyses for schedulability and flexibility of real-time systems). |
|
2019 |
RDF |
|
15 | Rany Kahil |
Schedulability in Mixed-criticality Systems. (Ordonnancement des systèmes avec différents niveaux de criticité). |
|
2019 |
RDF |
|
15 | Yukai Hao, Ming Mu, Xiaodi Dai, Xiangdong Li |
Schedulability test for IMA systems based on mixed integer linear programming formulation. |
Turkish J. Electr. Eng. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hyuk Lee, Jin-Young Choi |
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sedigheh Asyaban, Mehdi Kargahi |
An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. |
Real Time Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yorick De Bock, Sebastian Altmeyer, Thomas Huybrechts, Jan Broeckhove, Peter Hellinckx |
Task-set generator for schedulability analysis using the TACLebench benchmark suite. |
SIGBED Rev. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sophia A. Zelenova, Sergey V. Zelenov |
Schedulability Analysis for Strictly Periodic Tasks in RTOS. |
Program. Comput. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Xiaozhe Gu, Arvind Easwaran |
Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems. |
ACM Trans. Embed. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Björn Andersson, Hyoseung Kim 0001, Dionisio de Niz, Mark H. Klein, Ragunathan Rajkumar, John P. Lehoczky |
Schedulability Analysis of Tasks with Corunner-Dependent Execution Times. |
ACM Trans. Embed. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chi Lin 0001, Yanhong Zhou, Houbing Song, Chang Wu Yu 0001, Guowei Wu |
OPPC: An Optimal Path Planning Charging Scheme Based on Schedulability Evaluation for WRSNs. |
ACM Trans. Embed. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman |
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. |
MARS/VPT@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman |
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. |
MeTRiD@ETAPS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Timo Feld, Alessandro Biondi 0001, Robert I. Davis 0001, Giorgio C. Buttazzo, Frank Slomka |
A survey of schedulability analysis techniques for rate-dependent tasks. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jalil Boudjadar |
Compositional Schedulability Analysis of Multicore Modular Avionic Architectures. |
J. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Qingling Zhao, Zonghua Gu 0001, Haibo Zeng 0001, Nenggan Zheng |
Schedulability analysis and stack size minimization with preemption thresholds and mixed-criticality scheduling. |
J. Syst. Archit. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Rongfei Xu, Li Zhang 0029, Ning Ge 0002, Xavier Blanc 0001 |
Schedulability Analysis of Graph-Based Real-Time Task Model with Precedence Constraints. |
Int. J. Softw. Eng. Knowl. Eng. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Luca Santinelli, David Doose, Guy Durrieu, Frédéric Boniol, Charles Lesire-Cabaniols, Christophe Grand |
Schedulability analysis for mixed critical cyber physical systems. |
ICPS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Trading Between Intra- and Inter-Task Cache Interference to Improve Schedulability. |
RTNS |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Risat Mahmud Pathan |
Improving the Schedulability and Quality of Service for Federated Scheduling of Parallel Mixed-Criticality Tasks on Multiprocessors. |
ECRTS |
2018 |
DBLP DOI BibTeX RDF |
|