default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCPA 2005: Eindhoven, The Netherlands
- Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood:
The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005. Concurrent Systems Engineering Series 63, IOS Press 2005, ISBN 978-1-58603-561-7 - Ian East:
Interfacing with Honeysuckle by Formal Contract. 1-11 - Jon M. Kerridge, Ken Barclay, John Savage:
Groovy Parallel! A Return to the Spirit of occam? 13-28 - Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink:
On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software. 29-41 - Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers:
Automatic Handel-C Generation from MATLAB. 43-69 - Bernhard H. C. Sputh, Alastair R. Allen:
JCSP-Poison: Safe Termination of CSP Process Networks. 71-107 - Kevin Chalmers, Jon M. Kerridge:
jcsp.mobile: A Package Enabling Mobile Processes and Channels. 109-127 - William B. Gardner:
CSP++: How Faithful to CSPm? 129-146 - Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij:
Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams. 147-154 - Hans Henrik Happe, Brian Vinter:
Improving TCP/IP Multicasting with Message Segmentation. 155-163 - Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes:
Lazy Cellular Automata with Communicating Processes. 165-175 - Marc L. Smith:
A Unifying Theory of True Concurrency Based on CSP and Lazy Observation. 177-188 - Brian Vinter:
The Architecture of the Minimum intrusion Grid (MiG). 189-201 - Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt:
Verification of JCSP Programs. 203-218 - Maarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen:
Architecture Design Space Exploration for Streaming Applications through Timing Analysis. 219-233 - Damian J. Dimmich, Christian L. Jacobsen:
A Foreign-Function Interface Generator for occam-pi. 235-248 - Fred R. M. Barnes:
Interfacing C and occam-pi. 249-260 - John Markus Bjørndalen, Otto J. Anshus, Brian Vinter:
Interactive Computing with the Minimum intrusion Grid (MiG). 261-273 - Arash Saifhashemi, Peter A. Beerel:
High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog. 275-288 - Peter H. Welch, Fred R. M. Barnes:
Mobile Barriers for occam-pi: Semantics, Implementation and Application. 289-316 - Gerald H. Hilderink:
Exception Handling Mechanism in Communicating Threads for Java. 317-334 - John Jakson:
R16: A New Transputer Design for FPGAs. 335-362 - Johnston Stewart, Paddy Nixon, Tim Walsh, R. Ian Ferguson:
Towards Strong Mobility in the Shared Source CLI. 363-373 - Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink:
gCSP occam Code Generation for RMoX. 375-383 - Mihail Ivanovici, Razvan Beuran, Neil Davies:
Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach. 385-395 - H. Peter Hofstee:
Communication and Synchronization in the Cell Processor - Invited Talk. 397 - Paul Stravers:
Homogeneous Multiprocessing for Consumer Electronics - Invited Talk. 399 - Ad M. G. Peeters:
Handshake Technology: High Way to Low Power - Invited Talk. 401 - Guy H. Broadfoot:
If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk. 403
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-01 00:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
