3256 search results - page 143 / 652 » Applications of Formal Methods to System Design and Verifica... |
132
Voted
MICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Building a high-performance microprocessor presents many reliability challenges. Designers must verify the correctness of large complex systems and construct implementations that ...
118
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
144
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
119
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
162
click to vote
RECOSOC
2007
15 years 6 months ago
2007
Nowadays, reconfigurable and multiprocessor systems are becoming increasingly attractive for many applications. Such systems should be more and more dependable especially if error...