Space Tools
search
attachments
weblink
advanced
Overview
Content Tools
Name | Size | Creator | Creation Date | Last Modification Date | Labels | Attached To |
---|---|---|---|---|---|---|
uml-install3.jpg | 20 kB | Unknown User (cmot) | Apr 10, 2012 14:06 | Apr 10, 2012 14:06 | UML State Machine Simulation/Model Checking with Maude | |
layout_algorithm.png | 20 kB | Michel Spils | Mar 08, 2014 20:41 | Mar 08, 2014 20:41 | KIML Layout Options | |
SCL_ABO_scl.png | 20 kB | Steven Smyth | May 03, 2013 14:58 | May 03, 2013 14:58 | SC Language & Graph | |
08regions.png | 20 kB | Unknown User (cmot) | Jun 28, 2014 13:11 | Jun 28, 2014 13:11 | Textual SCCharts Language SCT | |
ABO2_ssa_c_signals_1st_case.PNG | 20 kB | Unknown User (gjo) | May 07, 2013 16:20 | May 07, 2013 16:20 | Hardware Synthesis from SCCharts | |
shifter3.png | 20 kB | Unknown User (cmot) | Mar 13, 2014 13:51 | Mar 13, 2014 13:51 | PLDI'14 Artifact on SCCharts | |
shifter.png | 20 kB | Unknown User (cmot) | Mar 13, 2014 13:50 | Mar 13, 2014 13:50 | PLDI'14 Artifact on SCCharts | |
Robot-Part2.pdf | 20 kB | Unknown User (ima) | Jan 13, 2016 14:07 | Jan 13, 2016 14:07 | Interactive Timing Analysis | |
EditConfguration.png | 19 kB | Michel Spils | Apr 23, 2012 13:17 | Apr 23, 2012 13:19 | Service-Based Layout in KIELER | |
ABO2_ssa_c_signals_2nd_case.PNG | 19 kB | Unknown User (gjo) | May 07, 2013 16:20 | May 07, 2013 16:20 | Hardware Synthesis from SCCharts | |
IIIRO_1.png | 19 kB | Steven Smyth | Aug 09, 2017 13:13 | Aug 09, 2017 13:13 | Syntax | |
klepto-error1.jpg | 19 kB | Unknown User (cmot) | Apr 10, 2012 13:58 | Apr 10, 2012 13:58 | Leveraging Ptolemy Semantics (KlePto) | |
uml7.jpg | 19 kB | Unknown User (cmot) | Apr 10, 2012 14:06 | Apr 10, 2012 14:06 | UML State Machine Simulation/Model Checking with Maude | |
10historyshallow.png | 19 kB | Unknown User (cmot) | Jun 28, 2014 13:13 | Jun 28, 2014 13:13 | Textual SCCharts Language SCT | |
vectors.png | 19 kB | Steven Smyth | Aug 08, 2017 17:41 | Aug 08, 2017 17:41 | Syntax | |
11historydeep.png | 19 kB | Unknown User (cmot) | Jun 28, 2014 13:13 | Jun 28, 2014 13:13 | Textual SCCharts Language SCT | |
kieler_logo.png | 19 kB | Unknown User (cds) | Sep 04, 2014 15:28 | Sep 04, 2014 15:28 | About the Project | |
dependencies2.pdf | 18 kB | Caroline Butschek | Mar 01, 2015 17:04 | Mar 01, 2015 17:04 | Priority-Based Compilation | |
dependencies2.pdf | 18 kB | Unknown User (cmot) | Mar 21, 2014 14:24 | Mar 21, 2014 14:24 | Kieler Compiler | |
thinkcharts-overview.odg | 18 kB | Unknown User (cmot) | Oct 02, 2012 12:35 | Oct 02, 2012 12:35 | ThinKCharts User Guide |