| occam's Rule Applied: Separation of Concerns as a Key to Trustworthy Systems Engineering for Complex Systems - Keynote Presentation
|
2016 |
Verhulst, Eric |
| Towards Lightweight Formal Development of MPI Applications
|
2016 |
Rosa, Nelson S. |
| A Super-Simple Run-Time for CSP-Based Concurrent Systems
|
2016 |
Goldsby, Michael E. |
| Lambda Calculus in Core Aldwych
|
2016 |
Huntbach, Matthew |
| Process-Based Aho-Corasick Failure Function Construction
|
2016 |
Strauss, Tinus |
| Communicating Process Architectures in the Light of Parallel Design Patterns and Skeletons
|
2016 |
Chalmers, Kevin |
| The Role of Concurrency in the Modern HPC Center – Workshop Position Paper
|
2016 |
Vinter, Brian |
| Not that Concurrent! – Fringe Presentation
|
2016 |
Teig, Øyvind |
| Protected Mode RTOS: What Does It Mean? – Fringe Presentation
|
2016 |
Sputh, Bernhard |
| JVMCSP – Approaching Billions of Processes on a Single-Core JVM
|
2016 |
Shrestha, Cabel |
| High Performance Tape Streaming in Tapr
|
2016 |
Jensen, Klaus Birkelund |
| VHDL Generation from Python Synchronous Message Exchange Networks
|
2016 |
Asheim, Truls |
| Adding CSPm Functions and Data Types to CSP++
|
2016 |
Garner, Daniel |
| A Design for Interchangeable Simulation and Implementation
|
2016 |
Jensen, Klaus Birkelund |
| Dealing with (Real-)Time in Real- World Hybrid Systems – Workshop Position Paper
|
2016 |
Schaik, Pieter van |
| OLL Compiler Project – Fringe Presentation
|
2016 |
Cook, Barry M. |
| Mapping CSP Models to Hardware Using CλaSH
|
2016 |
Kuipers, Frits P. |
| Development and Evaluation of a Modern C++CSP Library
|
2016 |
Chalmers, Kevin |
| Asynchronous Readers and Writers
|
2016 |
Boode, Antoon H. |
| The π-Calculus for SoS: Novel π-Calculus for the Formal Modeling of Software-Intensive Systems-of-Systems
|
2016 |
Oquendo, Flavio |
Tag hinzufügen