Sciweavers

2904 search results - page 196 / 581
» Valuing Design Repair
Sort
View
CP
2005
Springer
16 years 2 days ago
Robust Constraint Solving Using Multiple Heuristics
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
Alfio Vidotto, Kenneth N. Brown, J. Christopher Be...
CONCUR
2004
Springer
15 years 12 months ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
15 years 12 months ago
Figure of Merit Based Selection of A/D Converters
A new method for selecting analog to digital (A/D) converters based on a generic figure of merit is described. First a figure of merit is introduced that includes both specific...
Martin Vogels, Georges G. E. Gielen
FC
2003
Springer
133views Cryptology» more  FC 2003»
15 years 11 months ago
Secure Generalized Vickrey Auction Using Homomorphic Encryption
Combinatorial auctions have recently attracted the interest of many researchers due to their promising applications such as the spectrum auctions recently held by the FCC. In a com...
Koutarou Suzuki, Makoto Yokoo
GECCO
2003
Springer
15 years 11 months ago
Dynamic Maximum Tree Depth
We present a technique, designated as dynamic maximum tree depth, for avoiding excessive growth of tree-based GP individuals during the evolutionary process. This technique introdu...
Sara Silva, Jonas Almeida