287 search results - page 23 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
139
click to vote
DGO
2011
14 years 1 months ago
2011
The rising awareness of the challenges of preserving information over the long term has led to a wealth of initiatives developing economic models, methods, tools, systems, guideli...
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
DAC
2000
ACM
16 years 2 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
152
click to vote
DAC
2010
ACM
15 years 5 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...
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
A computational enterprise model representing key facets of an organization can be an effective tool. For example, a specific organization's quality management business proce...