4586 search results - page 703 / 918 » Computing stable models in parallel |
128
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
127
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
143
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
215
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
We present a novel design and implementation of relational join algorithms for new-generation graphics processing units (GPUs). The most recent GPU features include support for wr...
192
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We present a real-time algorithm to estimate the 3D
pose of a previously unseen face from a single range im-
age. Based on a novel shape signature to identify noses in
range ima...