1299 search results - page 88 / 260 » On the Correctness of Operating System Kernels |
147
click to vote
JLP
2008
15 years 4 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
115
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: Nowadays, the design of so-called consistent time-stepping schemes that basically feature a physically correct time integration, is still a state-of-the-art topic in the area of ...
132
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
168
click to vote
ACL
2007
15 years 5 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
162
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...