1888 search results - page 348 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
118
click to vote
CSCW
2004
ACM
15 years 8 months ago
2004
ACM
Although telepointers are valuable for supporting real-time collaboration, they are rarely seen in commercial groupware applications that run on the Internet. One reason for their...
154
click to vote
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
126
click to vote
HPDC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we describe the integration of dynamic right-sizing — an automatic and scalable buffer management technique for enhancing TCP performance — into GridFTP, a sub...
104
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
131
Voted
CLUSTER
2006
IEEE
15 years 2 months ago
2006
IEEE
The Linux cluster considered in this paper, formed from shuttle box XPC nodes with 2 GHz Athlon processors connected by dual Gb Ethernet switches, is relatively easily constructed...