Sciweavers

2272 search results - page 143 / 455
» Validity Invariants and Effects
Sort
View
IEEEAMS
2003
IEEE
14 years 3 months ago
On Conditions for Self-Healing in Distributed Software Systems
This paper attempts to identify one of the necessary conditions for self-healing, or self-repair, in complex systems, and to propose means for satisfying this condition in heterog...
Naftaly H. Minsky
COCO
2001
Springer
122views Algorithms» more  COCO 2001»
14 years 2 months ago
Hausdorff Dimension in Exponential Time
In this paper we investigate effective versions of Hausdorff dimension which have been recently introduced by Lutz. We focus on dimension in the class E of sets computable in line...
Klaus Ambos-Spies, Wolfgang Merkle, Jan Reimann, F...
ICCAD
2000
IEEE
124views Hardware» more  ICCAD 2000»
14 years 2 months ago
A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis
— Memory is one of the most important components to be optimized in the several phases of the synthesis process. ioral synthesis, a memory is viewed as an abstract construct whic...
Gernot Koch, Taewhan Kim, Reiner Genevriere
ICCAD
2000
IEEE
132views Hardware» more  ICCAD 2000»
14 years 2 months ago
Frequency Domain Analysis of Switching Noise on Power Supply Network
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
Shiyou Zhao, Kaushik Roy, Cheng-Kok Koh
ICIP
2000
IEEE
14 years 2 months ago
Visual Optimization Tools in JPEG 2000
The human visual system plays a key role in the final perceived quality of the compressed images. It is therefore desirable to allow system designers and users to take advantage o...
Wenjun Zeng, Scott Daly, Shawmin Lei