5128 search results - page 854 / 1026 » Discrete Component Analysis |
172
click to vote
DATE
2008
IEEE
16 years 29 days ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
172
click to vote
DSRT
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
158
click to vote
EDOC
2008
IEEE
16 years 29 days ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...
170
click to vote
ETFA
2008
IEEE
16 years 29 days ago
2008
IEEE
The distribution of real-time tasks in a networked environment in principle has several advantages, above all a high degree of flexibility easing system extension and replacement...
195
click to vote
GLOBECOM
2008
IEEE
16 years 29 days ago
2008
IEEE
— Vehicular ad hoc networking is an important component of Intelligent Transportation Systems. The main benefit of vehicular ad hoc network (VANET) communication is seen in activ...