Search results for "schedulability analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Madhukar Anand, Insup Lee	Robust and sustainable schedulability analysis of embedded software.	LCTES	2008	DBLP DOI BibTeX RDF	robust schedulability analysis, sustainable schedulability analysis, schedulability analysis
4	Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee	Incremental schedulability analysis of hierarchical real-time components.	EMSOFT	2006	DBLP DOI BibTeX RDF	associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling
4	Pascal Chevochot, Isabelle Puaut	Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support.	RTCSA	2000	DBLP DOI BibTeX RDF	holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test
3	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	UML/SPT, UML, Real-time, MDA, Model transformations, Schedulability analysis, ATL
3	Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen	Model-based schedulability analysis of safety critical hard real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor
3	Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
3	Unmesh D. Bordoloi, Samarjit Chakraborty	Interactive schedulability analysis.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	nonfunctional constraints, recurring real-time task model, interactive design, Schedulability analysis, performance debugging
3	Robert I. Davis, Alan Burns, Reinder J. Bril, Johan J. Lukkien	Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Non-pre-emptive scheduling, Priority assignment policies, Schedulability analysis, Fixed priority scheduling, Controller Area Network (CAN), Response time analysis
3	Eui-nam Huh, Lonnie R. Welch, Barbara Pfarr	An Efficient Schedulability Analysis Policing Technique for Periodic, Dynamic Real-Time Applications. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	quality of service, dynamic, workload, schedulability analysis, execution time, real-time performance
3	José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings	Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems.	RTCSA	1996	DBLP DOI BibTeX RDF	harmonic task-sets, schedulable utilization, preemptive real-time systems, better performance, cache-related preemption cost, Response Time schedulability Analysis, real-time systems, cache memories, worst-case execution time, schedulability analysis
3	Alexander D. Stoyenko, V. Carl Hamacher, Richard C. Holt	Analyzing Hard-Real-Time Programs For Guaranteed Schedulability.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	language-independent schedulability analysis, hardware-dependent information, table-driven fashion, worst-case time bounds, prototype schedulability analyzer, partially language-dependent front-end, real-time Euclid, schedulability analysis provisions, language-dependent back-end, realistic real-time programs, multiple-microprocessor system, scheduling, real-time systems, program verification, systems analysis, high level languages, program performance, real-time language
2	Shenglin Gui, Lei Luo, Miao Yu, Jianhua Xu, Yun Li	Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata.	ISPA	2011	DBLP DOI BibTeX RDF	action automata, environment automata, distributed systems, schedulability analysis
2	Shenglin Gui, Lei Luo	End-to-End Schedulability Analysis for Bi-directional Real-Time Multistage Pipeline.	ISPA	2011	DBLP DOI BibTeX RDF	generalized pipeline system, end-to-end schedulability analysis
2	Noel Tchidjo Moyo, Eric Nicollet, Frederic Lafaye, Christophe Moy	On Schedulability Analysis of Non-cyclic Generalized Multiframe Tasks.	ECRTS	2010	DBLP DOI BibTeX RDF	non-cyclic GMF task, component, schedulability analysis, EDF
2	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	Schedulability analysis for Java finalizers.	JTRES	2010	DBLP DOI BibTeX RDF	schedulability, Java, model checking, real-time, finalizers
2	Jameleddine Hassine	Early Schedulability Analysis with Timed Use Case Maps.	SDL Forum	2009	DBLP DOI BibTeX RDF
2	Theodore P. Baker, Sanjoy K. Baruah	An analysis of global edf schedulability for arbitrary-deadline sporadic task systems.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Sporadic task systems, Schedulability analysis, Multiprocessor scheduling, EDF, Earliest deadline first, Global scheduling, Arbitrary deadlines
2	Nan Guan, Qingxu Deng, Zonghua Gu, Wenyao Xu, Ge Yu	Schedulability analysis of preemptive and nonpreemptive EDF on partial runtime-reconfigurable FPGAs.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	reconfigurable devices, FPGA, Real-time scheduling
2	Sanjoy K. Baruah, Nathan Fisher	Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Multiprocessor platforms, Recurrent tasks, Schedulability analysis, Fixed-priority scheduling, Sufficient conditions, Feasibility analysis
2	Sanjoy K. Baruah, Theodore P. Baker	Schedulability analysis of global edf.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Sporadic task systems, edf, Schedulability analysis, Multiprocessor scheduling, Global scheduling
2	Björn Andersson	Schedulability analysis of generalized multiframe traffic on multihop-networks comprising software-implemented ethernet-switches.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Matteo Bordin, Marco Panunzio, Tullio Vardanega	Fitting Schedulability Analysis Theory into Model-Driven Engineering.	ECRTS	2008	DBLP DOI BibTeX RDF
2	Yuanfang Zhang, Donald K. Krecker, Christopher D. Gill, Chenyang Lu, Gautam H. Thaker	Practical Schedulability Analysis for Generalized Sporadic Tasks in Distributed Real-Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
2	Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu	Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.	ISORC	2008	DBLP DOI BibTeX RDF	Schedulability, real-time scheduling, symbolic model-checking
2	Naiqi Wu, Chengbin Chu, Feng Chu, MengChu Zhou	Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Shenglin Gui, Lei Luo, Qian Liu, Fulei Guo, Shaopeng Lu	UCaS: A Schedulability Analysis Tool for AADL Models.	EUC	2008	DBLP DOI BibTeX RDF
2	Nan Guan, Zonghua Gu, Qingxu Deng, Weichen Liu, Ge Yu	Improved Schedulability Analysis of EDF Scheduling on Reconfigurable Hardware Devices.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Pavel Krcál, Martin Stigge, Wang Yi	Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Stefan Andrei, Samarjit Chakraborty	Path-Constrained Relaxed Schedulability Analysis.	SYNASC	2007	DBLP DOI BibTeX RDF
2	Jun Li, Fumin Yang, Gang Tu, Wan-hua Cao, Yansheng Lu	Schedulability Analysis of the Fault-Tolerant Hard Real-Time Tasks with Limited Priority Levels.	ATC	2007	DBLP DOI BibTeX RDF
2	Jimin Feng, Samarjit Chakraborty, Bertil Schmidt, Weiguo Liu, Unmesh D. Bordoloi	Fast Schedulability Analysis Using Commodity Graphics Hardware.	RTCSA	2007	DBLP DOI BibTeX RDF
2	Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky	Compositional Schedulability Analysis of Hierarchical Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
2	Jianjia Wu, Jyh-Charn Liu, Wei Zhao	Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers.	RTSS	2007	DBLP DOI BibTeX RDF
2	Nan Guan, Zonghua Gu, Qingxu Deng, Shuaihong Gao, Ge Yu	Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking.	SEUS	2007	DBLP DOI BibTeX RDF
2	Lei Ju, Samarjit Chakraborty, Abhik Roychoudhury	Accounting for cache-related preemption delay in dynamic priority schedulability analysis.	DATE	2007	DBLP DOI BibTeX RDF
2	Unmesh D. Bordoloi, Samarjit Chakraborty	Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
2	Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang	Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
2	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng	A Retargetable Software Timing Analyzer Using Architecture Description Language.	ASP-DAC	2007	DBLP DOI BibTeX RDF	retargetable software timing analyzer, static WCET analysis, program path analysis, microarchitecture modeling, graph-based execution models, pipeline model, real-time systems, architecture description language, worst case execution time, embedded processors, branch prediction, schedulability analysis
2	Lionel C. Briand, Yvan Labiche, Marwa Shousha	Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.	Genetic Programming and Evolvable Machines	2006	DBLP DOI BibTeX RDF	Genetic algorithms, Schedulability theory, Software verification and validation
2	Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jörg Desel	Schedulability Analysis of Petri Nets Based on Structural Properties.	ACSD	2006	DBLP DOI BibTeX RDF
2	Oleg Sokolsky, Insup Lee, Duncan Clarke	Schedulability analysis of AADL models.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Santiago Urueña, Juan Zamorano, Daniel Berjón, José Antonio Pulido, Juan Antonio de la Puente	Schedulability analysis of AR-TP, a Ravenscar compliant communication protocol for high-integrity distributed systems.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Sanjoy K. Baruah, Samarjit Chakraborty	Schedulability analysis of non-preemptive recurring real-time tasks.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.	ISORC	2006	DBLP DOI BibTeX RDF
2	Unmesh D. Bordoloi, Samarjit Chakraborty	Interactive Schedulability Analysis.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
2	Marko Bertogna, Michele Cirinei, Giuseppe Lipari	Improved Schedulability Analysis of EDF on Multiprocessor Platforms.	ECRTS	2005	DBLP DOI BibTeX RDF
2	Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor	A Performance and Schedulability Analysis of an Autonomous Mobile Robot.	ECRTS	2005	DBLP DOI BibTeX RDF
2	William Hawkins, Tarek F. Abdelzaher	Towards Feasible Region Calculus: An End-to-End Schedulability Analysis of Real-Time Multistage Execution.	RTSS	2005	DBLP DOI BibTeX RDF
2	Samarjit Chakraborty, Lothar Thiele	A New Task Model for Streaming Applications and Its Schedulability Analysis.	DATE	2005	DBLP DOI BibTeX RDF
2	Jun Li, Fumin Yang, Yansheng Lu	A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.	ICECCS	2005	DBLP DOI BibTeX RDF
2	Rodolfo Pellizzoni, Giuseppe Lipari	Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
2	Paul Pop, Petru Eles, Zebo Peng	Schedulability-driven frame packing for multicluster distributed embedded systems.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	Frame packing, schedulability analysis, distributed embedded systems
2	Antonio Martí Campoy, Eugenio Tamura, S. Sáez, Francisco Rodríguez, José V. Busquets-Mataix	On Using Locking Caches in Embedded Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF	genetic algorithms, performance evaluation, predictability, response time, Cache memories, schedulability analysis, execution time, embedded real-time systems
2	Xianfeng Li, Tulika Mitra, Abhik Roychoudhury	Modeling Control Speculation for Timing Analysis.	Real-Time Systems	2005	DBLP DOI BibTeX RDF	micro-architectural modeling, worst case execution time, branch prediction, schedulability analysis, instruction cache
2	Sorin Manolache, Petru Eles, Zebo Peng	Schedulability analysis of applications with stochastic task execution times.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	stochastic task execution times, Schedulability analysis, soft real-time systems
2	Enrico Bini, Giorgio C. Buttazzo	Schedulability Analysis of Periodic Fixed Priority Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Real-time systems and embedded, fixed priority scheduling, systems analysis and design
2	Pavel Krcál, Wang Yi	Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF
2	Tarek F. Abdelzaher, Gautam H. Thaker, Patrick J. Lardieri	A Feasible Region for Meeting Aperiodic End-to-End Deadlines in Resource Pipelines.	ICDCS	2004	DBLP DOI BibTeX RDF	total ship computing environment, Real-time scheduling, schedulability analysis, utilization bounds, aperiodic tasks
2	Tarek F. Abdelzaher, Vivek Sharma, Chenyang Lu	A Utilization Bound for Aperiodic Tasks and Priority Driven Scheduling.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Real-time scheduling, schedulability analysis, utilization bounds, aperiodic tasks
2	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
2	Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.	FORMATS	2003	DBLP DOI BibTeX RDF
2	Sung-Jae Kim, Jin-Young Choi	Formal Modeling for a Real-Time Scheduler and Schedulability Analysis.	PaCT	2003	DBLP DOI BibTeX RDF
2	Antonio Martí Campoy, S. Sáez, A. Perles, J. V. Busquets	Schedulability Analysis in EDF Scheduler with Cache Memories.	RTCSA	2003	DBLP DOI BibTeX RDF
2	Paul Pop, Petru Eles, Zebo Peng	Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems.	DATE	2003	DBLP DOI BibTeX RDF
2	Paul Pop, Petru Eles, Zebo Peng	Schedulability-driven frame packing for multi-cluster distributed embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	frame packing, schedulability analysis, multi-clusters
2	George M. de A. Lima, Alan Burns	An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	priority assignment algorithm, fault tolerance, schedulability analysis, Hard real-time systems
2	Stavros Tripakis	Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.	EMSOFT	2002	DBLP DOI BibTeX RDF
2	Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour	Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.	Ada-Europe	2002	DBLP DOI BibTeX RDF
2	João Rodrigues, João Ventura, Luís Rodrigues	Schedulability Analysis of an Event-Based Real-Time Protocol Framework.	WORDS	2002	DBLP DOI BibTeX RDF
2	Samarjit Chakraborty, Simon Künzli, Lothar Thiele	Approximate Schedulability Analysis.	IEEE Real-Time Systems Symposium	2002	DBLP DOI BibTeX RDF
2	Dongxi Jin, David C. Levy	An approach to schedulability analysis of UML-based real-time systems design.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	unified modeling language (UML), real-time schedulability, transaction model
2	Tarek F. Abdelzaher, Björn Andersson, Jan Jonsson, Vivek Sharma, Minh Nguyen	The Aperiodic Multiprocessor Utilization Bound for Liquid Tasks. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2002	DBLP DOI BibTeX RDF	Real-time scheduling, schedulability analysis, utilization bounds, aperiodic tasks
2	Ernesto Martins, José Alberto Fonseca	Traffic Scheduling Coprocessor with Schedulability Analysis Capability.	DSD	2001	DBLP DOI BibTeX RDF
2	George M. de A. Lima, Alan Burns	An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems.	ECRTS	2001	DBLP DOI BibTeX RDF
2	Tarek F. Abdelzaher, Chenyang Lu	Schedulability Analysis and Utilization Bounds for Highly Scalable Real-Time Service. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
2	Wolfgang A. Halang, Sias Mostert	Composing Dependable Real Time Software of Function Blocks.	WORDS	2001	DBLP DOI BibTeX RDF	Safety related automation, function block diagrams, data flow languages, safety licensing of software, diverse back translation, schedulability analysis
2	Paul Pop, Petru Eles, Zebo Peng	Schedulability analysis for systems with data and control dependencies.	ECRTS	2000	DBLP DOI BibTeX RDF
2	J. J. Gutiérrez García, José C. Palencia Gutiérrez, Michael González Harbour	Schedulability analysis of distributed hard real-time systems with multiple-event synchronization.	ECRTS	2000	DBLP DOI BibTeX RDF
2	Manas Saksena, Panagiota Karvelas	Designing for schedulability: integrating schedulability analysis with object-oriented design.	ECRTS	2000	DBLP DOI BibTeX RDF
2	Paul Pop, Petru Eles, Zebo Peng	Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis.	DATE	2000	DBLP DOI BibTeX RDF
2	Saehwa Kim, Sukjae Cho, Seongsoo Hong	Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations.	RTCSA	2000	DBLP DOI BibTeX RDF	schedulability-aware mapping, multithreaded implementations, real time software developers, object oriented CASE tools, non-trivial optimization problem, task identification, schedulability-aware approach, mutually exclusive transactions, schedulability analysis algorithm, executable code, task derivation problem, scheduling, real-time systems, object-oriented programming, case study, real time schedulability, task model, multi-threading, CASE tools, computer aided software engineering, run-time system, design model, automated synthesis, object oriented design methods, real time object oriented models
2	Markus Lindgren, Hans Hansson, Henrik Thane	Using measurements to derive the worst-case execution time.	RTCSA	2000	DBLP DOI BibTeX RDF	execution time analysis, program flow analysis, low level timing information, low level timing analysis, program execution times, timing measurements, instrumented version, program fragments, non-exhaustive measurements, program paths, realistic processor model, scheduling, real-time systems, real time systems, embedded systems, worst-case execution time, pipeline processing, schedulability analysis, program diagnostics, architectural modeling, pipeline architectures, flow graphs, timing estimates, target architecture, system of linear equations
2	Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem	Scheduling optional computations in fault-tolerant real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	optional computation scheduling, fault-tolerant real-time systems, failure hypothesis, combinatorial space, synthetic task sets, simulation, scheduling, real-time systems, computational complexity, heuristic algorithms, schedulability analysis, software fault tolerance, deadlines, run-time
2	LihChyun Shu, Michal Young	Chopping and versioning real-time transactions to avoid remote blocking.	RTCSA	2000	DBLP DOI BibTeX RDF	real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control
2	Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi	Verifying temporal constraints on data in multi-rate transactions using timed automata.	RTCSA	2000	DBLP DOI BibTeX RDF	temporal constraint verification, multi-rate transactions, nonpreemptive execution order, scheduling, real-time systems, real-time systems, program verification, transaction processing, computational models, timed automata, data dependencies, schedulability analysis, reachability analysis, reachability analysis, automata theory, end-to-end latency
2	Tarek F. Abdelzaher, Ella M. Atkins, Kang G. Shin	QoS Negotiation in Real-Time Systems and Its Application to Automated Flight Control.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	QoS levels and rewards, schedulability analysis and admission control, automated flight systems, Quality-of-service (QoS), QoS negotiation
2	José C. Palencia Gutiérrez, Michael González Harbour	Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems.	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF
2	Paulo Pedro, Alan Burns	Schedulability analysis for mode changes in flexible real-time systems.	ECRTS	1998	DBLP DOI BibTeX RDF
2	Georg Färber, Franz Fischer, Thomas Kolloch, Annette Muth	Improving processor utilization with a task classification model based application specific hard real-time architecture.	RTCSA	1997	DBLP DOI BibTeX RDF	task classification model, application specific hard real-time architecture, real-time architecture, target architecture framework, tightly coupled heterogeneous multiprocessor system, rapid prototyping platform, caches, pipelines, microprocessors, templates, schedulability analysis, execution times, software prototyping, hard real time systems, processor utilization
2	Matthew Clegg, Keith Marzullo	A low-cost processor group membership protocol for a hard real-time distributed system.	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	processor group membership protocol, hard real-time distributed system, failure detection latency, processor time, bounded tax, broadcast message traffic, protocols, schedulability analysis, message complexity, shared resources, network bandwidth
2	Tai-Yi Huang, Jane W.-S. Liu, Jen-Yao Chung	Allowing cycle-stealing direct memory access I/O concurrent with hard-real-time programs. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	cycle-stealing direct memory access, I/O concurrent, hard-real-time programs, bus cycles, straight-line sequence, cycle-stealing operations, real-time systems, fault tolerant computing, worst-case execution time, schedulability analysis, file organisation
2	Matthew F. Storch, Jane W.-S. Liu	DRTSS: a simulation framework for complex real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	DRTSS, complex multi-paradigm distributed real-time systems, timing-oriented prototyping tools, PERTS schedulability analyzer tool, a priori schedulability analysis, real-time systems, virtual machines, distributed processing, discrete-event simulators, software performance evaluation, computer aided software engineering, software prototyping, simulation framework, verification tools, complex real-time systems
2	Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang	Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification
2	Ramesh Yerraballi, Ravi Mukkamala	Schedulability related issues in end-to-end systems.	ICECCS	1995	DBLP DOI BibTeX RDF	end-to-end systems, scheduling, real-time systems, scheduling algorithms, processor scheduling, schedulability analysis, proof of correctness, uniprocessor systems
2	Too-Seng Tia, Zhong Deng, Mallikarjun Shankar, Matthew F. Storch, Jun Sun 0002, L.-C. Wu, Jane W.-S. Liu	Probabilistic performance guarantee for real-time tasks with varying computation times. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	probabilistic performance guarantee, varying computation times, schedulability analysis methods, semi-periodic tasks, regularly released requests, total maximum task utilization, probabilistic time-demand analysis, transform-task method, scheduling, real-time systems, computational complexity, probability, scheduling algorithms, software performance evaluation, programming theory, sporadic task, real-time tasks
2	José V. Busquets-Mataix, Juan José Serrano	The impact of extrinsic cache performance on predictability of real-time systems.	RTCSA	1995	DBLP DOI BibTeX RDF	tighter bounds, cached programs, extrinsic cache behavior, inter-task cache interference, cache predictability, performance evaluation, real-time systems, real-time systems, predictability, worst case execution time, schedulability analysis, cache storage, cache performance
2	Shridhar B. Shukla, Dharma P. Agrawal	A Framework for Mapping Periodic Real-Time Applications on Multicomputers.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	periodic real-time applications, task-flow graphs, communication requirements, segmenting messages, contention-based objectivefunction, interval sequencing, message-interval assignment, path assignment, periodicreal-time, scheduled routing, task-flow graph, scheduling, real-time systems, multiprocessing systems, schedulability analysis, task allocation, multicomputers, message routing
2	Paul A. Gibson, Alexander D. Stoyenko	Development and integration of a concurrently executing interactive user interface for the I-STAT portable clinical analyzer: A case study in real-time systems integration.	Journal of Systems Integration	1992	DBLP DOI BibTeX RDF	Real-time systems integration, automated health sector applications, predictable real-time systems, schedulability analysis
1	Naiqi Wu, MengChu Zhou	Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation.	IEEE T. Automation Science and Engineering	2012	DBLP DOI BibTeX RDF
1	Thomas Bøgholm, Bent Thomsen, Kim G. Larsen, Alan Mycroft	Schedulability Analysis Abstractions for Safety Critical Java.	ISORC	2012	DBLP DOI BibTeX RDF