1611 search results - page 59 / 323 » A Library for Self-Adjusting Computation |
124
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
135
click to vote
PVM
2005
Springer
15 years 10 months ago
2005
Springer
We present design and implementation details as well as performance results for two new parallel checkpointing libraries developed by us for parallel MPI applications. The first o...
120
click to vote
CC
2006
Springer
15 years 8 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
126
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: GenBank flatfile (GBF) format is one of the most popular sequence file formats because of its detailed sequence features and ease of readability. To use the data in th...
136
click to vote
ERCIMDL
1999
Springer
15 years 8 months ago
1999
Springer
Resource discovery in a distributed digital library poses many challenges, one of which is how to choose search engines for query distribution, given a query and a set of search e...