7393 search results - page 1211 / 1479 » Synthesis-for-testability using transformations |
157
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
We present initial work on perturbation techniques that cause the manifestation of timing-related bugs in distributed memory Message Passing Interface (MPI)-based applications. Th...
146
Voted
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
Digital Libraries have many forms – institutional libraries for information dissemination, document repositories for recordkeeping, and personal digital libraries for organizing...
134
click to vote
MM
2006
ACM
15 years 10 months ago
2006
ACM
A large number of videos cannot be visualized on mobile devices (e.g., PDAs or mobile phones) due to an inappropriate color depth of the displays. Important details are lost if th...
114
Voted
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Tiling has proven to be an effective mechanism to develop high performance implementations of algorithms. Tiling can be used to organize computations so that communication costs i...
121
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Several different techniques and softwares intend to improve the accuracy of results computed in a fixed finite precision. Here we focus on a method to improve the accuracy of ...