Search results for "Schedulability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Liliana Cucu	Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmesembarqués à contraintes temps réel. (Non-preemptive scheduling and schedulability condition for embedded systems with real-time constraints).		2004	RDF
15	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	Integrating Schedulability Analysis and Design Techniques in SD.	Real Time Syst.	2003	DBLP DOI BibTeX RDF
15	Sampsa Fabritius, Raimondas Lencevicius, Edu Metz, Alexander Ran	Experimental Software Schedulability Estimation For Varied Processor Frequencies	CoRR	2003	DBLP BibTeX RDF
15	Marco Di Natale, Manas Saksena	Schedulability Analysis with UML.	UML for Real	2003	DBLP DOI BibTeX RDF
15	John Sweeney, Huan Li 0001, Roderic A. Grupen, Krithi Ramamritham	Scalability and schedulability in large, coordinated, distributed robot systems.	ICRA	2003	DBLP DOI BibTeX RDF
15	Traian Pop, Petru Eles, Zebo Peng	Schedulability Analysis for Distributed Heterogeneous Time/Event Triggered Real-Time Systems.	ECRTS	2003	DBLP DOI BibTeX RDF
15	Alan Burns 0001, Guillem Bernat, Ian Broster	A Probabilistic Framework for Schedulability Analysis.	EMSOFT	2003	DBLP DOI BibTeX RDF
15	Sampsa Fabritius, Raimondas Lencevicius, Edu Metz, Alexander Ran	Experimental Software Schedulability Estimation for Varied Processor Frequencies.	Applied Informatics	2003	DBLP BibTeX RDF
15	Jörn Schneider	Combined schedulability and WCET analysis for real-time operating systems.		2003	RDF
15	Elena Fersman	A Generic Approach to Schedulability Analysis of Real-Time Systems.		2003	RDF
15	Luís Almeida 0001, Eduardo Tovar, José A. G. Fonseca, Francisco Vasques	Schedulability analysis of real-time traffic in WorldFIP networks: an integrated approach.	IEEE Trans. Ind. Electron.	2002	DBLP DOI BibTeX RDF
15	Sijing Zhang, Alan Burns 0001, Ahmed Mehaoua, E. Stewart Lee, Hongji Yang	Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol.	Real Time Syst.	2002	DBLP DOI BibTeX RDF
15	Lars Lundberg	Utilization Based Schedulability Bounds for Age Constraint Process Sets in Real-Time Systems.	Real Time Syst.	2002	DBLP DOI BibTeX RDF
15	S. Swaminathan, G. Manimaran	A Value-Based Scheduler Capturing Schedulability-Reliability Tradeoff in Multiprocessor Real-Time Systems.	Scalable Comput. Pract. Exp.	2002	DBLP BibTeX RDF
15	J. Javier Gutiérrez, José M. Drake, Michael González Harbour, Julio L. Medina	Modeling and schedulability analysis in the development of real-time distributed Ada systems.	IRTAW	2002	DBLP DOI BibTeX RDF
15	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of multiprocessor real-time applications with stochastic task execution times.	ICCAD	2002	DBLP DOI BibTeX RDF
15	Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin	Trade-Off Analysis of Real-Time Control Performance and Schedulability.	Real Time Syst.	2001	DBLP DOI BibTeX RDF
15	Libero Nigro, Francesco Pupo	Schedulability Analysis of Real Time Actor Systems Using Coloured Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	Design/CPN, Real Time, Modularity, Actors, Temporal Analysis, Occurrence Graphs
15	Sorin Manolache, Petru Eles, Zebo Peng	Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time.	ECRTS	2001	DBLP DOI BibTeX RDF
15	Pau Martí, Ricard Villà, Josep M. Fuertes, Gerhard Fohler	On real-time control tasks schedulability.	ECC	2001	DBLP DOI BibTeX RDF
15	R. Al-Omari, Arun K. Somani, G. Manimaran	A New Fault-Tolerant Technique for Improving the Schedulability in Multiprocessor Real-time Systems.	IPDPS	2001	DBLP DOI BibTeX RDF
15	Raymond R. Devillers, Joël Goossens	Liu and Layland's schedulability test revisited.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
15	Giuseppe Lipari, Giorgio C. Buttazzo	Schedulability analysis of periodic and aperiodic tasks with resource constraints.	J. Syst. Archit.	2000	DBLP DOI BibTeX RDF
15	Sijing Zhang, Xicheng Liu, E. Stewart Lee	Effect of nodes reordering on the schedulability of real-time messages in timed token networks.	IEEE Commun. Lett.	2000	DBLP DOI BibTeX RDF
15	H. Sun	Timing Constraints Validation using UPPAAL: Schedulability Analysis.	DIPES	2000	DBLP BibTeX RDF
15	Taewoong Kim, Junghoon Lee, Heonshik Shin, Naehyuck Chang	Best Case Response Time Analysis for Improved Schedulability Analysis of Distributed Real-Time Tasks.	ICDCS Workshop on Distributed Real-Time Systems	2000	DBLP BibTeX RDF
15	Youngsoo Shin, Daehong Kim, Kiyoung Choi	Schedulability-driven performance analysis of multiple mode embedded real-time systems.	DAC	2000	DBLP DOI BibTeX RDF
15	Shuhua Wang 0002	Specification, allocation and schedulability analysis for fixed priority hard real-time systems.		2000	RDF
15	Edwin Erpenbach	Compilation, worst case execution times, and schedulability analysis of statecharts models.		2000	RDF
15	Paulo Sergio Martins Pedro	Schedulability of mode changes in flexible real-time distributed systems.		2000	RDF
15	Edwin Erpenbach, Peter Altenbernd	Worst-case execution times and schedulability analysis of statecharts models.	ECRTS	1999	DBLP DOI BibTeX RDF
15	Shigero Sasaki, Takashi Matsumoto 0002, Kei Hiraki	On the Schedulability Conditions on Partial Time Slots .	RTCSA	1999	DBLP DOI BibTeX RDF	Scheduling, Formal methods, Real-time requirements
15	Paul Pop, Petru Eles, Zebo Peng	Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	Scheduling, Embedded Systems, Architecture, Performance Analysis, Network Communications
15	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.	SDL Forum	1999	DBLP BibTeX RDF
15	Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee 0001, Hong-liang Xie	A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.	Real Time Syst.	1998	DBLP DOI BibTeX RDF
15	Colin J. Fidge	Real-Time Schedulability Tests for Preemptive Multitasking.	Real Time Syst.	1998	DBLP DOI BibTeX RDF
15	Frank Slomka, Jürgen Zant, Lennard Lambert	Schedulability analysis of heterogeneous systems for performance message sequence chart.	CODES	1998	DBLP DOI BibTeX RDF	SDL
15	Manas Saksena, Alan Ptak, Paul Freedman, Pawel Rodziewicz	Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models.	RTSS	1998	DBLP DOI BibTeX RDF
15	Hee-Hwan Kwak, Insup Lee 0001, Anna Philippou, Jin-Young Choi, Oleg Sokolsky	Symbolic Schedulability Analysis of Real-Time Systems.	RTSS	1998	DBLP DOI BibTeX RDF
15	Ching-Chih Jason Han	A Better Polynomial-Time Schedulability Test for Real-Time Multiframe Tasks.	RTSS	1998	DBLP DOI BibTeX RDF
15	Michael J. Meyer, Howard Wong-Toi	Schedulability Analysis of Acyclic Processes.	RTSS	1998	DBLP DOI BibTeX RDF
15	Danbing Seto, John P. Lehoczky, Lui Sha	Task Period Selection and Schedulability in Real-Time Systems.	RTSS	1998	DBLP DOI BibTeX RDF
15	José C. Palencia Gutiérrez, Michael González Harbour	Schedulability Analysis for Tasks with Static and Dynamic Offsets.	RTSS	1998	DBLP DOI BibTeX RDF
15	Shun-Shii Lin, Kwei-Jay Lin	A Pinwheel Scheduler for Three Distinct Numbers with a Tight Schedulability Bound.	Algorithmica	1997	DBLP DOI BibTeX RDF
15	José C. Palencia Gutiérrez, José Javier Gutiérrez García, Michael González Harbour	On the schedulability analysis for distributed hard real-time systems.	RTS	1997	DBLP DOI BibTeX RDF
15	Iain Bate, Alan Burns 0001	Schedulability analysis of fixed priority real-time systems with offsets.	RTS	1997	DBLP DOI BibTeX RDF
15	Sergey Gorinsky, Sanjoy K. Baruah, Thomas J. Marlowe, Alexander D. Stoyenko	Exact and Efficient Analysis of Schedulability in Fixed-Packet Networks: A Generic Approach.	INFOCOM	1997	DBLP DOI BibTeX RDF
15	Erik Cota-Robles, James P. Held, Thomas J. Barnes	Schedulability Analysis for Desktop Multimedia Applications: Simple Ways to Handle General-Purpose Operating Systems and Open Environments.	ICMCS	1997	DBLP DOI BibTeX RDF
15	Guillem Bernat, José Miró-Julià, Julián Proenza	Fixed Priority Schedulability Analysis of a Distributed Real-Time Fault Tolerant Architecture.	PDPTA	1997	DBLP BibTeX RDF
15	Sasikumar Punnekkat	Schedulability analysis for fault tolerant real-time systems.		1997	RDF
15	José V. Busquets-Mataix, Juan José Serrano, Rafael Ors Carot, Pedro J. Gil, Andrew J. Wellings	Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems.	RTS	1996	DBLP DOI BibTeX RDF
15	José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings	Adding instruction cache effect to schedulability analysis of preemptive real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP BibTeX RDF
15	Hanêne Ben-Abdallah, Young-Si Kim, Insup Lee 0001	Schedulability and safety analysis in the graphical communicating shared resources.	WORDS	1996	DBLP DOI BibTeX RDF
15	Zhiming Liu 0001, Mathai Joseph, Tomasz Janowski	Verification of Schedulability for Real-Time Programs.	Formal Aspects Comput.	1995	DBLP DOI BibTeX RDF
15	Vassilis C. Gerogiannis, Manthos A. Tsoukarellas	SAT-a schedulability analysis tool for real-time applications.	RTS	1995	DBLP DOI BibTeX RDF
15	Jakob Axelsson	Analysis and improvement of task schedulability in hardware/software codesign.	RTS	1995	DBLP DOI BibTeX RDF
15	José Javier Gutiérrez García, Michael González Harbour	Increasing schedulability in distributed hard real-time systems.	RTS	1995	DBLP DOI BibTeX RDF
15	Ramesh Yerraballi, Ravi Mukkamala, Kurt Maly, Hussein M. Abdel-Wahab	Issues in schedulability analysis of real-time systems.	RTS	1995	DBLP DOI BibTeX RDF
15	Charlie McElhone, Alan Burns 0001, Robert I. Davis 0001	Hybrid algorithms for dynamic schedulability testing.	RTS	1995	DBLP DOI BibTeX RDF
15	Jin-Young Choi, Insup Lee 0001, Hong-liang Xie	The Specification and Schedulability Analysis of Real-Time Systems using ACSR.	RTSS	1995	DBLP DOI BibTeX RDF
15	Sheng-Tzong Cheng, Shyh-In Hwang, Ashok K. Agrawala	Schedulability-Oriented Replication of Periodic Tasks in Distributed Real-Time Systems.	ICDCS	1995	DBLP DOI BibTeX RDF
15	Thomas J. Marlowe, Alexander D. Stoyenko, Stephen P. Masticola, Lonnie R. Welch	Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages.	Real Time Syst.	1994	DBLP DOI BibTeX RDF
15	Alexander D. Stoyenko, Theodore P. Baker	Real-time schedulability-analyzable mechanisms in Ada9X.	Proc. IEEE	1994	DBLP DOI BibTeX RDF
15	Ken Tindell, John A. Clark	Holistic schedulability analysis for distributed hard real-time systems.	Microprocess. Microprogramming	1994	DBLP DOI BibTeX RDF
15	Ghasem S. Alijani, Farhad Jafari, Chen Wen-Shui	Schedulability: Real-Time Tasks Scheduling in a Multiprocessor System.	ICPP (3)	1994	DBLP DOI BibTeX RDF
15	Richard Gerber 0001, Seongsoo Hong	Semantics-based compiler transformations for enhanced schedulability.	RTSS	1993	DBLP DOI BibTeX RDF
15	Andre N. Fredette, Rance Cleaveland	RTSL: a language for real-time schedulability analysis.	RTSS	1993	DBLP DOI BibTeX RDF
15	Sanjay Kamat, Wei Zhao 0001	Real-Time Schedulability of Two Token Ring Protocols.	ICDCS	1993	DBLP DOI BibTeX RDF
15	Alexander D. Stoyenko, Thomas J. Marlowe	Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention.	Real Time Syst.	1992	DBLP DOI BibTeX RDF
15	Alexander D. Stoyenko, Thomas J. Marlowe	Predictability and Techniques for Schedulability Analysis.	NATO ASI RTC	1992	DBLP DOI BibTeX RDF
15	David Blair Kirk, Jay K. Strosnider, John E. Sasinowski	Allocating SMART cache segments for schedulability.	RTS	1991	DBLP DOI BibTeX RDF
15	Alexander D. Stoyenko, Wolfgang A. Halang	Analysing PEARL Programs for Timely Schedulability and Executability.	Prozeßrechnersysteme	1991	DBLP DOI BibTeX RDF
15	Min-Ih Chen	Schedulability analysis of resource access control protocols in real-time systems		1991	RDF
15	Hideyuki Tokuda, Makoto Kotera	Scheduler 1-2-3: an interactive schedulability analyzer for real-time systems.	COMPSAC	1988	DBLP DOI BibTeX RDF
15	Alexander D. Stoyen	A real-time language with a schedulability analyzer.		1988	RDF
15	Alexander D. Stoyenko	A Schedulability Analyzer for Real-Time Euclid.	RTSS	1987	DBLP BibTeX RDF
15	Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama	Modeling of Real-Time System Designs for Parametric Analysis.	RTCSA	2010	DBLP DOI BibTeX RDF	time parameter, parameter synthesis, schedulability, modeling, model checking, model composition, parametric analysis, real-time system design
15	Wing-Chi Poon, Aloysius K. Mok	Necessary and Sufficient Conditions for Non-preemptive Robustness.	RTCSA	2010	DBLP DOI BibTeX RDF	schedulability, real-time, stability, robustness, admission control, sustainability, non-preemptive
15	Robert I. Davis 0001, Alan Burns 0001	Robust priority assignment for messages on Controller Area Network (CAN).	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Robust priority assignment, Optimal priority assignment, Real-time, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis, Transmission errors
15	Arvind Easwaran, Insik Shin, Insup Lee 0001	Optimal virtual cluster-based multiprocessor scheduling.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Virtual processor clustering, Compositional schedulability analysis, Multiprocessor scheduling, Hierarchical scheduling
15	Fengxiang Zhang, Alan Burns 0001	Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	Real-Time Systems, Schedulability Analysis, EDF Scheduling
15	Björn B. Brandenburg, James H. Anderson	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	multiprocessor real-time systems, reader/writer synchronization, fair locks, Global EDF, Partitioned EDF, schedulability, synchronization
15	Praveen Jayachandran, Tarek F. Abdelzaher	End-to-End Delay Analysis of Distributed Systems with Cycles in the Task Graph.	ECRTS	2009	DBLP DOI BibTeX RDF	non-acyclic flows, distributed systems, schedulability analysis, End-to-end Delay
15	José María López, José Luis Díaz, Joaquín Entrialgo, Daniel F. García	Stochastic analysis of real-time systems under preemptive priority-driven scheduling.	Real Time Syst.	2008	DBLP DOI BibTeX RDF	Schedulability analysis, Stochastic analysis, Uniprocessor systems
15	Marco Di Natale, Valerio Pappalardo	Buffer optimization in multitask implementations of Simulink models.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	schedulability, code generation, Software models, real-time programming
15	Sorin Manolache, Petru Eles, Zebo Peng	Task mapping and priority assignment for soft real-time applications under deadline miss ratio constraints.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	stochastic task execution times, mapping, Schedulability analysis, soft real-time systems, priority assignment
15	João Rodrigues, João Ventura 0001, A. M. de Campos, Luís E. T. Rodrigues	Implementation and analysis of real-time communication protocol compositions.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Protocol composition and execution framework, Real-time, Schedulability analysis, Allocation, Priority assignment
15	Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt	Verifying distributed real-time properties of embedded systems via graph transformations and model checking.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Distributed real-time, Model checking, Embedded systems, Schedulability analysis, Component middleware
15	Vishnu Swaminathan, Krishnendu Chakrabarty	Pruning-based, energy-optimal, deterministic I/O device scheduling for hard real-time systems.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	device scheduling, Schedulability analysis, hard real-time systems, I/O devices
15	Nathan Fisher, James H. Anderson, Sanjoy K. Baruah	Task Partitioning upon Memory-Constrained Multiprocessors.	RTCSA	2005	DBLP DOI BibTeX RDF	Memory-constrained systems, Utilization-based schedulability tests, Multiprocessor systems, Partitioned scheduling
15	Lionel C. Briand, Yvan Labiche, Marwa Shousha	Stress testing real-time systems with genetic algorithms.	GECCO	2005	DBLP DOI BibTeX RDF	genetic algorithms, schedulability theory
15	Patricia Balbastre, Ismael Ripoll, Josep Vidal Canet, Alfons Crespo	A Task Model to Reduce Control Delays.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	timing jitter, multi-rate controllers, schedulability analysis, control design
15	Hojung Cha, Rhan Ha, Jane W.-S. Liu	Experimental Analysis of Timing Validation Methods for Distributed Real-Time Systems.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	nonmigratable jobs, performance evaluation, validation, schedulability analysis, distributed real-time system
15	Guillem Bernat	Response Time Analysis of Asynchronous Real-Time Systems.	Real Time Syst.	2003	DBLP DOI BibTeX RDF	worst-case response time analysis, weakly-hard, real-time systems, schedulability analysis, asynchronous systems, idle time
15	Huan Li 0001, John Sweeney, Krithi Ramamritham, Roderic A. Grupen, Prashant J. Shenoy	Real-Time Support for Mobile Robotics.	IEEE Real Time Technology and Applications Symposium	2003	DBLP DOI BibTeX RDF	schedulability, allocation, Distributed real-time systems, precedence constraint
15	Jean-François Hermant, Gérard Le Lann	Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous computational models, partially synchronous computational models, uniform consensus, real-time distributed fault-tolerant computing, safety, coverage, schedulability analysis, liveness, timeliness, unreliable failure detectors
15	Chang-Gun Lee, Kwangpo Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim	Bounding Cache-Related Preemption Delay for Real-Time Systems.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	Real-time system, cache memory, schedulability analysis, fixed-priority scheduling, preemption
15	Steve Vestal	Formal Verification of the MetaH Executive Using Linear Hybrid Automata.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	real-time CASE, verification, software architecture, formal methods, schedulability analysis, hybrid automata
15	Stefan M. Petters, Annette Muth, Thomas Kolloch, Thomas Hopfner, Franz Fischer, Georg Färber	The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems .	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	rapid prototyping, timing constraints, schedulability analysis, SDL, design automation, hard real-time, WCET-analysis
15	Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim	Analysis of Cache-Related Preemption Delay in Fixed-Priority Preemtive Scheduling.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF	Real-time system, cache memory, schedulability analysis, fixed-priority scheduling, preemption