769 search results - page 16 / 154 » The Real-Time Specification for Java |
ICAD
2004
14 years 11 months ago
2004
We describe significant developments towards a real-time implementation of SonArt, the parameter mapping framework first presented in [1] 1 . Enhancements include the incorporatio...
64
Voted
JECR
2000
14 years 9 months ago
2000
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
ARTS
1999
Springer
15 years 1 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
MVA
1992
14 years 10 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...
RTSS
1999
IEEE
15 years 1 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...