139 search results - page 10 / 28 » Totally Verified Systems: Linking Verified Software to Verif... |
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
ECBS
2010
IEEE
15 years 2 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
AVI
1998
14 years 10 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
IOLTS
2009
IEEE
15 years 4 months ago
2009
IEEE
āRobust circuit design has become a major concern for nanoscale technologies. As a consequence, for design validation, not only the functionality of a circuit has to be considere...
87
Voted
ISORC
2007
IEEE
15 years 3 months ago
2007
IEEE
Modern processors used in embedded systems are becoming increasingly powerful, having features like caches and pipelines to speedup execution. While execution speed of embedded so...