Search results for "Schedulability"

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