4693 search results - page 733 / 939 » Verifying Hybrid Systems |
139
click to vote
ICDE
2006
IEEE
15 years 12 months ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
129
click to vote
ISCAS
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper introduces a novel low-power digital future, are expected to run at frequencies beyond 10 MHz. In controller for high frequency dc-dc switch-mode power supplies addition...
190
click to vote
QEST
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
148
click to vote
ROBIO
2006
IEEE
15 years 12 months ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
197
click to vote
ACL2
2006
ACM
15 years 12 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...