10870 search results - page 1982 / 2174 » Model Checking Programs |
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
122
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
129
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
121
click to vote
IFIP
2007
Springer
15 years 8 months ago
2007
Springer
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
149
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...