Sciweavers

2725 search results - page 375 / 545
» Constraint Solving for Interpolation
Sort
View
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 10 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
3DIM
2003
IEEE
15 years 9 months ago
Human Figure Reconstruction and Modeling from Single Image or Monocular Video Sequence
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...
Fabio Remondino, Andreas Roditakis
DATE
2003
IEEE
101views Hardware» more  DATE 2003»
15 years 9 months ago
Exploiting the Routing Flexibility for Energy/Performance Aware Mapping of Regular NoC Architectures
In this paper, we present an algorithm which automatically maps the IPs onto a generic regular Network on Chip (NoC) architecture and constructs a deadlock-free deterministic rout...
Jingcao Hu, Radu Marculescu
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
15 years 9 months ago
Power/Ground Mesh Area Optimization Using Multigrid-Based Technique
In this paper, we present a novel multigrid-based technique for power/ground mesh area optimization subject to reliability constraints. The multigrid-based technique is applied to...
Kai Wang, Malgorzata Marek-Sadowska
ICTAI
2003
IEEE
15 years 9 months ago
Engineering Optimization Using a Simple Evolutionary Algorithm
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...
Efrén Mezura-Montes, Carlos A. Coello Coell...