Sciweavers

9387 search results - page 64 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
ISORC
1999
IEEE
15 years 4 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 3 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
WSC
2004
15 years 1 months ago
Controlling Over-Optimism in Time-Warp Via CPU-Based Flow Control
In standard optimistic parallel event simulation, no restriction exists on the maximum lag in simulation time between the fastest and slowest logical processes (LPs). Overoptimist...
Vinay Sachdev, Maria Hybinette, Eileen Kraemer
JTRES
2009
ACM
15 years 6 months ago
Real time Java on resource-constrained platforms with Fiji VM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...
Filip Pizlo, Lukasz Ziarek, Jan Vitek