3256 search results - page 144 / 652 » Applications of Formal Methods to System Design and Verifica... |
144
click to vote
ADT
2005
15 years 4 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
138
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
104
click to vote
MVA
1992
15 years 5 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...
151
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
118
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...