53 search results - page 11 / 11 » dam 2010 |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Tree-based protocols are ubiquitous in distributed systems. They are flexible, they perform generally well, and, in static conditions, their analysis is mostly simple. Under churn...
BMCBI
2010
2010
On the use of resampling tests for evaluating statistical significance of binding-site co-occurrence
13 years 4 months ago
Background: In eukaryotes, most DNA-binding proteins exert their action as members of large effector complexes. The presence of these complexes are revealed in high-throughput gen...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...