<
From version < 17.1 >
edited by Alexander Schulz-Rosengarten
on 2019/10/23 13:27
To version < 18.1 >
edited by Alexander Schulz-Rosengarten
on 2019/10/23 14:22
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -55,7 +55,7 @@
55 55  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Björn Döbel, Hermann Härtig,(% style="color: rgb(0,0,0);" %) [[Can We Put Concurrency Back Into Redundant Multithreading?>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect"]], (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)EMSOFT 2014
56 56  
57 57  (% style="margin-left: 30.0px;" %)
58 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, [[Towards verified programming of embedded devices>>url:https://ieeexplore.ieee.org/document/8715067||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 1445-1450.
58 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[vergeben]** J. Talpin, J. Marty, S. Narayan, D. Stefan and R. Gupta, [[Towards verified programming of embedded devices>>url:https://ieeexplore.ieee.org/document/8715067||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 1445-1450.
59 59  
60 60  (% style="margin-left: 30.0px;" %)
61 61  (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)F. Glaser, G. Haugou, D. Rossi, Q. Huang and L. Benini, [[Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters>>url:https://ieeexplore.ieee.org/document/8715266||shape="rect"]], //2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Florence, Italy, 2019, pp. 552-557.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -65667446
1 +65667447
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667446/WS19/20 (Echtzeitsysteme und eingebettete Systeme)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/65667447/WS19/20 (Echtzeitsysteme und eingebettete Systeme)