336 search results - page 42 / 68 » Interpolant Generation for UTVPI |
ISQED
2007
IEEE
14 years 1 months ago
2007
IEEE
Model order reduction plays a key role in determining VLSI system performance and the optimization of interconnects. In this paper, we develop an accurate and provably passive met...
FMCAD
2007
Springer
14 years 1 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
One of the key aspects in 3D-image registration is the computation of the joint intensity histogram. We propose a new approach to compute this histogram using uniformly distribute...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper presents a new fast and local method of 3D surface reconstruction for scattered data. The algorithm makes use of quasiinterpolants to compute the control point...