1092 search results - page 100 / 219 » aime 2009 |
88
Voted
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
74
Voted
ALT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The paper considers the problem of semi-supervised multiview classification, where each view corresponds to a Reproducing Kernel Hilbert Space. An algorithm based on co-...
85
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
78
Voted
PEPM
2009
ACM
15 years 7 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
ACIIDS
2009
IEEE
15 years 5 months ago
2009
IEEE
—Bandwidth allocation is a fundamental problem in communication networks. With current network moving towards the Future Internet model, the problem is further intensified as net...