17770 search results - page 3196 / 3554 » A Generalization of Forward-Backward Algorithm |
151
click to vote
RTS
2010
15 years 3 months ago
2010
A new technique was recently introduced by Bonifaci et al. for the analysis of real-time systems scheduled on multiprocessor platforms by the global Earliest Deadline First (EDF) ...
180
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
This paper introduces and documents a novel image database specifically built for the purpose of development and benchmarking of camera-based digital forensic techniques. More th...
155
click to vote
SCP
2010
15 years 3 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
156
click to vote
TC
2010
15 years 3 months ago
2010
—The most pervasive compute operation carried out in almost all bioinformatics applications is pairwise sequence homology detection (or sequence alignment). Due to exponentially ...
172
click to vote
TDSC
2010
15 years 3 months ago
2010
—Secret sharing and erasure coding-based approaches have been used in distributed storage systems to ensure the confidentiality, integrity, and availability of critical informati...