2570 search results - page 111 / 514 » Reliability Modeling Using UML |
91
Voted
VTC
2008
IEEE
15 years 8 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...
120
Voted
FM
2008
Springer
15 years 3 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...
133
Voted
WSKS
2009
Springer
15 years 6 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...
101
Voted
UML
2005
Springer
15 years 7 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...
109
Voted
ASPDAC
2009
ACM
15 years 8 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 ...