4880 search results - page 653 / 976 » Manuals as Structured Programs |
181
click to vote
HPCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Automated online search is a powerful technique for performance diagnosis. Such a search can change the types of experiments it performs while the program is running, mak...
177
click to vote
WEA
2005
Springer
16 years 7 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
128
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
167
click to vote
ESOP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
204
click to vote
COOPIS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...