Sciweavers

3281 search results - page 420 / 657
» Bases for parametrized iterativity
Sort
View
209
Voted
WORDS
2003
IEEE
15 years 12 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
IMR
2003
Springer
15 years 12 months ago
Fully Automatic Adaptive Mesh Refinement Integrated into the Solution Process
Finite element analysts and designers need to feel confident in the results of their analyses before sending a product to prototype or production. Mesh discretization can greatly ...
Joseph R. Tristano, Zhijian Chen, D. Alfred Hancq,...
DATE
2010
IEEE
124views Hardware» more  DATE 2010»
15 years 11 months ago
On the construction of guaranteed passive macromodels for high-speed channels
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...
Alessandro Chinea, Stefano Grivet-Talocia, Dirk De...
DATE
2002
IEEE
102views Hardware» more  DATE 2002»
15 years 11 months ago
Improving Placement under the Constant Delay Model
In this paper, we show that under the constant delay model the placement problem is equivalent to minimizing a weighted sum of wire lengths. The weights can be efficiently compute...
Kolja Sulimma, Wolfgang Kunz, Ingmar Neumann, Luka...
DATE
2002
IEEE
79views Hardware» more  DATE 2002»
15 years 11 months ago
Incremental Diagnosis and Correction of Multiple Faults and Errors
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified a...
Andreas G. Veneris, Jiang Brandon Liu, Mandana Ami...