769 search results - page 42 / 154 » The Real-Time Specification for Java |
123
click to vote
ECRTS
2009
IEEE
14 years 9 months ago
2009
IEEE
Performing QoS (Quality of Service) control in large computing systems requires an on line metric that is representative of the real state of the system. The Tardiness Quantile Me...
332
click to vote
JTRES
2010
ACM
15 years 10 hour ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
113
click to vote
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
ENTCS
2006
14 years 11 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
100
click to vote
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...