Sciweavers

223 search results - page 23 / 45
» New methods and coverage metrics for functional verification
Sort
View
ETS
2011
IEEE
220views Hardware» more  ETS 2011»
12 years 8 months ago
Structural In-Field Diagnosis for Random Logic Circuits
—In-field diagnosability of electronic components in larger systems such as automobiles becomes a necessity for both customers and system integrators. Traditionally, functional ...
Alejandro Cook, Melanie Elm, Hans-Joachim Wunderli...
IJSNET
2006
217views more  IJSNET 2006»
13 years 8 months ago
Optimal sleep scheduling with transmission range assignment in application-specific wireless sensor networks
: To extend the functional lifetime of battery-operated Wireless Sensor Networks (WSNs), stringent sleep scheduling strategies with communication duty cycles running at sub-1% rang...
Rick W. Ha, Pin-Han Ho, Xuemin Shen
FLOPS
2008
Springer
13 years 10 months ago
Termination of Narrowing in Left-Linear Constructor Systems
Narrowing extends rewriting with logic capabilities by allowing free variables in terms and replacing matching with unification. Narrowing has been widely used in different context...
Germán Vidal
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
14 years 1 months ago
A systematic approach to the test of combined HW/SW systems
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
Alexander Krupp, Wolfgang Müller 0003
FLAIRS
2000
13 years 10 months ago
Fundamental Properties of the Core Matching Functions for Information Retrieval
Traditional benchmarking methods for information retrieval (IR) are based on experimental performance evaluation. Although the metrics precision and recall can measure the perform...
Dawei Song, Kam-Fai Wong, Peter Bruza, Chun Hung C...