Sciweavers

419 search results - page 36 / 84
» Heuristic design of property maps
Sort
View
ECRTS
2006
IEEE
15 years 5 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»
15 years 5 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»
15 years 3 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»
15 years 3 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»
14 years 11 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