Sciweavers

914 search results - page 101 / 183
» Analysis of Heuristic Synergies
Sort
View
74
Voted
ASM
2010
ASM
15 years 6 months ago
Alloy+HotCore: A Fast Approximation to Unsat Core
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
Nicolás D'Ippolito, Marcelo F. Frias, Juan ...
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
15 years 6 months ago
The Commit Size Distribution of Open Source Software
With the growing economic importance of open source, we need to improve our understanding of how open source software development processes work. The analysis of code contribution...
Oliver Arafat, Dirk Riehle
GECCO
2009
Springer
200views Optimization» more  GECCO 2009»
15 years 6 months ago
Optimization of the trading rule in foreign exchange using genetic algorithm
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
Akinori Hirabayashi, Claus de Castro Aranha, Hitos...
ISORC
2008
IEEE
15 years 6 months ago
Toward Effective Multi-Capacity Resource Allocation in Distributed Real-Time and Embedded Systems
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
Nilabja Roy, John S. Kinnebrew, Nishanth Shankaran...
RTSS
2008
IEEE
15 years 6 months ago
Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
Zheng Shi, Alan Burns