2210 search results - page 135 / 442 » Applying a Model-based Approach for Embedded System Developm... |
138
click to vote
PERCOM
2003
ACM
16 years 2 months ago
2003
ACM
Pervasive computing environments add a multitude of additional devices to our current computing landscapes. Specialized embedded systems provide sensor information about the real ...
122
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
131
Voted
WCET
2007
15 years 3 months ago
2007
Our research focuses on formally bounded WCET analysis, where we aim to provide absolute guarantees on execution time bounds. In this paper, we describe how amortisation can be us...
105
click to vote
IJON
2006
15 years 2 months ago
2006
: In this paper we present a complete neuromorphic image processing system and we report the development of an integrated CMOS low-power circuit to test the feasibility of its diff...
109
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...