2127 search results - page 176 / 426 » Software Automation |
140
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
162
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
163
click to vote
TPHOL
2000
IEEE
15 years 10 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...
176
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
156
click to vote
SCAM
2007
IEEE
16 years 22 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...