7167 search results - page 987 / 1434 » Answer Set Programming |
136
click to vote
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
126
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
135
click to vote
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
137
click to vote
ATMOS
2007
15 years 5 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
127
click to vote
ATMOS
2007
15 years 5 months ago
2007
In this paper we study a general formulation of the train platforming problem, which contains as special cases all the versions previously considered in the literature as well as a...