1224 search results - page 177 / 245 » Design and Implementation of a Practical Parallel Delaunay A... |
160
click to vote
USS
2010
15 years 1 months ago
2010
Secure multiparty computation (MPC) allows joint privacy-preserving computations on data of multiple parties. Although MPC has been studied substantially, building solutions that ...
FMICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
119
click to vote
IEEEARES
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
124
click to vote
IWQOS
2005
Springer
15 years 9 months ago
2005
Springer
Network coding has been recently proposed in information theory as a new dimension of the information multicast problem that helps achieve optimal transmission rate or cost. End ho...
164
click to vote
SIPS
2008
IEEE
15 years 10 months ago
2008
IEEE
Low-density parity-check (LDPC) codes on par with convolutional turbo codes (CTC) are two of the most powerful error correction codes known to perform very close to the Shannon li...