5186 search results - page 426 / 1038 » Embedded Systems |
229
click to vote
WSTFEUS
2003
IEEE
16 years 3 days ago
2003
IEEE
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
171
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
184
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
191
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
With the popularity of wireless communication devices a new important dimension of embedded systems design has arisen, that of security. This paper presents for the first time des...
188
click to vote
RTAS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...