2141 search results - page 84 / 429 » Embedded Software |
GECCO
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
ICSEA
2006
IEEE
14 years 4 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
CODES
2004
IEEE
14 years 2 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
EMSOFT
2001
Springer
14 years 3 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
MODELS
2009
Springer
14 years 5 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...