3909 search results - page 732 / 782 » Extreme Model Checking |
JSSPP
2004
Springer
14 years 3 months ago
2004
Springer
As we continue to evolve into large-scale parallel systems, many of them employing hundreds of computing engines to take on mission-critical roles, it is crucial to design those s...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— The success of a P2P file-sharing network highly depends on the scalability and versatility of its search mechanism. Two particularly desirable search features are scope (abil...
SAINT
2003
IEEE
14 years 3 months ago
2003
IEEE
The growth of the Internet has led to new avenues for distance education. A crucial factor for the success of distance education is effective mechanisms for distance evaluation. E...
SI3D
2003
ACM
14 years 3 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
Students are a wonderful resource for any department of a college or university, especially an ITS department. They are inexpensive and abundant. They want to work at strange time...