Sciweavers

3134 search results - page 227 / 627
» Computing full disjunctions
Sort
View
IPPS
2002
IEEE
15 years 8 months ago
A Recursion-Based Broadcast Paradigm in Wormhole Routed Mesh/Torus Networks
: A novel broadcast technique for wormhole-routed mesh and torus parallel computers based on recursion is presented in this paper. It works by partitioning the graph into several s...
Xiaotong Zhuang, Vincenzo Liberatore
126
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
A novel algorithm for incompressible flow using only a coarse grid projection
Large scale fluid simulation can be difficult using existing techniques due to the high computational cost of using large grids. We present a novel technique for simulating deta...
Michael Lentine, Wen Zheng, Ronald Fedkiw
139
Voted
GRAPHITE
2007
ACM
15 years 7 months ago
GPU-based shape from silhouettes
In this paper, we present a new method for surface-based shape reconstruction from a set of silhouette images. We propose to project the viewing cones from all viewpoints to the 3...
Sofiane Yous, Hamid Laga, Masatsugu Kidode, Kunihi...
134
Voted
CRYPTO
2006
Springer
125views Cryptology» more  CRYPTO 2006»
15 years 7 months ago
Automated Security Proofs with Sequences of Games
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
Bruno Blanchet, David Pointcheval
141
Voted
UMC
2000
15 years 7 months ago
In-vitro Transcriptional Circuits
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
Erik Winfree