Sciweavers

10304 search results - page 1662 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
ICS
2004
Tsinghua U.
16 years 6 days ago
Effective stream-based and execution-based data prefetching
With processor speeds continuing to outpace the memory subsystem, cache missing memory operations continue to become increasingly important to application performance. In response...
Sorin Iacobovici, Lawrence Spracklen, Sudarshan Ka...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 6 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
ISAAC
2004
Springer
106views Algorithms» more  ISAAC 2004»
16 years 6 days ago
Minimum Common String Partition Problem: Hardness and Approximations
String comparison is a fundamental problem in computer science, with applications in areas such as computational biology, text processing or compression. In this paper we address t...
Avraham Goldstein, Petr Kolman, Jie Zheng
CSB
2003
IEEE
135views Bioinformatics» more  CSB 2003»
16 years 4 days ago
Stepping Up the Pace of Discovery: the Genomes to Life Program
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
Marvin Frazier, David Thomassen, Aristides Patrino...
141
Voted
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
16 years 4 days ago
Beyond Mobile: Research Topics for upcoming Technologies in the Insurance Industry
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...
Christian D. Müller, Hans-Dieter Zimmermann
« Prev « First page 1662 / 2061 Last » Next »