1299 search results - page 220 / 260 » On the Correctness of Operating System Kernels |
151
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
170
Voted
TACAS
1998
Springer
15 years 9 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
294
click to vote
VMV
2008
15 years 7 months ago
2008
We present a semi-interactive system for advanced video processing and editing. The basic idea is to partially recover planar regions in object space and to exploit this minimal p...
152
click to vote
MICRO
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—Parameter variations have become a dominant challenge in microprocessor design. Voltage variation is especially daunting because it happens so rapidly. We measure and ch...
311
click to vote
SIGCOMM
2012
ACM
13 years 8 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...