1299 search results - page 104 / 260 » On the Correctness of Operating System Kernels |
129
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
132
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the performance improvements and the energy reductions by coupling a highperformance coarse-grained reconfigurable data-path with a microprocessor in a generic...
142
Voted
HAPTICS
2007
IEEE
15 years 11 months ago
2007
IEEE
In teleoperation systems, link flexion results in kinematic errors, such that the position mapping between the master motion and slave motion is not correct. For haptic feedback ...
123
click to vote
SAS
1994
Springer
15 years 8 months ago
1994
Springer
We definea novelinference systemfor strictness andtotality analysisfor the simplytyped lazy lambda-calculus with constants and fixpoints. Strictness information identifies those t...
123
click to vote
USS
2004
15 years 5 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...