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
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Kernel support for live digital audio and video
Computer Communications - Special issue on multimedia communications
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Toward a discipline of real-time programming
Communications of the ACM
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
The ESTEREL Synchronous Programming Language and its Mathematical Semantics
Seminar on Concurrency, Carnegie-Mellon University
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Capturing design expertise in software architecture design environments
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Slicing real-time programs for enhanced schedulability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rate derivation and its applications to reactive, real-time embedded systems
DAC '98 Proceedings of the 35th annual Design Automation Conference
A timing-driven design and validation methodology for embedded real-time systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Criticality- and QoS-Based Multiresource Negotiation andAdaptation
Real-Time Systems
Architectural Styles, Design Patterns, and Objects
IEEE Software
Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes
IEEE Transactions on Software Engineering
Cooperative run-time management of adaptive applications and distributed resources
Proceedings of the tenth ACM international conference on Multimedia
A Period Assignment Algorithm for Real-Time System Design
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Queueing Analysis of Pools in Soft Real-Time Systems
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems
Proceedings of the 2006 ACM symposium on Applied computing
Toward Automatic Synthesis of Schedulable Real-Time Controllers
Integrated Computer-Aided Engineering
Hi-index | 0.00 |