| 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 |
| T42 – Transputer Design in FPGA (Year Two Design Status Report) – Fringe Presentation
|
2016 |
Mielke, Uwe |
| Distributed Computing on a (Tiny) Budget: Building a Raspberry Pi Zero Microcluster – Fringe Presentation
|
2016 |
Miller, Richard |
| 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 |
Tag hinzufügen