1645 search results - page 36 / 329 » Early Evaluation of Design Options for Distributed Systems |
101
click to vote
DAC
1996
ACM
15 years 1 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
101
click to vote
TJS
2002
14 years 9 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
107
click to vote
PDC
2004
ACM
15 years 3 months ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
69
Voted
INTERACT
2003
14 years 11 months ago
2003
: This paper reports on a four-week study of the usage of myTeam, a prototype that provides availability awareness for distributed work groups through the use of sensor data. Autom...
CASCON
1996
14 years 11 months ago
1996
In today's distributed computing environments, users are makingincreasing demands on the systems, networks, and applications they use. Users are coming to expect performance,...