108 search results - page 13 / 22 » Directed Test Suite Augmentation |
117
Voted
COCOON
2005
Springer
15 years 7 months ago
2005
Springer
Genomic maps often do not specify the order within some groups of two or more markers. The synthesis of a master map from several sources introduces additional order ambiguity due ...
211
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
111
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
120
Voted
ICMAS
2000
15 years 3 months ago
2000
We present an auction-based approach to manufacturing control. Workpieces auction off their current task, while machines bid for tasks. When awarding a machine, a workpiece takes ...
80
Voted
JEA
2006
15 years 1 months ago
2006
Layered Manufacturing is a technology that allows physical prototypes of three-dimensional models to be built directly from their digital representation, as a stack of two-dimensi...