6 search results - page 1 / 2 » Enforcing Textual Alignment of Collectives Using Dynamic Che... |
LCPC
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
DEXA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Sequence alignment is an important task for molecular biologists. Because alignment basically deals with approximate string matching on large biological sequence collecti...
POPL
2000
ACM
13 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
In this paper we study the problem of online aligning a newly arrived image to previously well-aligned images. Inspired by recent advances in batch image alignment using low rank ...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...