Sciweavers

3836 search results - page 88 / 768
» Optimizing the Use of High Performance Software Libraries
Sort
View
BMCBI
2005
114views more  BMCBI 2005»
15 years 3 months ago
Extension of Lander-Waterman theory for sequencing filtered DNA libraries
Background: The degree to which conventional DNA sequencing techniques will be successful for highly repetitive genomes is unclear. Investigators are therefore considering various...
Michael C. Wendl, W. Bradley Barbazuk
CODES
2007
IEEE
15 years 9 months ago
Locality optimization in wireless applications
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
Javed Absar, Min Li, Praveen Raghavan, Andy Lambre...
128
Voted
LCTRTS
1998
Springer
15 years 7 months ago
Automatic Accurate Time-Bound Analysis for High-Level Languages
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
Yanhong A. Liu, Gustavo Gomez
99
Voted
EUROMICRO
2005
IEEE
15 years 9 months ago
RSerPool - Providing Highly Available Services using Unreliable Servers
The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by mechanisms an...
Thomas Dreibholz, Erwin P. Rathgeb
FMICS
2007
Springer
15 years 9 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...