4586 search results - page 349 / 918 » Computing stable models in parallel |
129
click to vote
HPCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Previous simulators for shared-memory architectures have imposed a large tradeoff between simulation accuracy and speed. Most such simulators model simple processors that do not e...
135
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
147
Voted
ENTCS
2010
15 years 4 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
133
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
163
click to vote
HPCA
2000
IEEE
15 years 9 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...