6554 search results - page 948 / 1311 » Constraint Logic Programming |
141
Voted
SCOPES
2005
Springer
15 years 11 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
135
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
172
click to vote
KBSE
1997
IEEE
15 years 10 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...
145
click to vote
ASPDAC
2008
ACM
15 years 8 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...
137
click to vote
ATAL
2008
Springer
15 years 8 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...