2861 search results - page 236 / 573 » Constraint Programming |
174
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
164
click to vote
ISCAS
2005
IEEE
16 years 2 days ago
2005
IEEE
— Program code size has become a critical design constraint of embedded systems. Large program codes require large memories, which increase the size and cost of the chip. Poor co...
136
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
— Some electric power markets allow bidders to specify constraints on ramp rates for increasing or decreasing power production. We show in a small example that a bidder could use...
167
click to vote
EPIA
2005
Springer
16 years 22 hour ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
283
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...