3387 search results - page 277 / 678 » Model-Checking for Real-Time Systems |
201
click to vote
WSC
2008
15 years 9 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 ...
213
click to vote
AFRIGRAPH
2004
ACM
16 years 19 days 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...
212
click to vote
MICCAI
2001
Springer
15 years 11 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...
182
click to vote
ADAEUROPE
2005
Springer
15 years 9 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...
223
click to vote
BIOSYSTEMS
2007
15 years 7 months ago
2007
Information processing in nervous systems intricately combines computation at the neuronal and network levels. Many computations may be envisioned as sequences of signal processin...