| OpenTransputer: Reinventing a Parallel Machine from the Past
|
2016 |
Garcia, Andrés Amaya |
| A Model-Driven Methodology for Generating and Verifying CSP-Based Java Code
|
2016 |
Mariño, Julio |
| Bus Centric Synchronous Message Exchange for Hardware Designs
|
2016 |
Vinter, Brian |
| Model-Driven Design of Simulation Support for the TERRA Robot Software Tool Suite
|
2016 |
Lu, Zhou |
| Code Specialisation of Auto-Generated GPU Kernels
|
2016 |
Blum, Troels |
| Message-Passing Concurrency Shootout – Workshop Position Paper
|
2016 |
Chalmers, Kevin |
| Not that Blocking! – Fringe Presentation
|
2016 |
Teig, Øyvind |
| Connecting Two Robot-Software Communicating Architectures: ROS and LUNA
|
2016 |
Werff, W. Mathijs van der |
| Communicating Connected Components: Extending Plug and Play to Support Skeletons
|
2016 |
Chalmers, Kevin |
| Messing Around with Timeouts. In Contracts? – Fringe Presentation
|
2016 |
Teig, Øyvind |
| Concurrency: Quit Obsessing About Your Code and Start Worrying About Your Data! – Fringe Presentation
|
2016 |
Vinter, Brian |
| 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 |
Tag hinzufügen