3256 search results - page 216 / 652 » Applications of Formal Methods to System Design and Verifica... |
165
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
145
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Grid computing focuses on making use of a very large amount of resources from a large-scale computing environment. It intends to deliver high-performance computing over distribute...
178
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...
156
click to vote
HYBRID
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
179
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...