4930 search results - page 308 / 986 » Testing a Safety-Critical Application |
150
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a robust adaptive goodness-of-fit (GOF) χ2 test event detector for non-intrusive load monitoring applications. We derive a closed form for the decision thres...
208
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The recently presented recursive least squares dictionary learning algorithm (RLS-DLA) is tested in a general image compression application. Dictionaries are learned in the pixel ...
111
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
With the electromagnetic theory as basis, we present a sensor model for three-axis magnetometers suitable for localization and tracking applications. The model depends on a physic...
177
click to vote
JCPHY
2011
14 years 9 months ago
2011
We develop a hierarchical matrix construction algorithm using matrixvector multiplications, based on the randomized singular value decomposition of low-rank matrices. The algorith...
273
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...