| ... |
... |
@@ -102,9 +102,12 @@ |
| 102 |
102 |
Add priorities to variable accesses to extend the SC MoC and therefore the number of valid sequentially constructive synchronous programs. |
| 103 |
103 |
* **Transformation of Circuits to SCCharts** (Bachelor/Master) |
| 104 |
104 |
Implement a transformation that translates circuits to (dataflow) SCCharts. |
| 105 |
|
-* **On the Pragmatics of Interactive Timing Information Feedback for graphical modeling** (Bachelor) |
|
105 |
+* **On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling** (Bachelor) |
| 106 |
106 |
Use Pragmatics concepts to enhance the timing information feedback of the Interactive Timing Analysis. |
| 107 |
107 |
\\\\ |
|
108 |
+* **On the Pragmatics of Interactive Timing Information Feedback for Graphical Modeling** (Bachelor) |
|
109 |
+Use Pragmatics and enhanced visualization for the timing information feedback of the Interactive Timing Analysis. |
|
110 |
+\\\\ |
| 108 |
108 |
* **Efficient data dependency & scheduling analyses in SCCharts** (Master/Bachelor) |
| 109 |
109 |
Implement analyses for data dependency, scheduling (e.g. tick boundaries) for SCCharts to improve static scheduling of the compiler |
| 110 |
110 |
* **Curing Schizophrenia in SCCharts **(Master/Bachelor) |