Sciweavers

2364 search results - page 107 / 473
» On O-Minimal Hybrid Systems
Sort
View
VR
2003
IEEE
139views Virtual Reality» more  VR 2003»
16 years 5 days ago
Combining Head-Mounted and Projector-Based Displays for Surgical Training
We introduce and present preliminary results for a hybrid display system combining head-mounted and projector-based displays. Our work is motivated by a surgical training applicat...
Kok-Lim Low, Adrian Ilie, Greg Welch, Anselmo Last...
ENTCS
2006
185views more  ENTCS 2006»
15 years 7 months ago
Time Domain Verification of Oscillator Circuit Properties
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Ode...
ICS
2009
Tsinghua U.
16 years 1 months ago
Tuned and wildly asynchronous stencil kernels for hybrid CPU/GPU systems
We describe heterogeneous multi-CPU and multi-GPU implementations of Jacobi’s iterative method for the 2-D Poisson equation on a structured grid, in both single- and doublepreci...
Sundaresan Venkatasubramanian, Richard W. Vuduc
GECCO
2009
Springer
16 years 1 months ago
Evolved finite state controller for hybrid system
Jean-François Dupuis, Zhun Fan, Erik D. Goo...