7429 search results - page 574 / 1486 » Embedded System Update |
182
click to vote
CODES
2002
IEEE
16 years 2 days 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...
198
click to vote
ECRTS
2002
IEEE
16 years 1 days 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...
207
click to vote
ISSS
2002
IEEE
16 years 16 hour 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...
203
click to vote
ISSS
2002
IEEE
16 years 16 hour ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
196
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...