17770 search results - page 260 / 3554 » A Generalization of Forward-Backward Algorithm |
198
click to vote
ENTCS
2006
15 years 7 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
152
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
182
click to vote
SIGCSE
2005
ACM
16 years 20 days ago
2005
ACM
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
190
click to vote
COMPGEOM
2006
ACM
16 years 1 months ago
2006
ACM
We describe an implementation of a compact parallel algorithm for 3D Delaunay tetrahedralization on a 64-processor shared-memory machine. Our algorithm uses a concurrent version o...
205
click to vote
PPOPP
2005
ACM
16 years 20 days ago
2005
ACM
We want to perform compile-time analysis of an SPMD program and place barriers in it to synchronize it correctly, minimizing the runtime cost of the synchronization. This is the b...