9110 search results - page 207 / 1822 » Formally-Based Design Evaluation |
156
Voted
GLOBAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
146
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. An MPI library, called MPICH-PM/CLUMP, has been implemented on a cluster of SMPs. MPICH-PM/CLUMP realizes zero copy message passing between nodes while using one copy mes...
161
click to vote
ICNP
1998
IEEE
15 years 10 months ago
1998
IEEE
Quality-of-service (QoS) routing satisfiesapplication performance requirements and optimizes network resource usage but effective path-selection schemes require the distribution o...
184
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents experimental results comparing two different designs for a spoken language interface to email. We compare a mixed-initiative dialogue style, in which users can...
156
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...