Forschungsbereich Compilers and Languages

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E194-05 - Forschungsbereich Compilers and Languages
 
Code Kennzahl
E194-05
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 41-60 of 597 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
41Ertl, Martin Anton Verallgemeinerung von localsKonferenzbeitrag Inproceedings2018
42Kühn, eva ; Radschek, Sophie Therese ; Elaraby, Nahla Distributed Coordination Runtime Assertions for the Peer ModelKonferenzbeitrag Inproceedings 2018
43Elaraby, Nahla ; Kühn, Eva ; Messinger, Anita ; Radschek, Sophie Therese Towards a Hybrid Verification ApproachKonferenzbeitrag Inproceedings 2018
44Kühn, Eva ; Craß, Stefan Coordination Pattern-Based Approach for Auto-Scaling in Multi-cloudsKonferenzbeitrag Inproceedings 2018
45Knoop, Jens ; Schordan, Markus ; Johnson, Teresa ; O´Boyle, Michael F.P. Proceedings of the 2018 International Symposium on Code Generation and OptimizationKonferenzband Proceedings2018
46Kühn, Eva ; Radschek, Sophie Therese An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B NotationKonferenzbeitrag Inproceedings 2018
47Ertl, Martin Anton Forth-200X-Treffen auf der EuroForth 2017Spezialbeitrag Special Contribution2018
48Ertl, Martin Anton ; Paysan, Bernd Closures - the Forth wayKonferenzbeitrag Inproceedings2018
49Ertl, Martin Anton Software Vector ChainingKonferenzbeitrag Inproceedings2018
50Ertl, Martin Anton SIMD and VectorsKonferenzbeitrag Inproceedings 2017
51Knoop, Jens ; Karl, Wolfgang ; Schulz, Martin ; Inoue, Koji ; Pionteck, Thilo Architecture of Computing Systems - ARCS 2017Buch Book2017
52Raab, Markus ; Barany, Gergö Challenges in Validating FLOSS ConfigurationKonferenzbeitrag Inproceedings 2017
53Raab, Markus ; Barany, Gergö Introducing Context Awareness in Unmodified, Context-unaware SoftwareKonferenzbeitrag Inproceedings 2017
54Kühn, Eva Flexible Transactional Coordination in the Peer ModelKonferenzbeitrag Inproceedings 2017
55Craß, Stefan ; Kühn, Eva ; Sesum-Cavic, Vesna ; Watzke, Harald An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based MiddlewareKonferenzbeitrag Inproceedings 2017
56Ertl, Martin Anton Statische TypüberprüfungKonferenzbeitrag Inproceedings2017
57Ertl, Martin Anton The Intended Meaning of Undefined Behaviour in C ProgramsKonferenzbeitrag Inproceedings2017
58Messinger, Anita ; Kühn, Eva Discussion: No S without Q ⇒ No E without Q?Konferenzbeitrag Inproceedings 2017
59Ertl, Martin Anton SecurityPräsentation Presentation2016
60Ertl, Martin Anton Sicheres ForthPräsentation Presentation2016