Sciweavers

933 search results - page 65 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
113
Voted
EUROGP
2001
Springer
124views Optimization» more  EUROGP 2001»
15 years 5 months ago
An Evolutionary Approach to Automatic Generation of VHDL Code for Low-Power Digital Filters
An evolutionary algorithm is used to design a finite impulse response digital filter with reduced power consumption. The proposed design approach combines genetic optimization an...
Massimiliano Erba, Roberto Rossi, Valentino Libera...
COOPIS
1994
IEEE
15 years 4 months ago
Query Translation Supporting the Migration of Legacy Databases into Cooperative Information Systems
In this paper, we present a query translation algorithm which allows object-oriented queries to be automatically translated into a relational query language. Our goal is to provid...
Daniel A. Keim, Hans-Peter Kriegel, Andreas Mieths...
AMR
2006
Springer
137views Multimedia» more  AMR 2006»
15 years 4 months ago
A General Principled Method for Image Similarity Validation
A novel and general criterion for image similarity validation is introduced using the so-called a contrario decision framework. It is mathematically proved that it is possible to c...
Frédéric Cao, Patrick Bouthemy
ESOP
2006
Springer
15 years 4 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 4 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello