4434 search results - page 172 / 887 » On the Composition of Hybrid Systems |
154
click to vote
HYBRID
2009
Springer
16 years 1 months 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...
150
click to vote
VR
2003
IEEE
15 years 11 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...
165
click to vote
ENTCS
2006
15 years 6 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...
160
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Building a configuration management (CM) system is a difficult endeavor that regularly requires tens of thousands of lines of code to be written. To reduce this effort, several ex...