1845 search results - page 44 / 369 » Operating System Performance in Support of Real-Time Middlew... |
106
click to vote
RTSS
1990
IEEE
15 years 5 months ago
1990
IEEE
In a recent study, we have shown that in real-time database systems that discard late transactions, optimistic concurrency control outperforms locking. Although the optimistic alg...
111
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
117
click to vote
WSC
2008
15 years 3 months ago
2008
This paper studies the problem of real time yard crane dispatching in container terminals. Many technologies, including transponders, RFID and GPS have been used in the container ...
135
click to vote
RTAS
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper, we present Chocolate, a reservation-based Real-Time Java run-time environment that runs on Windows NT. We first present a brief overview of the emerging RealTime Ja...
141
click to vote
CSREAPSC
2006
15 years 2 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...