2662 search results - page 498 / 533 » Objects-early tools: a demonstration |
CHI
2002
ACM
15 years 10 months ago
2002
ACM
The Open Video Project is an on-going effort to develop an open source digital video collection that can be used by the research community and ultimately serve an even broader aud...
167
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
187
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
RECOMB
2004
Springer
15 years 10 months ago
2004
Springer
The challenge of similarity search in massive DNA sequence databases has inspired major changes in BLAST-style alignment tools, which accelerate search by inspecting only pairs of...
OSDI
2002
ACM
15 years 10 months ago
2002
ACM
This paper shows how to quickly move the state of a running computer across a network, including the state in its disks, memory, CPU registers, and I/O devices. We call this state...