DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
On Comments in Visual Languages
BASE
Show details
2
SyncCharts in C
BASE
Show details
3
Executing Safe State Machines on a Reactive Processor
Abstract: Safe State Machines (SSMs) are a Statechart dialect with precise synchronous semantics, used to describe the behavior of reactive systems. A natural target for executing SSMs are reactive processors, which have an instruction set architecture (ISA) particularly well-suited for reactive control flow. When synthesizing SSMs into code, this is traditionally done via the synchronous language Esterel. However, this is not always straightforward; transitions in SSMs can jump arbitrarily between states, and there is no Esterel statement that matches this. We here propose to circumvent this by synthesizing SSMs directly onto a reactive ISA that can encode transitions directly as GOTOs. This not only has the potential for smaller and faster code, but preserves the structure of the SSM much better that going via Esterel. Conversely, we note that SSMs appear easier to implement on a reactive processor than Esterel, notably because there is not exception handling required.
Keyword: Berichterstattung; ddc:004; DRIVER
URL: https://macau.uni-kiel.de/receive/macau_mods_00001853
https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002984/tr-0907-bericht.pdf
https://nbn-resolving.org/urn:nbn:de:101:1-201203145754
BASE
Hide details
4
Functional Dependencies for Object Databases: Motivation and Axiomatization
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern