5692 search results - page 38 / 1139 » Challenges and Unsolved Problems |
EDBT
2008
ACM
14 years 8 months ago
2008
ACM
ng the abstract view of computing resources from the implementation of these resources of indirection between abstract view and implementation of resources - Hides implementation d...
ISCA
2009
IEEE
14 years 3 months ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
ACSC
2008
IEEE
14 years 3 months ago
2008
IEEE
The International Olympiad in Informatics is a worldwide contest for high school students, with a strong focus on creativity and ingenuity in algorithm design. Here we describe th...
VSTTE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Many problems in vision can be formulated as Bayesian inference. It is important to determine the accuracy of these inferences and how they depend on the problem domain. In recent...