634 search results - page 68 / 127 » Completion Procedures as Semidecision Procedures |
149
click to vote
CISIS
2010
IEEE
15 years 11 months ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
166
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
— Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all...
144
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
155
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
122
click to vote
ICCSA
2003
Springer
15 years 11 months ago
2003
Springer
The aim of this paper is to develop a mathematical model with the ability to predict particle degradation during dilute phase pneumatic conveying. A numerical procedure, based on a...