Sciweavers

4072 search results - page 583 / 815
» Designing an Optimal Network Using the Cross-Entropy Method
Sort
View
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
15 years 7 months ago
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
Jordi Cortadella, Michael Kishinevsky, Steven M. B...
145
Voted
FQAS
2004
Springer
122views Database» more  FQAS 2004»
15 years 7 months ago
Simplification of Integrity Constraints with Aggregates and Arithmetic Built-Ins
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...
Davide Martinenghi
126
Voted
FMCAD
2008
Springer
15 years 5 months ago
Recording Synthesis History for Sequential Verification
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
Alan Mishchenko, Robert K. Brayton
135
Voted
ENGL
2006
170views more  ENGL 2006»
15 years 3 months ago
Hybrid Genetic Algorithms: A Review
Hybrid genetic algorithms have received significant interest in recent years and are being increasingly used to solve real-world problems. A genetic algorithm is able to incorporat...
Tarek A. El-Mihoub, Adrian A. Hopgood, Lars Nolle,...
181
Voted
ICCV
2011
IEEE
14 years 3 months ago
Image Based Detection of Geometric Changes in Urban Environments
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...
Aparna Taneja, Luca Ballan, Marc Pollefeys