1569 search results - page 212 / 314 » Programming contest strategy |
104
Voted
ASPLOS
2009
ACM
15 years 7 months ago
2009
ACM
We describe a strategy for enabling existing commodity operating systems to recover from unexpected run-time errors in nearly any part of the kernel, including core kernel compone...
106
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
91
Voted
WEBDB
2009
Springer
15 years 7 months ago
2009
Springer
We demonstrate a program that can inspect a distributed relational database on the Internet to discover and quantify referential integrity issues for integration purposes. The pro...
81
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— The practical implementation of Min-Max MPC (MMMPC) controllers is limited by the computational burden required to compute the control law. This problem can be circumvented by ...
109
Voted
ICPP
2008
IEEE
15 years 7 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...