Sciweavers

5012 search results - page 104 / 1003
» Distributed Error Correction
Sort
View
ICPPW
2006
IEEE
16 years 9 days ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
PVM
2001
Springer
15 years 10 months ago
Dynamic Process Management in KSIX Cluster Middleware
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
Thara Angskun, Putchong Uthayopas, Arnon Rungsawan...
NIPS
2008
15 years 7 months ago
Exact Convex Confidence-Weighted Learning
Confidence-weighted (CW) learning [6], an online learning method for linear classifiers, maintains a Gaussian distributions over weight vectors, with a covariance matrix that repr...
Koby Crammer, Mark Dredze, Fernando Pereira
CORR
2008
Springer
134views Education» more  CORR 2008»
15 years 6 months ago
Algorithmic Based Fault Tolerance Applied to High Performance Computing
: We present a new approach to fault tolerance for High Performance Computing system. Our approach is based on a careful adaptation of the Algorithmic Based Fault Tolerance techniq...
George Bosilca, Remi Delmas, Jack Dongarra, Julien...
IPPS
1998
IEEE
15 years 10 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa