2291 search results - page 14 / 459 » Representational Reasoning and Verification |
TPHOL
2000
IEEE
13 years 11 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
ISSS
2000
IEEE
13 years 12 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
LICS
2002
IEEE
14 years 12 days ago
2002
IEEE
ICLP
1998
Springer
13 years 11 months ago
1998
Springer