2662 search results - page 223 / 533 » Objects-early tools: a demonstration |
110
click to vote
TSMC
2010
14 years 8 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
128
click to vote
TSMC
2010
14 years 8 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
120
click to vote
WH
2010
14 years 8 months ago
2010
The advancement of precision micropower amplifiers, microcontrollers, and MEMs devices have allowed for a paradigm shift from traditionally large and costly health monitoring equi...
107
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
102
click to vote
TSMC
2011
14 years 8 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...