7092 search results - page 581 / 1419 » Parallelizing constraint programs |
120
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
149
Voted
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We investigate reference counting in the context of a multithreaded architecture by exploiting two observations: (1) reference-counting can be performed by a transformed program s...
146
click to vote
JCS
2007
15 years 4 months ago
2007
We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched wi...
124
click to vote
SIMULATION
2002
15 years 4 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
154
click to vote
TPDS
1998
15 years 4 months ago
1998
—In this paper, we introduce a runtime, nontrace-based algorithm to compute the critical path profile of the execution of message passing and shared-memory parallel programs. Our...