10870 search results - page 1895 / 2174 » Model Checking Programs |
153
click to vote
VIIP
2001
15 years 8 months ago
2001
Abstract. Our research team is developing a computer construction game called VirtualPrismaker based on the physical game Prismakertm . We have had to deal with all typical and ess...
194
click to vote
UAI
2004
15 years 8 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
169
click to vote
WSC
2001
15 years 8 months ago
2001
Supply chain decisions are improved with access to global information. However, supply chain partners are frequently hesitant to provide full access to all the information within ...
159
click to vote
WSC
1998
15 years 8 months ago
1998
LABATCH.2 is a collection of computer programs available in C, FORTRAN, and SIMSCRIPT II.5 by anonymous ftp, at http://www.or.unc.edu/gfish/labatch.2.html. It performs statistical...
174
click to vote
WSC
1998
15 years 8 months ago
1998
Most features in commercial simulation packages are often omitted in parallel simulation benchmarks, because they neither affect the overall correctness of the simulation protocol...