12981 search results - page 2504 / 2597 » Model Checking and Abstraction |
119
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
122
click to vote
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
Jeannette Wing’s call for teaching Computational Thinking (CT) as a formative skill on par with reading, writing, and arithmetic places computer science in the category of basic...
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Super-resolution is the art of creating nice high-resolution raster images from given low-resolution raster images. Since “nice” is not a well-defined term in mathematics and ...
136
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
139
click to vote
KDD
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we introduce a system named Argo which provides intelligent advertising made possible from users’ photo collections. Based on the intuition that user-generated ph...