Changes for page PLDI'14 Artifact on SCCharts
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -1,5 +1,7 @@ 1 - = ModelingSCCharts withKIELER – PLDI'14 Artifact=1 +[[image:attach:title7.png]] 2 2 3 += Modeling SCCharts with KIELER = 4 + 3 3 This tutorial should guide you if you like to model SCCharts with KIELER and use the circuit based software synthesis path as explained in our [1] [[PLDI'14 submission>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/papers/pldi14-submitted.pdf||shape="rect"]]. We will show you how to 4 4 5 5 ~1. Download & Start KIELER, ... ... @@ -60,7 +60,7 @@ 60 60 61 61 = 2. + 3. Model and Compile an SCChart = 62 62 63 -We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Guide]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact.65 +We have moved the guide that shows how to model and compile an SCChart within KIELER to a new [[doc:Quick Start Tutorial]]. Be advised that in order to follow all explanations there may require the latest version of KIELER not the (possibly outdated) PLDI-Artifact. 64 64 65 65 66 66
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -94714 881 +9471413 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/94714 88/PLDI'14 Artifact on SCCharts1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/9471413/PLDI'14 Artifact on SCCharts