9210 search results - page 260 / 1842 » Analyzing Real-Time Systems |
111
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 ...
104
Voted
FMSD
2006
15 years 20 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
109
click to vote
AFRIGRAPH
2004
ACM
15 years 6 months ago
2004
ACM
The demand for realistic human characters is driven by interactive application developers worldwide. The look of 3D models in real time graphics is efficiently improved by powerfu...
117
Voted
MICCAI
2001
Springer
15 years 5 months ago
2001
Springer
Real Time Tomographic Reflection (RTTR) permits in situ visualization of ultrasound images so that direct hand-eye coordination can be employed during invasive procedures. The meth...
105
click to vote
ADAEUROPE
2005
Springer
15 years 2 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...