4075 search results - page 606 / 815 » Modeling Distributed Algorithm Using B |
173
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
The existing techniques for shot partitioning either process each shot boundary independently or proceed sequentially. The sequential process assumes the last shot boundary is cor...
166
click to vote
GCB
1997
Springer
15 years 10 months ago
1997
Springer
Motivation: Database search programs such as FASTA, BLAST or a rigorous Smith–Waterman algorithm produce lists of database entries, which are assumed to be related to the query....
162
click to vote
PDPTA
2003
15 years 8 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
177
click to vote
DEDS
2006
15 years 6 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
171
click to vote
SENSYS
2005
ACM
16 years 4 days ago
2005
ACM
Radio duty cycling has received significant attention in sensor networking literature, particularly in the form of protocols for medium access control and topology management. Whi...