3028 search results - page 555 / 606 » Adaptive Novice Supporter |
HPCA
2006
IEEE
16 years 5 days ago
2006
IEEE
We propose dynamic scheduler designs to improve the scheduler scalability and reduce its complexity in the SMT processors. Our first design is an adaptation of the recently propos...
CHI
2003
ACM
16 years 5 days ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
105
click to vote
CADE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
193
click to vote
VLDB
2007
ACM
16 years 1 days ago
2007
ACM
Similarity-based search over time-series databases has been a hot research topic for a long history, which is widely used in many applications, including multimedia retrieval, dat...
176
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...