The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Deterministic priority inversion in Ada selective waits
ACM SIGAda Ada Letters
Ada usage/performance specification
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Intelligent real-time control of robotic vehicles
Communications of the ACM
An overview of real-time issues and Ada
ACM SIGAda Ada Letters
A microprocessor with Ada real time support
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
ACM SIGOPS Operating Systems Review
Reusable real-time executive in Ada design issues
ACM SIGAda Ada Letters
Replacing passive tasks with Ada9X protected records
ACM SIGAda Ada Letters
Using threads in interactive systems: a case study
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Effects of nonsymmetric release times on rate monotonic scheduling
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems
IEEE Transactions on Software Engineering
Advancing Ada 9X solutions in real time avionics computers
ACM SIGAda Ada Letters
Implementing real-time services in MINIX
ACM SIGOPS Operating Systems Review
Optimal Mutex policy in Ada 95
ACM SIGAda Ada Letters
Integrating rate monotonic analysis into the preliminary Ada design process
ACM SIGAda Ada Letters
Scalable performance scheduling for hardware-software cosynthesis
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Priority ceiling protocol in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Analysis of Dual-Link Networks for Real-Time Applications
IEEE Transactions on Computers
Analyzing partially-implemented real-time systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward a real-time Ada design methodology
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
On the accuracy of predicting rate monotonic scheduling performance
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Parallel hybrid models in system design
WSC '93 Proceedings of the 25th conference on Winter simulation
WADAS '92 Proceedings of the ninth Washington Ada symposium on Ada: Empowering software users and developers
Object oriented analysis transformation in Ada for real-time systems with resource constraints
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
A Multiframe Model for Real-Time Tasks
IEEE Transactions on Software Engineering
Components for the implementation of fixed priority real-time systems in ADA
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
A Priority-Driven Flow Control Mechanism for Real-Time Traffic in Multiprocessor Networks
IEEE Transactions on Parallel and Distributed Systems
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
Analyzing Partially-Implemented Real-Time Systems
IEEE Transactions on Software Engineering
A Development Environment for Complex Distributed Real-Time Applications
IEEE Transactions on Software Engineering
A methodology and algorithms for the design of hard real-time multitasking ASICs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Real-Time Computing with IEEE Futurebus+
IEEE Micro
On the Edge: Solving scheduling difficulties
IEEE Micro
IEEE Micro
Guaranteeing Synchronous Message Deadlines with the Timed Token Medium Access Control Protocol
IEEE Transactions on Computers
Knowledge Processing in Control Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Software Engineering
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
Scheduling System Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
The impact of extrinsic cache performance on predictability of real-time systems
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
A generalized utilization bound test for fixed-priority real-time scheduling
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Reactive and Real-Time Systems Course: How to Get the Most Out of it
Real-Time Systems
Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal
Real-Time Systems
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
A fuzzy algorithm for scheduling periodic tasks on multiprocessor soft real-time systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
The implementation of the Priority Ceiling Protocol in Ada-2005
ACM SIGAda Ada Letters
Online adaptive utilization control for real-time embedded multiprocessor systems
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
Online adaptive utilization control for real-time embedded multiprocessor systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 4.12 |
Rate monotonic scheduling theory puts real-time software engineering on a sound analytical footing. The authors review the theory and its implications for Ada.