Sciweavers

12950 search results - page 519 / 2590
» On Optimal Timed Strategies
Sort
View
ET
2002
90views more  ET 2002»
15 years 7 months ago
Test Wrapper and Test Access Mechanism Co-Optimization for System-on-Chip
Test access mechanisms (TAMs) and test wrappers are integral parts of a system-on-chip (SOC) test architecture. Prior research has concentrated on only one aspect of the TAM/wrappe...
Vikram Iyengar, Krishnendu Chakrabarty, Erik Jan M...
TCC
2010
Springer
141views Cryptology» more  TCC 2010»
15 years 5 months ago
Composition of Zero-Knowledge Proofs with Efficient Provers
We revisit the composability of different forms of zero-knowledge proofs when the honest prover strategy is restricted to be polynomial time (given an appropriate auxiliary input)...
Eleanor Birrell, Salil P. Vadhan
SIGMETRICS
2006
ACM
16 years 1 months ago
Optimizing transmission rate in wireless channels using adaptive probes
Abstract— We consider a wireless system with multiple channels where each channel is either on or off, and probing the state of any channel incurs a cost. We present a polynomial...
Sudipto Guha, Kamesh Munagala, Saswati Sarkar
ECCC
2010
82views more  ECCC 2010»
15 years 7 months ago
On optimal proof systems and logics for PTIME
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show t...
Yijia Chen, Jörg Flum
DAC
2007
ACM
16 years 8 months ago
SOC Test Architecture Optimization for Signal Integrity Faults on Core-External Interconnects
The test time for core-external interconnect shorts/opens is typically much less than that for core-internal logic. Therefore, prior work on test infrastructure design for core-ba...
Qiang Xu, Yubin Zhang, Krishnendu Chakrabarty