Search results for "scheduling theory"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand	Investigating the usability of real-time scheduling theory with the Cheddar project.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Architecture modelling and verification, Scheduling theory, AADL, Software engineering tools
3	Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Rosenberg	Advances in IC-Scheduling Theory: Scheduling Expansive and Reductive Dags and Scheduling Dags via Duality.	IEEE Trans. Parallel Distrib. Syst.	2007	DBLP DOI BibTeX RDF	IC-Scheduling theory, Scheduling dags, Grid computing, Theory, Global computing, Internet-based computing
2	Donatas Elvikis, Horst W. Hamacher, Marcel T. Kalsch	Simultaneous scheduling and location (ScheLoc): the planar ScheLoc makespan problem.	J. Scheduling	2009	DBLP DOI BibTeX RDF	Global optimization, Scheduling theory, Location theory
2	Frank Singhoff, Alain Plantec, Pierre Dissaux	Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.	Ada-Europe	2008	DBLP DOI BibTeX RDF
2	Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Rosenberg	Extending IC-Scheduling via the Sweep Algorithm.	PDP	2008	DBLP DOI BibTeX RDF	IC-Scheduling Theory, gridcomputing, globalcomputing, schedulingDAGs, Internet-based computing
2	Gennaro Cordasco, Grzegorz Malewicz, Arnold L. Rosenberg	Applying IC-Scheduling Theory to Familiar Classes of Computations.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou, Yvon Trinquet	Adequacy between AUTOSAR OS specification and real-time scheduling theory.	SIES	2007	DBLP DOI BibTeX RDF
2	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
2	Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok	Real Time Scheduling Theory: A Historical Perspective.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	dynamic-priority scheduling, new challenges, feedback, earliest deadline first, fixed-priority scheduling, hard real-time, soft real-time, rate-monotonic scheduling, scheduling models
2	Gautam H. Thaker, Patrick J. Lardieri, Donald K. Krecker, Michael Price	Empirical Quantification of Pessimism in State-of-the-Art Scheduling Theory Techniques for Periodic and Sporadic DRE Tasks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF	scheduability analysis, distributed task scheduling, end-to-end task scheduling, real-time scheduling, periodic tasks
2	Romain Kamdem, Alain Fonkoua	Coprocessor Synthesis of Multirate System Using Static Scheduling Theory. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	scheduling, real time, Codesign, codesign, hardware/software partitioning, target architecture
2	Romain Kamdem, Alain Fonkoua, Andre Zenatti	Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory.	ICCD	1999	DBLP DOI BibTeX RDF	code-sign, scheduling, real time, Codesign, hardware/software partitioning, target architecture
2	Marco Caccamo, Giorgio C. Buttazzo	Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	periodic task skips, aperiodic responsiveness, video reception, aperiodic requests, offline analysis, multimedia systems, timing constraints, software performance evaluation, real-time applications, deadlines, scheduling theory, earliest deadline first scheduling, average response time, telecommunication systems
2	Manas Saksena, Paul Freedman, Pawel Rodziewicz	Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	control system analysis computing, automated implementation, executable object oriented models, real time embedded control systems, real time scheduling theory, ROOM methodology, telecommunications community, commercial systems, case tool ObjecTime, reactive real time behavior, hard real time components, cruise control example, ROOM model, executable models, priority inversions, temporal behavior, Real time Object Oriented Modeling
2	Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij	The MSP.RTL real-time scheduler synthesis tool.	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	MSP RTL real time scheduler synthesis tool, scheduler synthesis algorithm, real time scheduling problem, temporal constraint satisfaction problem, temporal constraint graph, input timing specification, incremental positive cycle detection algorithm, real time scheduling theory, Boeing 777 Integrated Airplane Information Management System, AIMS, constraint satisfaction, processor scheduling, timing constraints, resource constraints, application domains, search strategies, cyclic schedules, feasible schedule, timing semantics, real time logic
2	M. J. van der Westhuizen, R. G. Harley, D. C. Levy, D. R. Woodward	Using EDIF for software generation.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	EDIF, parallel microprocessors, codesign methods, hardware development tools, real-time parallel C code, FPGA, parallel programming, simulated annealing, simulated annealing, software tools, software tool, logic CAD, circuit CAD, C language, scheduling theory, software generation, development systems
2	Kevin A. Kettler, Daniel I. Katcher, Jay K. Strosnider	A modeling methodology for real-time/multimedia operating systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multimedia operating systems, real-time scheduling theory, real-time task set, implementation costs, engineering methodology, commercial real-time operating systems, scheduling, performance evaluation, software engineering, real-time systems, developers, processor scheduling, software performance evaluation, users, operating systems (computers), multimedia computing, real-time operating systems, modeling methodology, design evaluation
2	Daniel I. Katcher, Hiroshi Arakawa, Jay K. Strosnider	Engineering and Analysis of Fixed Priority Schedulers.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	timing correctness, validation process, blocking components, fixed priority scheduling algorithms, timer-driven scheduling, event-driven scheduling, optimal timer rate, schedulability, scheduling, real-time systems, real-time applications, operating systems (computers), fixed priority schedulers, operating system kernels, scheduling theory, hardware platforms
1	Michael Bender, Jacek Blazewicz, Erwin Pesch, Denis Trystram, Guochuan Zhang	Guest editorial - Special issue "New challenges in scheduling theory" (Marseilles Workshop, May 12-16, 2008).	J. Scheduling	2010	DBLP DOI BibTeX RDF
1	Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand	Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Ola Svensson	Conditional hardness of precedence constrained scheduling on identical machines.	STOC	2010	DBLP DOI BibTeX RDF	scheduling, approximation, inapproximability
1	Ala' Qadi, Steve Goddard, Jiangyang Huang, Shane Farritor	Modelling computational requirements of mobile robotic systems using zones and processing windows.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Mobile robotic systems, Applied real-time scheduling theory, Zone processing window, Robotic software architecture, Real-time systems, Zone
1	Gio K. Kao, Edward C. Sewell, Sheldon H. Jacobson	A branch, bound, and remember algorithm for the 1\| r i \| Sigma t i scheduling problem.	J. Scheduling	2009	DBLP DOI BibTeX RDF	Scheduling theory and algorithms, Dynamic programming, Branch and bound algorithms
1	Joachim R. Daduna	Vehicle Scheduling.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Discrete location and assignment, Flows in networks, Combinatorial optimization, Transportation, Logistics, Scheduling theory, Deterministic
1	Sudha Gunturu, Xiaolin Li 0001, Laurence Tianruo Yang	Load Scheduling Strategies for Parallel DNA Sequencing Applications.	HPCC	2009	DBLP DOI BibTeX RDF
1	Sébastien Collette, Liliana Cucu, Joël Goossens	Integrating job parallelism in real-time scheduling theory.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
1	Sébastien Collette, Liliana Cucu, Joël Goossens	Integrating Job Parallelism in Real-Time Scheduling Theory	CoRR	2008	DBLP BibTeX RDF
1	Ghislain Charrier	From scheduling theory to practice: a case study.	CSTST	2008	DBLP DOI BibTeX RDF	scheduling, grid computing, climate prediction
1	Tae-Eog Lee	A review of scheduling theory and methods for semiconductor manufacturing cluster tools.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet	Equivalence between Schedule Representations: Theory and Applications.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	multiprocessor, real-time scheduling, periodic tasks, optimal scheduling, scheduling theory
1	Micah Adler, Ying Gong, Arnold L. Rosenberg	On "Exploiting" Node-Heterogeneous Clusters Optimally.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Worksharing protocols, Cluster computing, Scheduling theory, Heterogeneous clusters
1	Simon Schliecker, Jonas Rox, Matthias Ivers, Rolf Ernst	Providing accurate event models for the analysis of heterogeneous multiprocessor systems.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	compositional performance analysis, real-time, multiprocessor
1	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
1	Mark Sims, Gennaro Cordasco, Arnold L. Rosenberg	On Clustering Tasks in IC-Optimal Dags.	ICPP	2008	DBLP DOI BibTeX RDF
1	Hyang-Won Lee, Song Chong	Downlink resource allocation in multi-carrier systems: frequency-selective vs. equal power allocation.	IEEE Transactions on Wireless Communications	2008	DBLP DOI BibTeX RDF
1	Razvan Racu, Arne Hamann, Rolf Ernst	Sensitivity analysis of complex embedded real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	System properties, Distributed systems, Real-time, Robustness, System-on-chip, Compositional, Embedded, Sensitivity analysis, Scheduling analysis, Binary search, Slack, Performance verification
1	Marjan van den Akker, Han Hoogeveen	Minimizing the number of late jobs in a stochastic setting using a chance constraint.	J. Scheduling	2008	DBLP DOI BibTeX RDF	Number of late jobs, Stochastic processing times, Minimum success probability, Chance constraint, Scheduling, Dynamic programming, NP-hardness, Sequencing, Single machine
1	Manuel Iori, Silvano Martello	Scatter Search Algorithms for Identical Parallel Machine Scheduling Problems.	Metaheuristics for Scheduling in Industrial and Manufacturing Applications	2008	DBLP DOI BibTeX RDF	Identical Parallel Machine Scheduling, Local Search, Scatter Search
1	Retsef Levi, Andrea Lodi, Maxim Sviridenko	Approximation Algorithms for the Multi-item Capacitated Lot-Sizing Problem Via Flow-Cover Inequalities.	IPCO	2007	DBLP DOI BibTeX RDF	scheduling theory and algorithms, approximation algorithms, integer programming, randomized algorithms, polyhedral combinatorics
1	Philippe Baptiste, Peter Brucker, Marek Chrobak, Christoph Dürr, Svetlana A. Kravchenko, Francis Sourd	The complexity of mean flow time scheduling problems with release times.	J. Scheduling	2007	DBLP DOI BibTeX RDF	Linear programming, Preemption, Scheduling theory
1	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
1	Robert Hall, Arnold L. Rosenberg, Arun Venkataramani	A Comparison of Dag-Scheduling Strategies for Internet-Based Computing.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Zhibin Zhang, Yanjun Zhang, Li Guo, Binxing Fang	LASF: A Flow Scheduling Policy in Stateful Packet Inspection Systems.	ISCC	2007	DBLP DOI BibTeX RDF
1	Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng	An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices.	ISORC	2007	DBLP DOI BibTeX RDF
1	Zonghua Gu, Mingxuan Yuan, Xiuqiang He	Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
1	Jianjia Wu, Jyh-Charn Liu, Wei Zhao	Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers.	RTSS	2007	DBLP DOI BibTeX RDF
1	Giorgio C. Buttazzo, Manel Velasco, Pau Martí	Quality-of-Control Management in Overloaded Real-Time Systems.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Quality-of-control, real-time control, overload management
1	Christoph Ambühl, Monaldo Mastrolilli, Nikolaus Mutsanas, Ola Svensson	Scheduling with Precedence Constraints of Low Fractional Dimension.	IPCO	2007	DBLP DOI BibTeX RDF
1	Grzegorz Malewicz, Ian T. Foster, Arnold L. Rosenberg, Michael Wilde	A Tool for Prioritizing DAGMan Jobs and its Evaluation.	J. Grid Comput.	2007	DBLP DOI BibTeX RDF	dags, applications of theory, scheduling, Grid, systems, Condor, unpredictability
1	Frank Werner	V. T'Kindt and J.C. Billaut, Multicriteria Scheduling. Theory, Models and Algorithms, Springer Verlag (2002) ISBN 3-540-43617-0.	European Journal of Operational Research	2006	DBLP DOI BibTeX RDF
1	Vincent T'Kindt, Jean-Charles Billaut	Multicriteria Scheduling - Theory, Models and Algorithms (2. ed.).		2006	DOI RDF
1	Mark Scharbrodt, Thomas Schickinger, Angelika Steger	A new average case analysis for completion time scheduling.	J. ACM	2006	DBLP DOI BibTeX RDF	average case analysis, Scheduling theory
1	Grzegorz Malewicz, Ian T. Foster, Arnold L. Rosenberg, Michael Wilde	A Tool for Prioritizing DAGMan Jobs and Its Evaluation.	HPDC	2006	DBLP DOI BibTeX RDF	DAGMan job scheduling, job dependency, scheduling tool, scientific data analysis application, Condor high-throughput computing system, Internet-based computation
1	M. Aldea, Guillem Bernat, Ian Broster, Alan Burns, Radu Dobrin, José M. Drake, Gerhard Fohler, Paolo Gai, Michael González Harbour, Giacomo Guidi, J. Javier Gutiérrez, Tomas Lennvall, Giuseppe Lipari, J. M. Martínez, Julio L. Medina, José C. Palencia Gutiérrez, Michael Trimarchi	FSF: A Real-Time Scheduling Architecture Framework.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Christian Artigues, Pierre Lopez, Pierre-Dimitri Ayache	Schedule Generation Schemes for the Job-Shop Problem with Sequence-Dependent Setup Times: Dominance Properties and Computational Analysis.	Annals OR	2005	DBLP DOI BibTeX RDF	schedule generation scheme, dominance properties, priority rules, job-shop, scheduling theory, sequence-dependent setup times
1	David L. Kaufman, Hyun-soo Ahn, Mark E. Lewis	On the Introduction of an Agile, Temporary Workforce into a Tandem Queueing System.	Queueing Syst.	2005	DBLP DOI BibTeX RDF	queues and service, stochastic, scheduling theory
1	Emna Bouazizi, Claude Duvallet, Bruno Sadeg	Management of QoS and Data Freshness in RTDBSs using Feedback Control Scheduling and Data Versions.	ISORC	2005	DBLP DOI BibTeX RDF
1	Emna Bouazizi, Claude Duvallet, Bruno Sadeg	Multi-Versions Data for Improvement of QoS in RTDBS.	RTCSA	2005	DBLP DOI BibTeX RDF
1	Sundaram Suresh, S. N. Omkar, V. Mani	Parallel Implementation of Back-Propagation Algorithm in Networks of Workstations.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	optical character recognition, performance measures, Multilayer perceptron, network of workstation, back-propagation, divisible load theory
1	Zonghua Gu	Timing Analysis of Distributed End-to-End Task Graphs with Model-Checking.	EUC	2005	DBLP DOI BibTeX RDF
1	Fu-ming Li, Yunlong Zhu, Chaowan Yin, Xiao-yu Song	Fuzzy Programming for Multiobjective Fuzzy Job Shop Scheduling with Alternative Machines Through Genetic Algorithms.	ICNC	2005	DBLP DOI BibTeX RDF
1	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real-Time Systems	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
1	Deming Liu, Yann-Hang Lee	An Efficient Scheduling Discipline for Packet Switching Networks Using Earliest Deadline First Round Robin.	Telecommunication Systems	2005	DBLP DOI BibTeX RDF	round robin scheduling, packet switching networks
1	Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé	Cheddar: a flexible real time scheduling framework.	SIGAda	2004	DBLP DOI BibTeX RDF	real time scheduling, simulation tool
1	Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta	Safe compositional specification of networking systems.	Computer Communication Review	2004	DBLP DOI BibTeX RDF	QoS theory, service composition, type systems, control theory
1	Giorgio C. Buttazzo, Manel Velasco, Pau Martí, Gerhard Fohler	Managing Quality-of-Control Performance Under Overload Conditions.	ECRTS	2004	DBLP DOI BibTeX RDF
1	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
1	Thomas G. Robertazzi	Comment on "A Novel Data Distribution Technique for Host-Client Type Parallel Applications'.	IEEE Trans. Parallel Distrib. Syst.	2004	DBLP DOI BibTeX RDF
1	Wenci Yu, Han Hoogeveen, Jan Karel Lenstra	Minimizing Makespan in a Two-Machine Flow Shop with Delays and Unit-Time Operations is NP-Hard.	J. Scheduling	2004	DBLP DOI BibTeX RDF	intermediate delays, strong NP-hardness, computational complexity, makespan, flow shop scheduling
1	Satoshi Yamane	Deductive Schedulability Verification Methodology of Real-Time Software using both Refinement Verification and Hybrid Automata.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Iain Bate, Peter Nightingale, Anton Cervin	Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems.	ECRTS	2003	DBLP DOI BibTeX RDF
1	Pascal Richard	On the Complexity of Scheduling Real-Time Tasks with Self-Suspensions on One Processor.	ECRTS	2003	DBLP DOI BibTeX RDF
1	Magnus Carlsson, Johan Nordlander, Dick Kieburtz	The Semantic Layers of Timber.	APLAS	2003	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron	PARS: A Process Algebra with Resources and Schedulers.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Klaus Jansen, Roberto Solis-Oba	Approximation Algorithms for Scheduling Jobs with Chain Precedence Constraints.	PPAM	2003	DBLP DOI BibTeX RDF	scheduling, Approximation algorithm, constraints, chains
1	Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi	Schedulability Analysis Using Two Clocks.	TACAS	2003	DBLP DOI BibTeX RDF
1	Cristina Boeres, Vinod E. F. Rebello	Cluster-Based Static Scheduling: Theory and Practice.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
1	Gautam Gupta, Sanjay V. Rajopadhye, Patrice Quinton	Scheduling reductions on realistic machines.	SPAA	2002	DBLP DOI BibTeX RDF	parametric integer programming, dependence analysis, automatic parallelization, scheduling theory, polyhedral model, affine recurrence equations
1	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
1	Cosmin Rusu, Rami G. Melhem, Daniel Mossé	Maximizing the System Value while Satisfying Time and Energy Constraints.	IEEE Real-Time Systems Symposium	2002	DBLP DOI BibTeX RDF
1	Elena Fersman, Paul Pettersson, Wang Yi	Timed Automata with Asynchronous Processes: Schedulability and Decidability.	TACAS	2002	DBLP DOI BibTeX RDF
1	Michael A. Bender, Michael O. Rabin	Online Scheduling of Parallel Programs on Heterogeneous Systems with Applications to Cilk.	Theory Comput. Syst.	2002	DBLP DOI BibTeX RDF
1	Shyh-In Hwang, Sheng-Tzong Cheng	Combinatorial Optimization in Real-Time Scheduling: Theory and Algorithms.	J. Comb. Optim.	2001	DBLP DOI BibTeX RDF
1	Albert Y. Zomaya	Scheduling: Theory and Applications - Guest Editor's Preface.	Int. J. Found. Comput. Sci.	2001	DBLP BibTeX RDF
1	Martin Skutella	Convex quadratic and semidefinite programming relaxations in scheduling.	J. ACM	2001	DBLP DOI BibTeX RDF	unrelated machines, approximation algorithms, randomized algorithms, convex optimization, performance guarantee, scheduling theory, worst-case ratio
1	Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin	Scheduling Reactive Task Graphs in Embedded Control Systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
1	Víctor A. Braberman, Fabio Pieniazek	Duration Properties over Real Time System Designs.	IWSSD	2000	DBLP BibTeX RDF	Duration Properties, Model-Checking, Timed Automata, Real-Time System Designs
1	Michael A. Bender, Michael O. Rabin	Scheduling Cilk multithreaded parallel programs on processors of different speeds.	SPAA	2000	DBLP DOI BibTeX RDF
1	Manas Saksena, Panagiota Karvelas	Designing for schedulability: integrating schedulability analysis with object-oriented design.	ECRTS	2000	DBLP DOI BibTeX RDF
1	Kathleen Steinhöfel	Stochastic algorithms in scheduling theory.		1999	RDF
1	Víctor A. Braberman, Miguel Felder	Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
1	Zhiming Liu, Mathai Joseph	Specification and Verification of Fault-Tolerance, Timing, and Scheduling.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	schedulability, fault-tolerance, verification, real time, specification, transformation
1	Yun Wang, Manas Saksena	Scheduling Fixed-Priority Tasks with Preemption Threshold.	RTCSA	1999	DBLP DOI BibTeX RDF	Preemption Threshold, Worst-Case Response Time, Schedulability, Fixed-Priority Scheduling
1	Giorgio C. Buttazzo, Marco Caccamo	Minimizing Aperiodic Response Times in a Firm Real-Time Environment.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	aperiodic service, firm deadlines, quality of service, Real-time scheduling, skip
1	Ismael Ripoll, Alfons Crespo, Ana García-Fornes	An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Dynamic scheduling theory, slack scheduling, soft aperiodic tasks, dynamic, hard real-time, feasibility analysis
1	John P. Lehoczky	Using Real-Time Queueing Theory to Control Lateness in Real-Time Systems.	SIGMETRICS	1997	DBLP DOI BibTeX RDF
1	Steve Goddard	Analyzing the Real-Time Properties of a Dataflow Execution Paradigm using a Synthetic Aperture Radar Application. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
1	Aidong Zhang, Thomas V. Johnson	Scheduling Multimedia Presentations in Educational Digital Libraries.	Int. J. on Digital Libraries	1997	DBLP DOI BibTeX RDF	Presentation scheduling, Synchronization, Multimedia presentation, Educational digital libraries
1	Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes	Integrating Real-Time Scheduling Theory and Program Refinement.	FME	1996	DBLP DOI BibTeX RDF
1	Juan Echagüe, Joan Vila i Carbó, Alfons Crespo	Providing Generalized Rate Monotonic Scheduling Theory to I/O Abstractions over Timed Token Protocol MAC Networks.	ICECCS	1996	DBLP DOI BibTeX RDF