Sciweavers

1030 search results - page 177 / 206
» Partial Detectability Profiles
Sort
View
FPGA
2001
ACM
139views FPGA» more  FPGA 2001»
14 years 29 days ago
A memory coherence technique for online transient error recovery of FPGA configurations
The partial reconfiguration feature of some of the currentgeneration Field Programmable Gate Arrays (FPGAs) can improve dependability by detecting and correcting errors in onchip ...
Wei-Je Huang, Edward J. McCluskey
KI
2001
Springer
14 years 27 days ago
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
Stefan Edelkamp, Ulrich Meyer
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
14 years 22 days ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
SCALESPACE
1999
Springer
14 years 21 days ago
Nonlinear PDEs and Numerical Algorithms for Modeling Levelings and Reconstruction Filters
In this paper we develop partial differential equations (PDEs) that model the generation of a large class of morphological filters, the levelings and the openings/closings by rec...
Petros Maragos, Fernand Meyer
IPPS
1998
IEEE
14 years 21 days ago
Testing of Synchronization Conditions for Distributed Real-Time Applications
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...
Ajay D. Kshemkalyani