3838 search results - page 601 / 768 » Techniques for Optimization of Net Algorithms |
COCO
2007
Springer
15 years 4 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
FPGA
2007
ACM
15 years 4 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
ICSM
2006
IEEE
15 years 4 months ago
2006
IEEE
The test case execution order affects the time at which the objectives of testing are met. If the objective is fault detection, an inappropriate execution order might reveal most ...
IEEEPACT
2006
IEEE
15 years 4 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
79
Voted
SIGECOM
2006
ACM
15 years 4 months ago
2006
ACM
Our proposed methods employ learning and search techniques to estimate outcome features of interest as a function of mechanism parameter settings. We illustrate our approach with ...