575 search results - page 63 / 115 » Techniques for Efficient Processing in Runahead Execution En... |
112
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
In order to become an effective complement to traditional Web-scale text-based image retrieval solutions, content-based image retrieval must address scalability and efficiency iss...
131
click to vote
FATES
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
175
click to vote
SIGMOD
2007
ACM
16 years 1 months ago
2007
ACM
We introduce scalability for computer games as the next frontier for techniques from data management. A very important aspect of computer games is the artificial intelligence (AI)...
123
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: High-throughput molecular biology provides new data at an incredible rate, so that the increase in the size of biological databanks is enormous and very rapid. This sc...
141
click to vote
PTS
2008
15 years 2 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...