7393 search results - page 1182 / 1479 » Synthesis-for-testability using transformations |
122
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
We introduce I/O Brush, a new drawing tool aimed at young children, ages four and up, to explore colors, textures, and movements found in everyday materials by "picking up&qu...
122
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
When acquiring a target located on a different screen, multi-monitor users face a challenge: differences in resolution and vertical and horizontal offsets between screens cause th...
236
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
235
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
134
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
We study the problem of transforming a multichromosomal genome into another using Double-Cut-and-Join (DCJ) operations. We introduce the notion of DCJ scenario that does not break ...