3836 search results - page 469 / 768 » Optimizing the Use of High Performance Software Libraries |
168
Voted
SIGMETRICS
2005
ACM
15 years 11 months ago
2005
ACM
To bridge the increasing processor-disk performance gap, buffer caches are used in both storage clients (e.g. database systems) and storage servers to reduce the number of slow di...
176
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
Protein sequence alignments are more reliable the shorter the evolutionary distance. Here, we align distantly related proteins using many closely spaced intermediate sequences as ...
153
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
150
Voted
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
183
Voted
DAC
2006
ACM
16 years 7 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...