Search results for "schedulability"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Rongfei Xu, Li Zhang 0029, Ning Ge 0002, Xavier Blanc 0001	Schedulability Analysis of Real-time Tasks with Precedence Constraints.	SEKE	2018	DBLP DOI BibTeX RDF
15	Venkata Prashant Modekurthy, Dali Ismail, Mahbubur Rahman 0001, Abusayeed Saifullah	A Utilization-Based Approach for Schedulability Analysis in Wireless Control Systems.	ICII	2018	DBLP DOI BibTeX RDF
15	Pierre-Emmanuel Hladik	A brute-force schedulability analysis for formal model under logical execution time assumption.	SAC	2018	DBLP DOI BibTeX RDF
15	Youcheng Sun, Marco Di Natale	Assessing the pessimism of current multicore global fixed-priority schedulability analysis.	SAC	2018	DBLP DOI BibTeX RDF
15	Chi-Sheng Shih 0001, Chang-Min Yang, Wei-Lun Su, Pei-Kuei Tsung	OSAMIC: online schedulability analysis of real-time mode change on heterogeneous multi-core platforms.	RACS	2018	DBLP DOI BibTeX RDF
15	Lea Schönberger, Wen-Hung Huang 0001, Georg von der Brüggen, Kuan-Hsun Chen, Jian-Jia Chen	Schedulability Analysis and Priority Assignment for Segmented Self-Suspending Tasks.	RTCSA	2018	DBLP DOI BibTeX RDF
15	Amina Magdich, Yessine Hadj Kacem, Bouthaina Dammak, Adel Mahfoudhi, Mohamed Abid	From Dynamic UML/MARTE Models to Early Schedulability Analysis of RTES with Dependent Tasks.	ISDA (2)	2018	DBLP DOI BibTeX RDF
15	Chao Peng, Yecheng Zhao, Haibo Zeng 0001	Schedulability Analysis of Adaptive Variable-Rate Tasks with Dynamic Switching Speeds.	RTSS	2018	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.	OSDI	2018	DBLP BibTeX RDF
15	Hoon Sung Chwa, Kang G. Shin, Jinkyu Lee 0001	Closing the Gap Between Stability and Schedulability: A New Task Model for Cyber-Physical Systems.	RTAS	2018	DBLP DOI BibTeX RDF
15	Mitra Nasri, Robert I. Davis 0001, Björn B. Brandenburg	FIFO with Offsets: High Schedulability with Low Overheads.	RTAS	2018	DBLP DOI BibTeX RDF
15	Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi 0001	Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing.	RTAS	2018	DBLP DOI BibTeX RDF
15	Ghulam Mohy-ud-din, Kashem M. Muttaqi, Danny Sutanto	An Effective Power Dispatch Strategy to Improve Generation Schedulability by Mitigating Wind power Uncertainty with a Data Driven flexible Dispatch Margin for a Wind Farm using a Multi-Unit Battery Energy Storage System.	IAS	2018	DBLP DOI BibTeX RDF
15	Jalil Boudjadar, Hugo Daniel Macedo	Towards a Schedulability-driven Architecture Exploration for Mixed Criticality Multicore Systems.	DS-RT	2018	DBLP DOI BibTeX RDF
15	Xiaozhe Gu	Schedulability analysis and low-criticality execution support for mixed-criticality real-time systems on uniprocessors		2018	DOI RDF
15	Junkil Park, Insup Lee 0001, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang	A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems.	J. Log. Algebraic Methods Program.	2017	DBLP DOI BibTeX RDF
15	Georg von der Brüggen, Jian-Jia Chen, Robert I. Davis 0001, Wen-Hung Huang 0001	Exact speedup factors for linear-time schedulability tests for fixed-priority preemptive and non-preemptive scheduling.	Inf. Process. Lett.	2017	DBLP DOI BibTeX RDF
15	Yecheng Zhao, Haibo Zeng 0001	An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
15	Bo Peng, Nathan Fisher	Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
15	Meng Liu 0001, Matthias Becker 0004, Moris Behnam, Thomas Nolte	Using non-preemptive regions and path modification to improve schedulability of real-time traffic over priority-based NoCs.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
15	Mohammad Ashjaei, Gaetano Patti, Moris Behnam, Thomas Nolte, Giuliana Alderisi, Lucia Lo Bello	Schedulability analysis of Ethernet Audio Video Bridging networks with scheduled traffic support.	Real Time Syst.	2017	DBLP DOI BibTeX RDF
15	Mourad Dridi, Stéphane Rubini, Frank Singhoff, Jean-Philippe Diguet	DTFM: a flexible model for schedulability analysis of real-time applications on NoC-based architectures.	SIGBED Rev.	2017	DBLP DOI BibTeX RDF
15	André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto	SMT-based schedulability analysis using RMTL-∫.	SIGBED Rev.	2017	DBLP DOI BibTeX RDF
15	Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani	Compositional schedulability analysis of real-time actor-based systems.	Acta Informatica	2017	DBLP DOI BibTeX RDF
15	Alessandra Melani, Marko Bertogna, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Giorgio C. Buttazzo	Schedulability Analysis of Conditional Parallel Task Graphs in Multicore Systems.	IEEE Trans. Computers	2017	DBLP DOI BibTeX RDF
15	Xiayu Hua, Chunhui Guo, Hao Wu 0021, Douglas Lautner, Shangping Ren	Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations.	IEEE Trans. Computers	2017	DBLP DOI BibTeX RDF
15	Jinkyu Lee 0001	Improved Schedulability Analysis Using Carry-In Limitation for Non-Preemptive Fixed-Priority Multiprocessor Scheduling.	IEEE Trans. Computers	2017	DBLP DOI BibTeX RDF
15	Hoon Sung Chwa, Jinkyu Lee 0001, Jiyeon Lee, Kiew-My Phan, Arvind Easwaran, Insik Shin	Global EDF Schedulability Analysis for Parallel Tasks on Multi-Core Platforms.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
15	Biao Hu 0001, Kai Huang 0001, Gang Chen 0023, Long Cheng 0007, Dongkun Han, Alois C. Knoll	Schedulability Analysis Towards Arbitrarily Activated Tasks in Mixed-Criticality Systems.	J. Circuits Syst. Comput.	2017	DBLP DOI BibTeX RDF
15	Youcheng Sun, Marco Di Natale	Weakly Hard Schedulability Analysis for Fixed Priority Scheduling of Periodic Real-Time Tasks.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
15	Rajeev Alur, Vojtech Forejt, Salar Moarref, Ashutosh Trivedi 0001	Schedulability of Bounded-Rate Multimode Systems.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
15	Fardin Abdi, Renato Mancuso 0001, Rohan Tabish, Marco Caccamo	Restart-Based Fault-Tolerance: System Design and Schedulability Analysis.	CoRR	2017	DBLP BibTeX RDF
15	Pascal Richard, Joël Goossens, Shinpei Kato	Comments on "Gang EDF Schedulability Analysis".	CoRR	2017	DBLP BibTeX RDF
15	Saehwa Kim	Efficient exact Boolean schedulability tests for fixed priority preemption threshold scheduling.	J. Syst. Softw.	2017	DBLP DOI BibTeX RDF
15	Omar Kermia	Schedulability analysis and efficient scheduling of rate constrained messages in the TTEthernet protocol.	Softw. Pract. Exp.	2017	DBLP DOI BibTeX RDF
15	Arno Luppold, Heiko Falk	Schedulability-aware SPM Allocation for preemptive hard real-time systems with arbitrary activation patterns.	DATE	2017	DBLP DOI BibTeX RDF
15	Leo Hatvani, Reinder J. Bril, Sebastian Altmeyer	Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches.	DATE	2017	DBLP DOI BibTeX RDF
15	Jung-Eun Kim, Richard M. Bradford, Tarek F. Abdelzaher, Lui Sha	A schedulability test for software migration on multicore system.	DATE	2017	DBLP DOI BibTeX RDF
15	Yasmina Abdeddaïm, Dorin Maxim	Probabilistic schedulability analysis for fixed priority mixed criticality real-time systems.	DATE	2017	DBLP DOI BibTeX RDF
15	Namyong Jung, Jinkyu Lee 0001	Improved Schedulability Analysis of Fixed-Priority for Mixed-Criticality Real-Time Multiprocessor Systems.	CSA/CUTE	2017	DBLP DOI BibTeX RDF
15	Meng Liu 0001, Matthias Becker 0004, Moris Behnam, Thomas Nolte	Using segmentation to improve schedulability of RRA-based NoCs with mixed traffic.	ASP-DAC	2017	DBLP DOI BibTeX RDF
15	Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz	A Framework for Evaluating Schedulability Analysis Tools.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
15	Zhexu Liu, Zhen Zhao 0004	Modeling and Schedulability Verfication of IMA Partitioning Based on AADL.	ISCID (1)	2017	DBLP DOI BibTeX RDF
15	Chi-Sheng Shih 0001, Chang-Min Yang	Schedulability Analysis of Mode Change for Imprecise Computation on Multi-Core Platforms.	RACS	2017	DBLP DOI BibTeX RDF
15	Alevtina B. Glonina, Anatoly G. Bakhmurov	Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer Systems.	PaCT	2017	DBLP DOI BibTeX RDF
15	Étienne André	A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
15	Kuan-Hsun Chen, Jian-Jia Chen	Probabilistic schedulability tests for uniprocessor fixed-priority scheduling under soft errors.	SIES	2017	DBLP DOI BibTeX RDF
15	Joost Hoozemans, Jeroen van Straten, Stephan Wong	Using a polymorphic VLIW processor to improve schedulability and performance for mixed-criticality systems.	RTCSA	2017	DBLP DOI BibTeX RDF
15	Cláudio Maia, Geoffrey Nelissen, Luís Nogueira, Luís Miguel Pinho, Daniel Gracia Pérez	Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.	RTCSA	2017	DBLP DOI BibTeX RDF
15	Fardin Abdi, Renato Mancuso 0001, Rohan Tabish, Marco Caccamo	Restart-based fault-tolerance: System design and schedulability analysis.	RTCSA	2017	DBLP DOI BibTeX RDF
15	Shuai Zhao 0004, Jorge Garrido, Alan Burns 0001, Andy J. Wellings	New schedulability analysis for MrsP.	RTCSA	2017	DBLP DOI BibTeX RDF
15	Pontus Ekberg, Wang Yi 0001	Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard.	RTSS	2017	DBLP DOI BibTeX RDF
15	Jun Xiao 0009, Sebastian Altmeyer, Andy D. Pimentel	Schedulability Analysis of Non-preemptive Real-Time Scheduling for Multicore Processors with Shared Caches.	RTSS	2017	DBLP DOI BibTeX RDF
15	Xiaojie Guo 0003, Sophie Quinton, Pascal Fradet, Jean-François Monin	Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.	RTSS	2017	DBLP DOI BibTeX RDF
15	Fan Jiang 0005, Cen Zhang, Shaoyin Cheng	FFFuzzer: Filter Your Fuzz to Get Accuracy, Efficiency and Schedulability.	ACISP (2)	2017	DBLP DOI BibTeX RDF
15	Dali Ismail, Mahbubur Rahman 0001, Venkata P. Modekurthy, Abusayeed Saifullah	Work-in-Progress: Utilization Based Schedulability Analysis for Wireless Sensor-Actuator Networks.	RTAS	2017	DBLP DOI BibTeX RDF
15	Jalil Boudjadar, Simin Nadjm-Tehrani	Schedulability and Memory Interference Analysis of Multicore Preemptive Real-time Systems.	ICPE	2017	DBLP DOI BibTeX RDF
15	Chunrong Pan, Kun Zhao, Yi-Sheng Huang	Schedulability analysis for dual-armed cluster tools with mixed-processing of multi-variety wafers.	ICNSC	2017	DBLP DOI BibTeX RDF
15	Manish Chauhan, Rodolfo Pellizzoni, Krzysztof Czarnecki 0001	Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability.	DAC	2017	DBLP DOI BibTeX RDF
15	Biao Hu 0001	Schedulability Analysis of General Task Model and Demand Aware Scheduling in Mixed-Criticality Systems.		2017	RDF
15	Fengxiang Zhang, Yanfeng Zhai, Jianwei Liao 0001	A New Sufficient Schedulability Analysis for Hybrid Scheduling.	Int. J. Appl. Math. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Yao Chen 0005, Kang G. Shin, Huagang Xiong	Generalizing fixed-priority scheduling for better schedulability in mixed-criticality systems.	Inf. Process. Lett.	2016	DBLP DOI BibTeX RDF
15	Saleh Alrashed, Jamal Alhiyafi, Aamir Shafi, Nasro Min-Allah	An efficient schedulability condition for non-preemptive real-time systems at common scheduling points.	J. Supercomput.	2016	DBLP DOI BibTeX RDF
15	Pontus Ekberg, Wang Yi 0001	Schedulability analysis of a graph-based task model for mixed-criticality systems.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
15	Robert I. Davis 0001, Marko Bertogna, Vincenzo Bonifaci	On the compatibility of exact schedulability tests for global fixed priority pre-emptive scheduling with Audsley's optimal priority assignment algorithm.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
15	Youcheng Sun, Giuseppe Lipari	A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
15	Jinchao Chen, Chenglie Du, Fei Xie, Zhenkun Yang	Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.	Real Time Syst.	2016	DBLP DOI BibTeX RDF
15	Zonghua Gu 0001, Hong Li, Haibin Cai	Improving computation efficiency of schedulability of transaction-based task model for distributed real-time embedded systems.	Int. J. Embed. Syst.	2016	DBLP DOI BibTeX RDF
15	Meng Liu 0001, Matthias Becker 0004, Moris Behnam, Thomas Nolte	Using segmentation to improve schedulability of real-time traffic over RRA-based NoCs.	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
15	Qiang Zhou, Yakun Li, Xingliang Zou, Albert M. K. Cheng, Yu Jiang	Worst case response time and schedulability analysis for real-time software transactional memory-lazy conflict detection (STM-LCD).	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
15	So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi	Hierarchical System Schedulability Analysis Framework Using UPPAAL.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
15	Alessandro Biondi 0001, Giorgio C. Buttazzo, Marko Bertogna	Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
15	Gang Yao, Heechul Yun, Zheng Pei Wu, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha	Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems.	IEEE Trans. Computers	2016	DBLP DOI BibTeX RDF
15	Chao Wang 0097, Zonghua Gu 0001, Haibo Zeng 0001	Global Fixed Priority Scheduling with Preemption Threshold: Schedulability Analysis and Stack Size Minimization.	IEEE Trans. Parallel Distributed Syst.	2016	DBLP DOI BibTeX RDF
15	Rehan Ahmed, Parameswaran Ramanathan, Kewal K. Saluja	Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time Tasks Under Fluid Scheduling Model.	ACM Trans. Embed. Comput. Syst.	2016	DBLP DOI BibTeX RDF
15	Jian-Jia Chen	A Note on the Exact Schedulability Analysis for Segmented Self-Suspending Systems.	CoRR	2016	DBLP BibTeX RDF
15	Peng Wu, Minsoo Ryu	EDZL Scheduling and Schedulability Analysis for Performance Asymmetric Multiprocessors.	Int. J. Found. Comput. Sci.	2016	DBLP DOI BibTeX RDF
15	Abdeldjalil Boudjadar, Alexandre David, Jin Hyun Kim, Kim G. Larsen, Marius Mikucionis, Ulrik Nyman, Arne Skou	Statistical and exact schedulability analysis of hierarchical scheduling systems.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
15	Hyun-Jung Kim, Jun-Ho Lee, Tae-Eog Lee	Schedulability Analysis for Noncyclic Operation of Time-Constrained Cluster Tools With Time Variation.	IEEE Trans Autom. Sci. Eng.	2016	DBLP DOI BibTeX RDF
15	Stefano Pepi, Alessandro Fantechi	Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System.	MODELSWARD (Revised Selected Papers)	2016	DBLP DOI BibTeX RDF
15	Alessandro Fantechi, Stefano Pepi	Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems.	AMARETTO@MODELSWARD	2016	DBLP DOI BibTeX RDF
15	Parham Haririan, Alberto García Ortiz	Run-time schedulability check of real-time tasks for energy efficiency.	PATMOS	2016	DBLP DOI BibTeX RDF
15	Slim Ben-Amor, Dorin Maxim, Liliana Cucu-Grosjean	Schedulability analysis of dependent probabilistic real-time tasks.	RTNS	2016	DBLP DOI BibTeX RDF
15	Mitra Nasri, Morteza Mohaqeqi, Gerhard Fohler	Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic.	RTNS	2016	DBLP DOI BibTeX RDF
15	Morteza Mohaqeqi, Pontus Ekberg, Wang Yi 0001	On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension.	RTNS	2016	DBLP DOI BibTeX RDF
15	Tom Fleming, Sanjoy K. Baruah, Alan Burns 0001	Improving the Schedulability of Mixed Criticality Cyclic Executives via Limited Task Splitting.	RTNS	2016	DBLP DOI BibTeX RDF
15	Rabeh Ayari, Imane Hafnaoui, Giovanni Beltrame, Gabriela Nicolescu	Simulation-based schedulability assessment for real-time systems.	SummerSim	2016	DBLP BibTeX RDF
15	Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi 0001	Schedulability Analysis of Synchronous Digraph Real-Time Tasks.	ECRTS	2016	DBLP DOI BibTeX RDF
15	Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg	PROSA: A Case for Readable Mechanized Schedulability Analysis.	ECRTS	2016	DBLP DOI BibTeX RDF
15	Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha	Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.	SPIN	2016	DBLP DOI BibTeX RDF
15	Dimitri Racordon, Didier Buchs	Verifying Multi-core Schedulability with Data Decision Diagrams.	SERENE	2016	DBLP DOI BibTeX RDF
15	Braulio Adriano de Mello, Gabriel A. Wainer	Scheduling predictability in I-DEVS by schedulability analysis.	SpringSim (TMS-DEVS)	2016	DBLP BibTeX RDF
15	Yorick De Bock, Sebastian Altmeyer, Jan Broeckhove, Peter Hellinckx	Task-Set Generator for Schedulability Analysis using the TACLeBench benchmark suite.	EWiLi	2016	DBLP BibTeX RDF
15	Sanjoy K. Baruah	Schedulability analysis of mixed-criticality systems with multiple frequency specifications.	EMSOFT	2016	DBLP DOI BibTeX RDF
15	Tomasz Kloda, Bruno d'Ausbourg, Luca Santinelli	EDF schedulability test for the E-TDL time-triggered framework.	SIES	2016	DBLP DOI BibTeX RDF
15	Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu, Wang Yi 0001	Transforming Real-Time Task Graphs to Improve Schedulability.	RTCSA	2016	DBLP DOI BibTeX RDF
15	Hang Su 0008, Peng Deng, Dakai Zhu 0001, Qi Zhu 0002	Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization.	RTCSA	2016	DBLP DOI BibTeX RDF
15	Jian-Jia Chen, Wen-Hung Huang 0001, Cong Liu 0005	k2Q: A Quadratic-Form Response Time and Schedulability Analysis Framework for Utilization-Based Analysis.	RTSS	2016	DBLP DOI BibTeX RDF
15	Calvin Deutschbein, Sanjoy K. Baruah	Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered.	RTSS	2016	DBLP DOI BibTeX RDF
15	Sanjoy K. Baruah	Schedulability Analysis for a General Model of Mixed-Criticality Recurrent Real-Time Tasks.	RTSS	2016	DBLP DOI BibTeX RDF