| 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 |
| Communicating Generators in JavaScript
|
2016 |
Micallef, Kurt |
| Simulation and Visualization Tool Design for Robot Software
|
2016 |
Lu, Zhou |
| Extensions to the Concurrent Communications Library
|
2016 |
Skovhede, Kenneth |
| Building a Sensor System for a Large Scale Arctic Observatory
|
2016 |
Bjørndalen, John Markus |
| Broadcasting in CSP-Style Programming
|
2016 |
Vinter, Brian |
| Visualisation Facilities of the Graphical CSP Tool TERRA – Fringe Presentation
|
2016 |
Lu, Zhou |
| 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 |
Tag hinzufügen