Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.als

Content

...	...	@@ -106,11 +106,13 @@
106	106	//SCCharts Code Generation & Optimizations//
107	107
108	108	* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
109		-Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation
	109	+Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
	110	+* **SCG Optimization based on SSA **(Bachelor/Master)
	111	+The Static Single Assignment form enables powerful optimizations such as [[sparse conditional constant propagation>>url:http://dl.acm.org/citation.cfm?id=103136||shape="rect"]]. Adjust and implement this algorithm in the context of SCGs and evaluate the result.
110	110	* **Extend the SC MoC to handle priority-based variable accesses** (Bachelor/Master)
111	111	Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs.
112	112	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
113		-Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler
	115	+Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
114	114	* **Curing Schizophrenia in SCCharts **(Master/Bachelor)
115	115	Develop new synchronizer to handle schizophrenia properly (e.g. depth join).
116	116

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-23068775
	1	+23068931

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/23068775/Topics for Student Theses
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/RTSYS/pages/23068931/Topics for Student Theses