16725 search results - page 3058 / 3345 » Engineering Software Correctness |
144
click to vote
SIGGRAPH
1998
ACM
15 years 8 months ago
1998
ACM
This article introduces new techniques for non-distorted texture mapping on complex triangulated meshes. Texture coordinates are assigned to the vertices of the triangulation by u...
141
click to vote
ASPLOS
2009
ACM
15 years 8 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
146
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
The Trusted Computing Group (TCG) has addressed a new generation of computing platforms employing both supplemental hardware and software with the primary goal to improve the secu...
145
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
114
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...