833 search results - page 93 / 167 » mc 2007 |
154
click to vote
COMCOM
2007
15 years 6 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...
134
Voted
CADE
2007
Springer
16 years 6 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...
184
click to vote
ACSAC
2007
IEEE
16 years 12 days 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...
124
click to vote
AHS
2007
IEEE
16 years 12 days 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...
130
click to vote
AHS
2007
IEEE
16 years 12 days 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 ...