A practical application of the ceiling protocol in a real-time system
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)
A testbed for investigating real-time Ada issues
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
A practical application of the ceiling protocol in a real-time system
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Priority inversion and its control: An experimental investigation
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Real-time software engineering in Ada: observations and recommendations
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Real-Time Scheduling Theory and Ada
Computer
Ada usage/performance specification
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
A performance standard for Ada 9X
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Prioritized asynchronism in Ada 9X
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
Predictable real-time avionics design using Ada tasks and Rendezvous study
IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
A microprocessor with Ada real time support
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
ACM SIGOPS Operating Systems Review
Ada real-time systems and basic priority inheritance
ACM SIGAda Ada Letters
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Advancing Ada 9X solutions in real time avionics computers
ACM SIGAda Ada Letters
Priority ceiling protocol in Ada
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Experience with the development of hard real-time embedded Ada software
ICSE '94 Proceedings of the 16th international conference on Software engineering
T-SMART—task-safe, minimal Ada realtime toolset
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
On the distribution of control functions in new-generation on-board embedded real-time systems
Parallel and distributed real-time systems
Priority inversion in multi processor systems due to protected actions
ACM SIGAda Ada Letters
On the Construction of New-Generation On-Board Real-Time Systems
Integrated Computer-Aided Engineering
Real-time Java from an automated code generation perspective
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
A real-time Java virtual machine with applications in avionics
ACM Transactions on Embedded Computing Systems (TECS)
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
A metamodel-driven process featuring advanced model-based timing analysis
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Ji.Fi: visual test and debug queries for hard real-time
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Non-blocking inter-partition communication with wait-free pair transactions
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
DPMP: a software pattern for real-time tasks merge
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |