9842 search results - page 1946 / 1969 » Compositional timing analysis |
IPL
2002
13 years 7 months ago
2002
An algorithm, described by Sedgewick, finds the distance between the closest pair of n given points in a plane using a variant of mergesort. This takes O(n log n) time. To prove t...
COMPUTER
1999
13 years 7 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
JAIR
1998
13 years 7 months ago
1998
Scheduling dialogs, during which people negotiate the times of appointments, are common in everyday life. This paper reports the results of an in-depth empirical investigation of ...
NAR
2002
13 years 7 months ago
2002
The Molecular Biology Database Collection is an online resource listing key databases of value to the biological community. This Collection is intended to bring fellow scientists&...
NAR
1998
13 years 7 months ago
1998
The RAD51 gene is a eukaryotic homolog of recA, a critical component in homologous recombination and DNA repair pathways in Escherichia coli. We have cloned the RAD51 homolog from...