3387 search results - page 297 / 678 » Model-Checking for Real-Time Systems |
187
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Historically, most radar sensor array processing has been implemented using dedicated and specialized processing systems. This approach was necessary because the algorithm computa...
189
click to vote
VR
1999
IEEE
15 years 11 months ago
1999
IEEE
The ever-increasing power of computers and hardware rendering systems has, to date, primarily motivated the creation of visually rich and perceptually realistic virtual environmen...
225
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Stereotactic techniques are prevalent in neurosurgery. A fundamental assumption of stereotaxis is that the brain is a rigid body. It has been demonstrated, however, that ...
151
click to vote
PARA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. For the evaluation of HPC systems for real-time signal processing, real-time benchmarks have recently been proposed by the US DoD signal processing and HPC communities. F...
217
click to vote
SIGGRAPH
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents a paradigm for automatically generating complete camera specifications for capturing events in virtual 3D environments in real-time. We describe a fully implem...