1661 search results - page 13 / 333 » Real-time specification patterns |
MVA
1992
14 years 11 months ago
1992
The development of a real time image processing on a specific architecture is always restricting for the user who must master all the elementary mechanisms of the machine. Such sp...
OTM
2004
Springer
15 years 3 months ago
2004
Springer
This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the RealTime Specification for Java (RTSJ). This spe...
109
click to vote
FASE
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
101
click to vote
FDL
2006
IEEE
15 years 3 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...