5210 search results - page 905 / 1042 » Tools for Distributed Facilitation |
DSN
2000
IEEE
15 years 2 months ago
2000
IEEE
Group communication systems are proven tools upon which to build fault-tolerant systems. As the demands for fault-tolerance increase and more applications require reliable distrib...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
101
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
SIGCSE
2000
ACM
15 years 2 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
CAV
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...