1569 search results - page 212 / 314 » Programming contest strategy |
ASPLOS
2009
ACM
14 years 3 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...
ESOP
2009
Springer
14 years 3 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...
WEBDB
2009
Springer
14 years 3 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...
CDC
2008
IEEE
14 years 3 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 ...
ICPP
2008
IEEE
14 years 3 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...