1784 search results - page 244 / 357 » Formal Models for Embedded System Design |
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. Embedded multimedia systems often run multiple time-constrained applications simultaneously. These systems use multiprocessor systems-on-chip of which it must be guarante...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
ISTA
2007
14 years 11 months ago
2007
: The article is devoted to the development of knowledge-oriented models that are able to increase the efficiency and quality of main pipeline complex (MPC) dispatching control. Th...
NBIS
2007
Springer
15 years 4 months ago
2007
Springer
In ubiquitous computing environment, people carrying their mobile devices (eg., mobile phone, PDA, embedded devices) expect to access locally hosted services or resources anytime, ...
WSC
2001
14 years 11 months ago
2001
Recent advances in low-power embedded processors, radios, and micro-mechanical systems (MEMs) have made possible the development of networks of wirelessly interconnected sensors. ...