3224 search results - page 614 / 645 » Abstract Error Projection |
126
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
138
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
149
click to vote
SOSP
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents the design and an evaluation of Mondrix, a version of the Linux kernel with Mondriaan Memory Protection (MMP). MMP is a combination of hardware and software th...
149
click to vote
RECOMB
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
181
click to vote
PERCOM
2009
ACM
15 years 12 months ago
2009
ACM
Abstract—The extensive recent research in protocols development for wireless networks must be complemented with simple yet efficient prototyping and evaluation mechanism. MiNT-2...