1516 search results - page 30 / 304 » Trends in Software Verification |
TPHOL
2000
IEEE
14 years 11 days 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...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
APSEC
2001
IEEE
14 years 14 days ago
2001
IEEE
COMPSAC
2007
IEEE
14 years 22 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
TSE
2010
13 years 3 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...