Sciweavers

1010 search results - page 131 / 202
» Logics for Contravariant Simulations
Sort
View
BIOADIT
2006
Springer
14 years 1 months ago
Proposal and Evaluation of a Cooperative Mechanism for Pure P2P File Sharing Networks
To provide application-oriented network services, a variety of overlay networks are deployed over physical IP networks. Since they share and compete for the same physical network r...
Junjiro Konishi, Naoki Wakamiya, Masayuki Murata
DFT
2004
IEEE
118views VLSI» more  DFT 2004»
14 years 1 months ago
Defect Characterization for Scaling of QCA Devices
Quantum dot Cellular Automata (QCA) is amongst promising new computing scheme in the nano-scale regimes. As an emerging technology, QCA relies on radically different operations in...
Jing Huang, Mariam Momenzadeh, Mehdi Baradaran Tah...
FDTC
2006
Springer
117views Cryptology» more  FDTC 2006»
14 years 1 months ago
DPA on Faulty Cryptographic Hardware and Countermeasures
Abstract. Balanced gates are an effective countermeasure against power analysis attacks only if they can be guaranteed to maintain their power balance. Traditional testing and reli...
Konrad J. Kulikowski, Mark G. Karpovsky, Alexander...
DAC
1995
ACM
14 years 1 months ago
Multi-way Partitioning for Minimum Delay for Look-Up Table Based FPGAs
In this paper we present a set cover based approach (SCP) to multi-way partitioning for minimum delay for Look-Up Table based FPGAs. SCP minimizes the number of chip-crossings on ...
Prashant Sawkar, Donald E. Thomas
AISC
2008
Springer
13 years 11 months ago
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
Lucas Dixon, Ross Duncan