7526 search results - page 1360 / 1506 » The Design and Implementation of the A2QM3 System |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
This paper describes an application framework for providing and managing personalized, interactive video on the web. The application framework enables content providers and aggreg...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
Suppose a long-running analytical query is executing on a database server and has been allocated a large amount of physical memory. A high-priority task comes in and we need to ru...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
IWMM
2009
Springer
14 years 3 months ago
2009
Springer
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...