1285 search results - page 200 / 257 » Codes for Digital Recorders |
173
click to vote
CODES
2011
IEEE
14 years 4 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
187
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
168
click to vote
PPOPP
2012
ACM
14 years 19 days ago
2012
ACM
Graphics processing units (GPUs) are powerful devices capable of rapid parallel computation. GPU programming, however, can be quite difficult, limiting its use to experienced prog...
192
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
154
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
We propose in this paper to unify two different ap-
proaches to image restoration: On the one hand, learning a
basis set (dictionary) adapted to sparse signal descriptions
has p...