1888 search results - page 296 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
151
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
GPS-enabled mobile devices are a quickly growing market and users are starting to share their location information with each other through services such as Google Latitude. Locati...
137
Voted
HIKM
2006
ACM
15 years 10 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
159
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
- We present a parallel conjugate gradient solver for the Poisson problem optimized for multi-GPU platforms. Our approach includes a novel heuristic Poisson preconditioner well sui...
174
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
152
click to vote
FC
2000
Springer
15 years 8 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...