Sciweavers

488 search results - page 24 / 98
» Weighted Logics for Traces
Sort
View
VTS
2000
IEEE
84views Hardware» more  VTS 2000»
15 years 4 months ago
ESIM: A Multimodel Design Error and Fault Simulator for Logic Circuits
ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of sim...
Hussain Al-Asaad, John P. Hayes
IEEEMSP
2002
IEEE
167views Multimedia» more  IEEEMSP 2002»
15 years 4 months ago
An experimental study on the performance of visual information retrieval similarity models
–This paper is an experimental study on the performance of the two major methods for macro-level similarity measurement: linear weighted merging and logical retrieval. Performanc...
Horst Eidenberger, Christian Breiteneder
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 3 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
LISP
2008
96views more  LISP 2008»
14 years 11 months ago
Dynamic slicing of lazy functional programs based on redex trails
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
Claudio Ochoa, Josep Silva, Germán Vidal
TVLSI
2010
14 years 6 months ago
A Reverse-Encoding-Based On-Chip Bus Tracer for Efficient Circular-Buffer Utilization
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
Fu-Ching Yang, Cheng-Lung Chiang, Ing-Jer Huang