1399 search results - page 236 / 280 » Multi-party Finite Computations |
EUROSYS
2006
ACM
14 years 12 days ago
2006
ACM
This paper presents a connection handoff interface between the operating system and the network interface. Using this interface, the operating system can offload a subset of TCP c...
FORMATS
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
APLAS
2003
ACM
14 years 12 days ago
2003
ACM
We investigate how to automatically verify that resources such as files are not used improperly or unsafely by a program. We employ a mixture of compile-time analysis and run-time ...
SGP
2004
13 years 11 months ago
2004
In this paper, we initiate a study of shape description and classification via the application of persistent homology to tangential constructions on geometric objects. Our techniq...
AIPS
2010
13 years 11 months ago
2010
Factored planning methods aim to exploit locality to efficiently solve large but "loosely coupled" planning problems by computing solutions locally and propagating limit...