769 search results - page 16 / 154 » The Real-Time Specification for Java |
170
click to vote
ICAD
2004
15 years 7 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...
139
click to vote
JECR
2000
15 years 5 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...
168
click to vote
ARTS
1999
Springer
15 years 10 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...
165
click to vote
MVA
1992
15 years 7 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...
165
click to vote
RTSS
1999
IEEE
15 years 10 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...