-
DAES
-
Lehre
-
Embedded System Text Book
Slides
Comparison of models 2.8 08.1 es-marw-2.07-imperative-wrap.ppt es-marw-2.07-imperative-wrap.pdf 8 Specifications and Modeling: comparison of models of computation 2.10 08.2 8 ES-Hardware: Sensors 3.2 [...] voltage scaling 7.4 es-marw-7.4-optimizations.ppt es-marw-7.4-optimizations.pdf 25 Test 8 es-marw-8-test.ppt es-marw-8-test.pdf 26 [...] Evaluation: Simulation, rapid prototyping and emulation, formal verification (briefly) 5.6, 5.7, 5.8 16.2 17 Application mapping: problem definition, classification of scheduling systems 6.1, 6.2.1 17 …