Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Scheduling Multiprocessor Tasks to Minimize Schedule Length
IEEE Transactions on Computers
Scheduling Tasks with Resource Requirements in Hard Real-Time Systems
IEEE Transactions on Software Engineering
Preemptive scheduling under time and resource constraints
IEEE Transactions on Computers - Special Issue on Real-Time Systems
On synchronization in hard-real-time systems
Communications of the ACM
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Multiprocessor Online Scheduling of Hard-Real-Time Tasks
IEEE Transactions on Software Engineering
Real-time computing systems: the next generation
Tutorial: hard real-time systems
Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations
IEEE Transactions on Software Engineering
Calculating the maximum, execution time of real-time programs
Real-Time Systems
Scheduling Periodic Jobs that Allow Imprecise Results
IEEE Transactions on Computers
A Window Protocol for Transmission of Time-Constrained Messages
IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Scheduling Tasks with Nonuniform Deadlines on Two Processors
Journal of the ACM (JACM)
Preemptive Scheduling of Uniform Processor Systems
Journal of the ACM (JACM)
Scheduling Independent Tasks with Due Times on a Uniform Processor System
Journal of the ACM (JACM)
Preemptive Scheduling with Release Times, Deadlines, and Due Times
Journal of the ACM (JACM)
Deterministic Processor Scheduling
ACM Computing Surveys (CSUR)
Architecture of the space shuttle primary avionics software system
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Scheduling Dependent Tasks with Different Arrival Times to Meet Deadlines
Proceedings of the International Workshop organized by the Commision of the European Communities on Modelling and Performance Evaluation of Computer Systems
Compile-time analysis of communicating processes
ICS '92 Proceedings of the 6th international conference on Supercomputing
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Stabilizing Pre-Run-Time Schedules With the Help of GraceTime
Real-Time Systems
Scheduling Distributed Real-Time Tasks with Minimum Jitter
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Fast, predictable and low energy memory references through architecture-aware compilation
Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Hi-index | 0.00 |