1299 search results - page 39 / 260 » On the Correctness of Operating System Kernels |
120
click to vote
USENIX
2003
15 years 5 months ago
2003
This paper proposes two mechanisms for reducing the communication-related overheads of Web applications. One mechanism is user-level connection tracking, which allows an applicati...
162
click to vote
SOSP
2005
ACM
16 years 26 days ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
112
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a new approach to accurate and reliable dead-reckoning with mobile robots. The approach makes use of special properties of our recently developed Multi-Degreeo...
132
click to vote
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
132
click to vote
TPDS
2002
15 years 3 months ago
2002
Multiprocessor architectures demand efficient interprocessor communication to maximize system utilization and performance. To meet future demands, these interconnects must communic...