Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -68,11 +68,17 @@
68	68	(% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], //2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//, 2018, pp. 227-239
69	69
70	70	(% style="margin-left: 30.0px;" %)
71		-(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//Cluster Comput//(% style="color: rgb(51,51,51);" %) (% style="color: rgb(51, 51, 51)" %)**23, **(% style="color: rgb(51,51,51);" %)3273–3288 (2020)
	71	+(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], //Cluster Comput// **23, **3273–3288 (2020)
72	72
73	73	(% style="margin-left: 30.0px;" %)
74	74	(% style="color: rgb(51,51,51);" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color: rgb(51,51,51);" %) ((% style="color: rgb(51, 51, 51); text-align: left" %)//RTNS '18//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
75	75
	76	+(% style="margin-left: 30.0px;" %)
	77	+(% style="color: rgb(51,51,51);" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//(% style="color: rgb(51,51,51);" %), 2018, pp. 240-24009
	78	+
	79	+(% style="margin-left: 30.0px;" %)
	80	+(% style="color: rgb(51,51,51);" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//2021 Forum on specification & Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2021, pp. 01-08
	81	+
76	76	=== Master Recommendations ===
77	77
78	78	(% style="margin-left: 30.0px;" %)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-128745493
	1	+130678787

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745493/WS22/23 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/130678787/WS22/23 (Synchronous Languages)