5239 search results - page 441 / 1048 » Model-Integrated Embedded Systems |
198
click to vote
CASES
2003
ACM
16 years 4 days ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
171
click to vote
CODES
2002
IEEE
15 years 12 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...
186
click to vote
ECRTS
2002
IEEE
15 years 12 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...
193
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...
192
click to vote
ISSS
2002
IEEE
15 years 11 months 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 ...