1518 search results - page 127 / 304 » Cryptographic Test Correction |
146
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
119
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Periodic phenomena are widespread in biology. The problem of finding periodicity in biological time series can be viewed as a multiple hypothesis testing of the spectr...
135
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
137
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
130
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper presents a learning theoretical analysis of correlation clustering (Bansal et al., 2002). In particular, we give bounds on the error with which correlation clustering r...