Changes for page 2020/21 Synchronous Languages
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 11:58
<
>
edited by Alexander Schulz-Rosengarten
on 2020/11/02 13:37
on 2020/11/02 13:37
edited by Alexander Schulz-Rosengarten
on 2020/11/03 11:54
on 2020/11/03 11:54
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -40,7 +40,7 @@ 40 40 === Bachelor Recommendations === 41 41 42 42 (% style="margin-left: 30.0px;" %) 43 -(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015 43 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)**[assigned]**(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %) A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015 44 44 45 45 (% style="margin-left: 30.0px;" %) 46 46 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. [[ThingML: A language and code generation framework for heterogeneous targets>>url:https://dl.acm.org/citation.cfm?id=2976812||shape="rect"]]. In //Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems// (MODELS '16). ACM, New York, NY, USA, 125-135. ... ... @@ -49,7 +49,7 @@ 49 49 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244. 50 50 51 51 (% style="margin-left: 30.0px;" %) 52 -(% 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 52 +(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)**[assigned]**(% 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 53 53 54 54 (% style="margin-left: 30.0px;" %) 55 55 (% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned]** 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 -8178945 41 +81789456 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/8178945 4/WS20/21 (Synchronous Languages)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/81789456/WS20/21 (Synchronous Languages)