2943 search results - page 360 / 589 » Software Implementation of Synchronous Programs |
117
click to vote
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
119
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
160
click to vote
UIST
1999
ACM
15 years 7 months ago
1999
ACM
Freehand sketching has long had appeal as an artistic medium for conceptual design because of its immediacy in capturing and communicating design intent and visual experience. We ...
113
click to vote
PASTE
1998
ACM
15 years 7 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
126
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...