7225 search results - page 183 / 1445 » Software is data too |
121
Voted
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...
161
click to vote
WSPI
2008
15 years 5 months ago
2008
Many of our modern computerized activities, may they be personal, industrial or artistic, involve searching, classifying and browsing large numbers of digital objects. The tools w...
138
click to vote
WSCG
2004
15 years 5 months ago
2004
3D design software has since long employed graphics chips for low-quality real-time previewing. But their dramatically increased computing power now paves the way to accelerate th...
128
click to vote
AVI
2000
15 years 5 months ago
2000
This paper describes the software architecture for our pen-based electronic whiteboard system, called Flatland. The design goal of Flatland is to support various activities on per...
151
click to vote
COMPSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
An important goal of automatic testing techniques, including random testing is to achieve high code coverage with a minimum set of test cases. To meet this goal, random testing res...