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.rvh

Content

...	...	@@ -47,6 +47,8 @@
47	47
48	48	* **SCCharts Verification** (Master/Bachelor)
49	49	Add the possibility to perfom model checking on SCCharts
	50	+* **Derive M2M Transformations from Pseudocode** (Master/Bachelor)
	51	+Create a Pseudocode DSL (and generator) to automatically derive M2M transformations.
50	50	* **Raceyard evaluation** (Master)
51	51	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
52	52
...	...	@@ -54,8 +54,10 @@
54	54
55	55	* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
56	56	Profile the actual SCCharts compiler/transformations and apply optimizations; also evaluate the possibility to use multiple cores for compilation.
	59	+* **SCG Optimization based on SSA **(Bachelor/Master)
	60	+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.
57	57	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
58		-Implement analyses for data dependencies and scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
	62	+Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
59	59
60	60	//SCCharts Simulation//
61	61

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-44171272
	1	+40894633

URL

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