| 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 |
| 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 |
Tag hinzufügen