5090 search results - page 770 / 1018 » Constructing Strategies for Programming |
153
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
173
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
219
click to vote
ILP
2007
Springer
16 years 22 days ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
148
click to vote
ICSEA
2006
IEEE
16 years 19 days ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
182
click to vote
WCRE
2006
IEEE
16 years 18 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...