4586 search results - page 203 / 918 » Computing stable models in parallel |
151
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
174
click to vote
HPCN
2000
Springer
15 years 7 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
67
Voted
PODC
1987
ACM
15 years 7 months ago
1987
ACM
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
154
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Next-generation sequencing technologies have led to the high-throughput production of sequence data (reads) at low cost. However, these reads are significantly shorter...
226
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...