2864 search results - page 366 / 573 » Constraint Programming in OPL |
117
click to vote
ISMIS
2003
Springer
15 years 8 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
133
click to vote
KBSE
1997
IEEE
15 years 7 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...
132
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...
115
Voted
ASPDAC
2008
ACM
15 years 5 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...
100
click to vote
ATAL
2008
Springer
15 years 5 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...