5600 search results - page 142 / 1120 » Synthesizing robust systems |
TSE
2011
13 years 4 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
We address ranging energy optimization for an unsynchronized localization system, which features robust sensor positioning, in the sense that specific accuracy requirements are f...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper proposes a method to improve the robustness of the carrier sense system for Opportunistic MAC (OMAC). This carrier sense method is specific for MIMO and the new vers...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— Deterministic approaches to model validation for robust control are investigated. In common deterministic model validation approaches, a trade-off between disturbances and mode...
COLING
1992
13 years 10 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...