10182 search results - page 246 / 2037 » Case Studies |
172
click to vote
IWFM
1998
15 years 8 months ago
1998
The issue of correctness in the context of a certain style of program transformation is investigated. This style is characterised by the fully automated application of large numbe...
153
click to vote
SODA
1998
ACM
15 years 8 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
166
click to vote
WSC
1998
15 years 8 months ago
1998
In this paper, we propose two speculation-based methods for fast and accurate simulation-based performance and dependability analysis of complex systems, incorporating detailed si...
171
click to vote
WSC
1998
15 years 8 months ago
1998
The application of simulation as a performance estimation tool in automated material handling system design is well documented, as is the amount of time required to build, debug, ...
174
click to vote
WSC
1998
15 years 8 months ago
1998
Based on the DIS result, the HLA framework has been defined to achieve interoperability of independent simulators. Concurrently, and for the most part, independent of that effort,...