| 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 |
| Communicating Processes and Processors (1975-2025) — Keynote Presentation
|
2016 |
May, M. David |
| Discrete Event-Based Neural Simulation Using the SpiNNaker System
|
2016 |
Brown, Andrew |
| CoCoL: Concurrent Communications Library
|
2016 |
Skovhede, Kenneth |
| Guppy: Process-Oriented Programming on Embedded Devices
|
2016 |
Barnes, Frederick R. M. |
| T42 Transputer Design in FPGA (Year One: Design Status Report) - Fringe Presentation
|
2016 |
Mielke, Uwe |
| C++11 CSP – Fringe Presentation
|
2016 |
Chalmers, Kevin |
| Managing Hard Real Times (28 Years Later) – Fringe Presentation
|
2016 |
Welch, Peter H. |
| Computational Challenges for Climate Modelling – Keynote Presentation
|
2016 |
Jochum, Markus |
Tag hinzufügen