16725 search results - page 2696 / 3345 » Engineering Software Correctness |
229
click to vote
SPE
2002
15 years 6 months ago
2002
This study presents a practical solution for data collection and restoration to migrate a process written in high level stack-based languages such as C and Fortran over a network ...
181
click to vote
SSS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents Combine, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests,...
197
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
Path MTU Discovery (PMTUD) is widely believed to be unreliable because of firewalls that discard ICMP "Packet Too Big" messages. This paper measures PMTUD behaviour for ...
205
click to vote
NSDI
2010
15 years 5 months ago
2010
This paper proposes to exploit physical layer information towards improved rate selection in wireless networks. While existing schemes pick good transmission rates, this paper tak...
195
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...