797 search results - page 118 / 160 » Eliminating Proofs from Programs |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we describe how inverse space-filling curve partitioning is used to increase the simulation rate of a global ocean model. Space-filling curve partitioning allows ...
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper extends the traditional socket interface to TCP/IP communication with the ability to seek rather than simply receive data in order. Seeking on a TCP socket allows a use...
CNSR
2005
IEEE
14 years 3 months ago
2005
IEEE
Although many multicast communication protocols have been recommended at IETF, reliable multicast communications currently rely on programs built at the application layer, e.g., m...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Large message latencies often lead to poor performance of parallel applications. In this paper, we investigate a latency-tolerating technique that immediately releases all blocking...
WECWIS
2003
IEEE
14 years 3 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...