1607 search results - page 116 / 322 » The existence of k-radius sequences |
MTV
2006
IEEE
14 years 4 months ago
2006
IEEE
—Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we nee...
COMPSAC
2005
IEEE
14 years 4 months ago
2005
IEEE
Many approaches exist to decide the order in which classes should be integrated during (integration) testing. Most of them, based on an analysis of class dependencies (for instanc...
ICCSA
2005
Springer
14 years 4 months ago
2005
Springer
We discuss the deletion of a single vertex in a Delaunay tetrahedralization (DT). While some theoretical solutions exist for this problem, the many degeneracies in three dimensions...
ICALP
2004
Springer
14 years 4 months ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
ER
2003
Springer
14 years 4 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...