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.rvh
	1	+XWiki.ssm

Content

...	...	@@ -47,8 +47,6 @@
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.
52	52	* **Raceyard evaluation** (Master)
53	53	Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments
54	54
...	...	@@ -56,10 +56,8 @@
56	56
57	57	* **Optimization of the SCCharts compiler/transformations **(Bachelor/Master)
58	58	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.
61	61	* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor)
62		-Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
	58	+Implement analyses for data dependencies and scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler.
63	63
64	64	//SCCharts Simulation//
65	65

Confluence.Code.ConfluencePageClass[0]

Id

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

URL

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