5210 search results - page 846 / 1042 » Tools for Distributed Facilitation |
174
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
181
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
221
click to vote
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—Advances in Cloud computing enable new possibilities to Internet applications developers. Previously, the main concern of Internet applications developers was deployment and hos...
173
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
As a novel approach to software maintenance in large clusters of PCs requiring multiple OS installations we implemented partition cloning and partition repositories as well as a s...
144
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
Over the past decade, distributed computing necessitated a centralized support environment at most colleges and universities. This development has given campus computer users the ...