Sciweavers

DATE
2006
IEEE
78views Hardware» more  DATE 2006»
13 years 11 months ago
Wireless sensor networks and beyond
—Wireless Sensor Networks provide opportunities even outside their usual application domain of environmental monitoring. In this paper we present a case study on the use of Wirel...
Paul J. M. Havinga
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
13 years 11 months ago
On the numerical verification of probabilistic rewriting systems
Jounaïdi Ben Hassen, Sofiène Tahar
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
13 years 11 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
DATE
2006
IEEE
82views Hardware» more  DATE 2006»
13 years 11 months ago
Efficient assertion based verification using TLM
Ali Habibi, Sofiène Tahar, Amer Samarah, Do...
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
13 years 11 months ago
Efficient link capacity and QoS design for network-on-chip
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
Zvika Guz, Isask'har Walter, Evgeny Bolotin, Israe...
DATE
2006
IEEE
98views Hardware» more  DATE 2006»
13 years 11 months ago
Test generation for combinational quantum cellular automata (QCA) circuits
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...
Pallav Gupta, Niraj K. Jha, Loganathan Lingappan
DATE
2006
IEEE
71views Hardware» more  DATE 2006»
13 years 11 months ago
Quantifier structure in search based procedures for QBFs
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
DATE
2006
IEEE
120views Hardware» more  DATE 2006»
13 years 11 months ago
Soft delay error analysis in logic circuits
— In this paper, we present an analysis methodology to compute circuit node sensitivity due to charged particle induced delay (timing) errors, Soft Delay Errors (SDE). We define...
Balkaran S. Gill, Christos A. Papachristou, Franci...
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
13 years 11 months ago
A synthesis tool for power-efficient base-band filter design
V. Giannini, Pierluigi Nuzzo, Fernando De Bernardi...