9974 search results - page 208 / 1995 » Software Interconnection Models |
175
click to vote
MEMOCODE
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
175
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
161
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
168
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
285
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Suc...