2570 search results - page 111 / 514 » Reliability Modeling Using UML |
112
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
—The error detection performance of CRC coding in LTE with general two-level early stopping algorithms for turbo decoding is investigated. Analytical models for the probability o...
142
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
154
click to vote
WSKS
2009
Springer
15 years 9 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
115
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
The main drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms. The way MDA achieves this is by transforming a platfo...
134
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...