Search results for "Schedulability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	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
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
5	Ching-Chih Han, Hung-Ying Tyan	A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	polynomial-time schedulability test, real-time fixed-priority scheduling algorithms, closed-form utilization, polynomial-time schedulability, processor scheduling, schedulability condition
5	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
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
4	Sasikumar Punnekkat, Alan Burns	Analysis of checkpointing for schedulability of real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	exact schedulability tests, fault tolerant task sets, failure hypothesis, task response time, off-line design support tool, schedulability, fault tolerance, real-time systems, real-time systems, checkpointing, fault recovery, time redundancy
3	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
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	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
3	Jiafu Wan, Di Li, Hehua Yan, Ping Zhang	Impact of Non-schedulability on Embedded System Performance.	ISNN	2009	DBLP DOI BibTeX RDF	Time characteristic, Schedulability, Embedded system
3	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
3	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
3	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
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	Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih	Rate monotonic schedulability tests using period-dependent conditions.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Periodic scheduling, Schedulability test, Rate monotonic analysis
3	Phil-Su Kang, Chang-Gun Lee	Search and track coordination in multi-ship multi-radar systems using schedulability envelope.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Radar dwell scheduling, Schedulability, Real-time system, Phased array radar
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	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
3	Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih, Lui Sha	Schedulability Envelope for Real-Time Radar Dwell Scheduling.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	radar dwell, schedulability envelope, finite-time guarantee, online admission control, real-time scheduling, Phased-array radar
3	Wan-Chen Lu, Jen-Wei Hsieh, Wei Kuan Shih	A precise schedulability test algorithm for scheduling periodic tasks in real-time systems.	SAC	2006	DBLP DOI BibTeX RDF	real-time systems, periodic tasks, schedulability test, fixed priority preemptive scheduling, rate monotonic analysis
3	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
3	Chengzhi Li, Edward W. Knightly	Schedulability criterion and performance analysis of coordinated schedulers.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	coordinated multihop scheduling discipline, end-to-end schedulability criterion, end-to-end delay
3	Jae Kwon Kim, Byung Kook Kim	Probabilistic Schedulability Analysis of Harmonic Multi-Task Systems with Dual-Modular Temporal Redundancy.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	DMTR, DMTR-HP, probabilistic schedulability, optimal number of subslots, fault tolerance
3	Tei-Wei Kuo, Li-Pin Chang, Yu-Hua Liu, Kwei-Jay Lin	Efficient Online Schedulability Tests for Real-Time Systems.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	division graph, reduced set, multiframe process, open system environment, MPEG streams, time reservation, Real-time systems, schedulability test
3	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
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	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
3	Hiroaki Takada, Ken Sakamura	Schedulability of generalized multiframe task sets under static priority assignment.	RTCSA	1997	DBLP DOI BibTeX RDF	generalized multiframe task set schedulability, static priority assignment, GMF task sets, priority-based preemptive scheduling, critical instant theorem, maximum interference junction, polynomial-time feasibility decision algorithm, scheduling, real time systems, execution times
3	Chih-wen Hsueh, Kwei-Jay Lin	Schedulability comparisons among periodic and distance-constrained real-time schedulers.	RTCSA	1997	DBLP DOI BibTeX RDF	schedulability comparisons, distance-constrained real-time schedulers, pinwheel schedulers, transformed harmonic distance constraints, real-time systems, real-time system, timing constraints
3	Youngsoo Shin, Kiyoung Choi	Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign.	CODES	1997	DBLP DOI BibTeX RDF	schedulability, real-time, deadline, Codesign, rate-monotonic scheduling
3	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
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	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	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	Jianjia Wu, Jyh-Charn Liu, Wei Zhao	A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Workload rate, utilization, network calculus, schedulability test
2	Sangchul Han, Moonju Park, Minkyu Park	A Sufficient Condition for Rate Monotonic Schedulability Based on Response Time Analysis.	CIT	2010	DBLP DOI BibTeX RDF	Periodic scheduling, Rate-monotonic scheduling, Schedulability test
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	Marko Bertogna, Michele Cirinei, Giuseppe Lipari	Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
2	Sanjoy K. Baruah, Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Sebastian Stiller	Implementation of a Speedup-Optimal Global EDF Schedulability Test.	ECRTS	2009	DBLP DOI BibTeX RDF	sporadic task systems, global EDF scheduling, processor speedup factor, schedulability analysis, Multiprocessor scheduling
2	Jameleddine Hassine	Early Schedulability Analysis with Timed Use Case Maps.	SDL Forum	2009	DBLP DOI BibTeX RDF
2	Nan Guan, Martin Stigge, Wang Yi, Ge Yu	Cache-aware scheduling and analysis for multicores.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, multicores, schedulability analysis, cache partitioning
2	Nathan Fisher, Sanjoy K. Baruah	The feasibility of general task systems with precedence constraints on multiprocessor platforms.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Recurrent task models, Resource-augmentation analysis, Schedulability analysis, Earliest-deadline-first scheduling, Feasibility analysis
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	Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih	Efficient Exact Test for Rate-Monotonic Schedulability Using Large Period-Dependent Initial Values.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Model Validation and Analysis, Scheduling, Real-time systems
2	Robert I. Davis, A. Zabos, Alan Burns	Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
2	Ja-Hee Kim, Tae-Eog Lee	Schedulability Analysis of Time-Constrained Cluster Tools With Bounded Time Variation by an Extended Petri Net.	IEEE T. Automation Science and Engineering	2008	DBLP DOI BibTeX RDF
2	Stefan Leue, Alin Stefanescu, Wei Wei	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.	TOOLS	2008	DBLP DOI BibTeX RDF	AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
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	Omar Kermia, Yves Sorel	Schedulability Analysis for Non-Preemptive Tasks under Strict Periodicity Constraints.	RTCSA	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	Sanjoy K. Baruah, Steve Vestal	Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications.	ECRTS	2008	DBLP DOI BibTeX RDF
2	Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok	A Schedulability Analysis of Deferrable Scheduling Using Patterns.	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	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	Rodrigo M. Santos, Giuseppe Lipari, Enrico Bini	Efficient On-line Schedulability Test for Feedback Scheduling of Soft Real-Time Tasks under Fixed-Priority.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	adaptive reservations, on-line admission test, real-time scheduling, fixed priority scheduling, sporadic server
2	Wei Wayne Li, Gaocai Wang, Wei Zhao	Stochastic Analysis of Expected Schedulability for Real-Time Tasks on a Single Computing System.	DS-RT	2008	DBLP DOI BibTeX RDF
2	Balaji Raman, Samarjit Chakraborty	Application-specific workload shaping in multimedia-enabled personal mobile devices.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	mobile devices, Multimedia systems, schedulability analysis
2	Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee	Compositional Feasibility Analysis of Conditional Real-Time Task Models.	ISORC	2008	DBLP DOI BibTeX RDF	Recurring Branching Tasks, Schedulability, Compositional Analysis
2	Theodore P. Baker, Michele Cirinei, Marko Bertogna	EDZL scheduling analysis.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	EDZL, Earliest deadline zero laxity, Symmetric multiprocessing, Scheduling, Schedulability, Real time, Multiprocessor, EDF, Earliest deadline first
2	Praveen Jayachandran, Tarek F. Abdelzaher	Delay composition in preemptive and non-preemptive real-time pipelines.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Pipelined distributed systems, Delay composition, Schedulability, End-to-end delay
2	Naiqi Wu, Feng Chu, Chengbin Chu, MengChu Zhou	Schedulability analysis of short-term schedule for crude oil operations using Petri nets.	SMC	2007	DBLP DOI BibTeX RDF
2	Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih	Period-Dependent Initial Values for Exact Schedulability Test of Rate Monotonic Systems.	IPDPS	2007	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	Theodore P. Baker, Michele Cirinei	Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks.	OPODIS	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	Leïla Azouz Saïdane, Skander Azzaz, Steven Martin, Pascale Minet	FP/FIFO Scheduling: Deterministic Versus Probabilistic QoS Guarantees and P-Schedulability.	ICC	2007	DBLP DOI BibTeX RDF
2	Mohammad Fraiwan, G. Manimaran	On the Schedulability of Measurement Conflict in Overlay Networks.	Networking	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	Wan-Chen Lu, Kwei-Jay Lin, Hsin-Wen Wei, Wei Kuan Shih	New Schedulability Conditions for Real-Time Multiframe Tasks.	ECRTS	2007	DBLP DOI BibTeX RDF
2	Nathan Fisher, Sanjoy K. Baruah	The Global Feasibility and Schedulability of General Task Models on Multiprocessor Platforms.	ECRTS	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	Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti	A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.	VLSI Design	2007	DBLP DOI BibTeX RDF
2	Sanjoy K. Baruah	Techniques for Multiprocessor Global Schedulability Analysis.	RTSS	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	Sanjoy K. Baruah, Nathan Fisher	Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems.	OPODIS	2007	DBLP DOI BibTeX RDF	real-time systems, schedulability analysis, Multiprocessor scheduling, global scheduling, sporadic tasks, Deadline Monotonic, arbitrary deadlines
2	Patricia Balbastre, Ismael Ripoll, Alfons Crespo	Analysis of window-constrained execution time systems.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Optional computation, Window-constrained system, Fault tolerance, Schedulability analysis
2	Yong Zhang, Tao Huang, Jun Wei	Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.	SEFM	2006	DBLP DOI BibTeX RDF
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	Lin Feng, Hao Jiang	Analysis of Workflow Schedulability Based on Time Constraint Petri Nets.	CSCWD	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	Ming Xiong, Song Han, Deji Chen	Deferrable Scheduling for Temporal Consistency: Schedulability Analysis and Overhead Reduction.	RTCSA	2006	DBLP DOI BibTeX RDF
2	Wan-Chen Lu, Hsin-Wen Wei, Kwei-Jay Lin	Rate Monotonic Schedulability Conditions Using Relative Period Ratios (Abstract).	RTCSA	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	Patrick Meumeu Yomsi, Yves Sorel	Non-Schedulability Conditions for Off-line Scheduling of Real-Time Systems Subject to Precedence and Strict Periodicity Constraints.	ETFA	2006	DBLP DOI BibTeX RDF
2	Man Lin, Laurence Tianruo Yang	Schedulability Driven Security Optimization in Real-time Systems.	ARES	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