3441 search results - page 590 / 689 » Parallel Logic Programming Systems |
132
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: There is an increasing demand to assemble and align large-scale biological sequence data sets. The commonly used multiple sequence alignment programs are still limited...
121
Voted
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
The ability to perform long, accurate molecular dynamics (MD) simulations involving proteins and other biological macromolecules could in principle provide answers to some of the ...
148
Voted
SPAA
2012
ACM
13 years 4 months ago
2012
ACM
hyperobjects (reducers) provide a linguistic abstraction for dynamic multithreading that allows different branches of a parallel program to maintain coordinated local views of the...
133
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
142
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...