3335 search results - page 524 / 667 » Grid result checking |
142
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
142
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
137
click to vote
DSN
2008
IEEE
15 years 10 months ago
2008
IEEE
In the near future, hardware is expected to become increasingly vulnerable to faults due to continuously decreasing feature size. Software-level symptoms have previously been used...
148
click to vote
ICIP
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses the shape-based segmentation problem using level sets. In particular, we propose a fast algorithm to solve the piece-wise constant Chan-Vese segmentation mode...
145
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
In [1], Adaptive Prediction Error Coding (APEC) in spatial and frequency domain is proposed and significantly improves the coding efficiency of video coders. However, this approac...