Sciweavers

5263 search results - page 599 / 1053
» Open Constraint Optimization
Sort
View
LPAR
2005
Springer
16 years 21 days ago
Incremental Integrity Checking: Limitations and Possibilities
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
Henning Christiansen, Davide Martinenghi
DSD
2003
IEEE
108views Hardware» more  DSD 2003»
16 years 14 days ago
Concurrent Operation Scheduling and Unit Allocation with an Evolutionary Technique
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
Gregor Papa, Jurij Silc
INFOCOM
2003
IEEE
16 years 14 days ago
On the Stability of Adaptive Routing in the Presence of Congestion Control
— Efficient use of network resources has long been an important problem for large-scale network operators. To this end, several recent research efforts have proposed automated m...
Eric Anderson, Thomas E. Anderson
ISCAS
2003
IEEE
119views Hardware» more  ISCAS 2003»
16 years 14 days ago
Simulated evolution algorithm for multiobjective VLSI netlist bi-partitioning
In this paper, the Simulated Evolution algorithm (SimE) is engineered to solve the optimization problem of multi-objective VLSI netlist bi-partitioning. The multi-objective versio...
Sadiq M. Sait, Aiman H. El-Maleh, Rush H. Al-Abuji
ISCAS
2003
IEEE
91views Hardware» more  ISCAS 2003»
16 years 14 days ago
SDP for multi-criterion QMF bank design
Quadraturemirror filter(QMF)bank with multi-criterion constraints suchas minimal aliasing and/or minimal error coding is amongthe most important problems in filter bank design, fo...
H. D. Tuan, L. H. Nam, H. Tuy, T. Q. Nguyen