Sciweavers

422 search results - page 53 / 85
» Incremental Detection of Model Inconsistencies Based on Mode...
Sort
View
ASPLOS
2010
ACM
16 years 23 days ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
APGV
2005
ACM
125views Visualization» more  APGV 2005»
15 years 11 months ago
Designing a tone mapping algorithm for road visibility experiments
In this paper, we propose a tone mapping operator based on a multiscale representation pattern and on thresholds of detection contrast computed for local adaptation luminances. Th...
Justine Grave, Roland Brémond
AGENTS
1997
Springer
15 years 10 months ago
Progressive Negotiation For Time-Constrained Autonomous Agents
We address in this paper a problem of autonomous agents performing in a common environment where each agent has its goal to achieve before a given deadline. Agents must be able to...
Abdel-Illah Mouaddib
MTDT
2000
IEEE
137views Hardware» more  MTDT 2000»
15 years 10 months ago
Diagnostic Testing of Embedded Memories Based on Output Tracing
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
Dirk Niggemeyer, Elizabeth M. Rudnick, Michael Red...
ITC
2000
IEEE
93views Hardware» more  ITC 2000»
15 years 10 months ago
Stuck-fault tests vs. actual defects
This paper studies some manufacturing test data collected for an experimental digital IC. Test results for a large variety of single-stuck fault based test sets are shown and comp...
Edward J. McCluskey, Chao-Wen Tseng