13734 search results - page 222 / 2747 » Abstractions of data types |
148
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
177
click to vote
POS
1994
Springer
15 years 9 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
165
click to vote
NAR
2011
14 years 8 months ago
2011
Stem cell biology has experienced explosive growth over the past decade as researchers attempt to generate therapeutically relevant cell types in the laboratory. Recapitulation of...
172
Voted
BMCBI
2007
2007
Application of amino acid occurrence for discriminating different folding types of globular proteins
15 years 5 months ago
Background: Predicting the three-dimensional structure of a protein from its amino acid sequence is a long-standing goal in computational/molecular biology. The discrimination of ...
136
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...