833 search results - page 93 / 167 » mc 2007 |
COMCOM
2007
13 years 9 months ago
2007
Path probing is essential to maintaining an efficient overlay network topology. However, the cost of a full-scale probing is as high as O(n2 ), which is prohibitive in large-scale...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
We present a method for proving rigid first order theorems by encoding them as propositional satisfiability problems. We encode the existence of a first order connection tableau an...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
Usability is the weakest link in the security chain of many prominent applications. A set of security usability principles should therefore be considered when designing and engine...
AHS
2007
IEEE
14 years 3 months ago
2007
IEEE
We present the initial results from the FHPCA Supercomputer project at the University of Edinburgh. The project has successfully built a general-purpose 64 FPGA computer and porte...
AHS
2007
IEEE
14 years 3 months ago
2007
IEEE
We describe the FPGA HPC Alliance’s Parallel Toolkit (PTK), an initial step towards the standardization of high-level configuration and APIs for high-performance reconfigurable ...