972 search results - page 161 / 195 » Reasoning with Conditional Time-Intervals |
122
click to vote
EUROSYS
2011
ACM
14 years 6 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
142
click to vote
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
130
click to vote
CSFW
2011
IEEE
14 years 2 months ago
2011
IEEE
—We present a statistical test for detecting information leaks in systems with continuous outputs. We use continuous mutual information to detect the information leakage from tri...
133
click to vote
JMLR
2012
13 years 5 months ago
2012
We study the problem of learning a group of principal tasks using a group of auxiliary tasks, unrelated to the principal ones. In many applications, joint learning of unrelated ta...
142
click to vote
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...