1888 search results - page 82 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
101
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
126
click to vote
OSDI
2006
ACM
16 years 3 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
134
click to vote
VECPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
163
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
145
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...