2377 search results - page 115 / 476 » Hybrid Systems in TLA |
HYBRID
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
VR
2003
IEEE
15 years 4 months ago
2003
IEEE
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...
ENTCS
2006
14 years 11 months ago
2006
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...
ICIP
2006
IEEE
16 years 24 days ago
2006
IEEE
ICS
2009
Tsinghua U.
15 years 6 months ago
2009
Tsinghua U.
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...