9110 search results - page 336 / 1822 » Formally-Based Design Evaluation |
208
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The online discussion forum is the main mode of interaction for Web-based learning. Existing online instructional management systems contain primitive discussion tools that do lit...
162
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper sketches the design, and presents a scalability analysis and evaluation of NLS, a scalable naming and location service. NLS resolves textual names to the nearest of a s...
165
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
151
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
The SHRIMP cluster-computing system has progressed to a point of relative maturity; a variety of applications are running on a 16-node system. We have enough experience to underst...
151
click to vote
WSC
2008
15 years 9 months ago
2008
This research presents optimized maintenance design using simulation to analyze the capability of auto part manufacturing production system. The integration of simulation and opti...