7082 search results - page 1161 / 1417 » A framework for mobile evaluation |
150
click to vote
HPCA
2003
IEEE
16 years 7 months ago
2003
IEEE
Thread-level speculation provides architectural support to aggressively run hard-to-analyze code in parallel. As speculative tasks run concurrently, they generate unsafe or specul...
180
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Human?computer interaction (HCI) is undergoing a paradigm change towards interaction that is contextually adapted to rich use situations taking place "beyond the desktop"...
156
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Peptide mass fingerprinting is a technique to identify a protein from its fragment masses obtained by mass spectrometry after enzymatic digestion. Recently, much attentio...
151
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
299
click to vote
VLDB
2006
ACM
16 years 6 months ago
2006
ACM
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...