4674 search results - page 728 / 935 » cases 2008 |
155
click to vote
PIMRC
2008
IEEE
16 years 27 days ago
2008
IEEE
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
165
click to vote
PIMRC
2008
IEEE
16 years 27 days ago
2008
IEEE
— The Internet of Things, emerging pervasive and sensor networks are low data-rate wireless networks with, a priori, no specific topology and no fixed infrastructure. Their pri...
161
click to vote
RTAS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
205
click to vote
RTAS
2008
IEEE
16 years 27 days ago
2008
IEEE
In previous work we have shown how modular code can be automatically generated from a synchronous block diagram notation where all blocks fire at all times. Here, we extend this ...
180
click to vote
RTAS
2008
IEEE
16 years 27 days ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...