5239 search results - page 384 / 1048 » Model-Integrated Embedded Systems |
181
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
185
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
201
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
177
click to vote
CLIMA
2010
15 years 8 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
190
click to vote
CSREAESA
2003
15 years 8 months ago
2003
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...