2861 search results - page 366 / 573 » Constraint Programming |
118
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
With the increase of transistors integrated onto a chip, multi core processor architectures have attracted much attention to achieve high effective performance, shorten developmen...
125
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
108
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we present a mathematical programming formulation of the integer time budgeting problem for directed acyclic graphs. In particular, we formally prove that our constr...
98
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...
126
Voted
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Power dissipation is quickly becoming one of the most important limiters in nanometer IC design for leakage increases exponentially as the technology scaling down. However, power ...