Changes for page 2018 Echtzeitsysteme und eingebettete Systeme
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 11:57
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -41,7 +41,7 @@ 41 41 1. (% style="color: rgb(0,0,0);" %)Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]] 42 42 1. (% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect" class="external-link"]] 43 43 1. (% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect" class="external-link"]] 44 -1. Biswajit Mazumder, J Ason O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]44 +1. **Aleksandar Markovic:** Biswajit Mazumder, Jason O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]] 45 45 1. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]] 46 46 1. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]] 47 47
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -42729 4881 +42729515 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/42729 488/SS18 (Echtzeitsysteme und eingebettete Systeme)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/42729515/SS18 (Echtzeitsysteme und eingebettete Systeme)