3053 search results - page 258 / 611 » Performance of Generative Programming Based Protocol Impleme... |
201
click to vote
PASTE
2005
ACM
16 years 5 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
202
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
183
click to vote
MOBILWARE
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. In this paper, we present Chapar, an event system designed for mobile ad hoc networks that supports the publish-subscribe model as well as pointto-point and point-to-mult...
166
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
Recent research has shown that server-driven protocols for achieving cache consistency in wide-area network services can perform significantly better than traditional consistency ...
150
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...