5239 search results - page 756 / 1048 » Model-Integrated Embedded Systems |
172
click to vote
PRDC
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
173
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
187
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a novel MAC protocol, called Quality-ofservice Guarantee Multiple Access (QGMA), in wireless local area networks to support the quality of service requir...
166
click to vote
KES
1998
Springer
15 years 11 months ago
1998
Springer
Several intelligent features are embedded in the Growing Competitive Linear Local Mapping Neural Network. They result in an adaptive, fast-learning, very efficient control scheme, ...
221
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...