1048 search results - page 160 / 210 » Reliability Modeling of Fault Tolerant Control Systems |
140
Voted
ETRICS
2006
15 years 7 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
128
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...
156
Voted
ACL
2011
2011
Better Hypothesis Testing for Statistical Machine Translation: Controlling for Optimizer Instability
14 years 7 months ago
In statistical machine translation, a researcher seeks to determine whether some innovation (e.g., a new feature, model, or inference algorithm) improves translation quality in co...
153
Voted
PADS
2006
ACM
15 years 9 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
149
Voted
DAC
2011
ACM
14 years 3 months ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...