7092 search results - page 355 / 1419 » Parallelizing constraint programs |
114
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
233
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
125
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
The widely used Mark-and-Sweep garbage collector has a drawback in that it does not move objects during collection. As a result, large long-running realistic applications, such as...
159
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Parallel computing is frequently used to speed up computationally expensive tasks in Bioinformatics. Results: Herein, a parallel version of the multi-alignment program...
159
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...