1 search results - page 1 / 1 » Stochastic Contracts for Runtime Checking of Component-based... |
PLDI
2003
ACM
13 years 9 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...