3560 search results - page 404 / 712 » integration 2008 |
191
click to vote
FM
2008
Springer
15 years 9 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
171
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
176
click to vote
FMCAD
2008
Springer
15 years 9 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
183
click to vote
FPL
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents a novel method to perform on-the-fly attestation of hardware structures loaded to reconfigurable devices. Given that a loadable hardware structure to a reconfi...
133
click to vote
ECIR
2008
Springer
15 years 9 months ago
2008
Springer
Using map visualisation tools and earth browsers to display images in a spatial context is integral to many photo-sharing sites and commercial image archives, yet little academic r...