Sciweavers

419 search results - page 36 / 84
» Heuristic design of property maps
Sort
View
ECRTS
2006
IEEE
14 years 4 months ago
A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems
System robustness is a major concern in the design of efficient and reliable state-of-the-art heterogenous embedded real-time systems. Due to complex component interactions, reso...
Razvan Racu, Arne Hamann, Rolf Ernst
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
14 years 3 months ago
Power Constrained High-Level Synthesis of Battery Powered Digital Systems
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
S. F. Nielsen, Jan Madsen
ASPDAC
2007
ACM
132views Hardware» more  ASPDAC 2007»
14 years 1 months ago
Fast Decoupling Capacitor Budgeting for Power/Ground Network Using Random Walk Approach
- This paper proposes a fast and practical decoupling capacitor (decap) budgeting algorithm to optimize the power ground (P/G) network design. The new method adopts a modified rand...
Le Kang, Yici Cai, Yi Zou, Jin Shi, Xianlong Hong,...
GECCO
2000
Springer
112views Optimization» more  GECCO 2000»
14 years 1 months ago
Code Compaction Using Genetic Algorithms
One method for compacting executable computer code is to replace commonly repeated sequences of instructions with macro instructions from a decoding dictionary. The size of the de...
Keith E. Mathias, Larry J. Eshelman, J. David Scha...
SIAMCO
2000
138views more  SIAMCO 2000»
13 years 9 months ago
Adaptive Image Reconstruction Using Information Measures
We present a class of nonlinear adaptive image restoration filters which may be steered to preserve sharp edges and contrasts in the restorations. From a theoretical point of view ...
Ulrike Hermann, Dominikus Noll