3082 search results - page 513 / 617 » its 2004 |
261
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
133
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
123
click to vote
KDD
2004
ACM
16 years 4 months ago
2004
ACM
We describe the TiVo television show collaborative recommendation system which has been fielded in over one million TiVo clients for four years. Over this install base, TiVo curre...
126
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The utility of a handheld device is often constrained by the battery life, particularly with recent usage patterns where the device is likely to be powered on at all times. The di...
220
click to vote
VLDB
2004
ACM
16 years 4 months ago
2004
ACM
Ranking queries produce results that are ordered on some computed score. Typically, these queries involve joins, where users are usually interested only in the top-k join results....