Sciweavers

528 search results - page 65 / 106
» Modularizing error recovery
Sort
View
RTAS
2008
IEEE
14 years 2 months ago
Real-Time Distributed Discrete-Event Execution with Fault Tolerance
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
Thomas Huining Feng, Edward A. Lee
ICC
2007
IEEE
14 years 2 months ago
Non-Data Aided Symbol Timing Estimation in MIMO Systems
—We present two Maximum Likelihood (ML) based estimators for Non-Data-Aided (NDA) symbol timing recovery in MIMO systems. These estimators are based on the classical Unconditiona...
Ketan Rajawat, Ajit K. Chaturvedi
IEEEPACT
2007
IEEE
14 years 1 months ago
Fast Track: Supporting Unsafe Optimizations with Software Speculation
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
Kirk Kelsey, Chengliang Zhang, Chen Ding
WABI
2007
Springer
123views Bioinformatics» more  WABI 2007»
14 years 1 months ago
Inverse Sequence Alignment from Partial Examples
When aligning biological sequences, the choice of parameter values for the alignment scoring function is critical. Small changes in gap penalties, for example, can yield radically ...
Eagu Kim, John D. Kececioglu
ICPPW
2006
IEEE
14 years 1 months 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...