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