4693 search results - page 169 / 939 » Verifying Hybrid Systems |
133
click to vote
TAL
2004
Springer
15 years 10 months ago
2004
Springer
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
128
click to vote
HYBRID
2009
Springer
16 years 1 days ago
2009
Springer
To reduce the amount of data transfer in networked control systems and wireless sensor networks, measurements are usually taken only when an event occurs, rather than at each synch...
133
click to vote
HYBRID
2005
Springer
15 years 10 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...
134
click to vote
VR
2003
IEEE
15 years 10 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...
150
click to vote
ENTCS
2006
15 years 5 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...