Sciweavers

3389 search results - page 347 / 678
» Real-Time and Fault-Tolerant Systems
Sort
View
FMSD
2006
131views more  FMSD 2006»
15 years 6 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
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...
Peter Csaba Ölveczky, José Meseguer, C...
AFRIGRAPH
2004
ACM
16 years 7 days ago
Realistic shading of human skin in real time
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...
Florian Struck, Christian-A. Bohn, Sebastian Schmi...
MICCAI
2001
Springer
15 years 11 months ago
Magnified Real-Time Tomographic Reflection
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...
George D. Stetten, Vikram S. Chib
ADAEUROPE
2005
Springer
15 years 8 months ago
RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet
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...
José María Martínez, Michael ...
BIOSYSTEMS
2007
123views more  BIOSYSTEMS 2007»
15 years 7 months ago
Real time computation: Zooming in on population codes
Information processing in nervous systems intricately combines computation at the neuronal and network levels. Many computations may be envisioned as sequences of signal processin...
Olivier Rochel, Netta Cohen