10715 search results - page 1923 / 2143 » From Tests to Proofs |
165
click to vote
OTM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
182
click to vote
ASSETS
2004
ACM
16 years 2 days ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
192
click to vote
SIGIR
2004
ACM
16 years 2 days ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
159
click to vote
SIGMETRICS
2004
ACM
16 years 2 days ago
2004
ACM
The problem of estimating the capacity of an Internet path is one of fundamental importance. Due to the multitude of potential applications, a large number of solutions have been ...
173
click to vote
ASIAN
2004
Springer
16 years 1 days ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...