Sciweavers

3395 search results - page 217 / 679
» Designs, Disputes and Strategies
Sort
View
DAC
2002
ACM
16 years 7 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
CHI
2009
ACM
16 years 7 months ago
Towards human-centered support for indoor navigation
This paper presents a new perspective for the design of indoor navigation support. In contrast to technology oriented approaches coming from Context Awareness research, we argue f...
Leonardo Ramirez, Sebastian Denef, Tobias Dyrks
GLOBECOM
2007
IEEE
16 years 28 days ago
Distributed Control Plane for 4D Architecture
—We explore the design of a logically centralized but physically distributed control plane for 4D architecture. 4D architecture proposes centralization of network-wide decision m...
Hammad Iqbal, Taieb Znati
CHES
2007
Springer
94views Cryptology» more  CHES 2007»
16 years 24 days ago
MAME: A Compression Function with Reduced Hardware Requirements
This paper describes a new compression function, MAME designed for hardware-oriented hash functions which can be used in applications reduced hardware requirements. MAME takes a 25...
Hirotaka Yoshida, Dai Watanabe, Katsuyuki Okeya, J...
FCCM
2006
IEEE
106views VLSI» more  FCCM 2006»
16 years 20 days ago
Defect-Tolerant Nanocomputing Using Bloom Filters
We propose a novel defect-tolerant design methodology using Bloom filters for defect mapping for nanoscale computing devices. It is a general approach that can be used for any pe...
Gang Wang, Wenrui Gong, Ryan Kastner