|
|
|
Formats |
| Architecture Design Space Exploration for Streaming Applications through Timing Analysis
Nikolay Kavaldjiev, Maarten H. Wiggers | 2005 | | BibTEX
| Refer
|
| Mobile Barriers for occam-pi: Semantics, Implementation and Application
Peter H. Welch, Frederick R. M. Barnes | 2005 | | BibTEX
| Refer
|
| "Do it yourself" shared memory instruction sets in occam
M. I. Cole | 1990 | 10 | BibTEX
| Refer
|
| 3D medical graphics -- using the T800 transputer
A. C. Tan, R. Richards, A. D. Linney | 1988 | 8 | BibTEX
| Refer
|
| A 40 Gbit/s Network Processor Design Platform
R. McConnell, P. Winser | 2001 | 20 | BibTEX
| Refer
|
| A CASE Tool for Designing Deadlock-Free OCCAM Programs
W. D. Crowe, R. Hasson, P. E. D. Strain-Clark | 1989 | 13 | BibTEX
| Refer
|
| A Cell Transterpreter
Christian Jacobson, Damian J. Dimmich, Matthew C. Jadud | 2006 | | BibTEX
| Refer
|
| A Circus Development and Verification of an Internet Packet Filter.
[No authors recorded] | 2006 | | BibTEX
| Refer
|
| A Communicating Threads Case Study: JIWY
Jan F. Broenink, Gerald H. Hilderink, Dusko S. Jovanovic | 2002 | 10 | BibTEX
| Refer
|
| A communication processor on the transputer
Herman W. Roebbers, Marnix Vlot | 1989 | 9 | BibTEX
| Refer
|
| A Comparison of High Performance, Parallel Computing Java Packages
Nan C. Schaller, Sidney W. Marshall, Yu-Fong Cho | 2003 | 16 | BibTEX
| Refer
|
| A Comparison of Linda Implementations in Java
George Wells, Peter Clayton, Alan G. Chalmers | 2000 | 14 | BibTEX
| Refer
|
| A Comparison of Parallel Implementations of Flux Corrected Transport Codes
Jing-ming Jong, G. S. Stiles | 1989 | 16 | BibTEX
| Refer
|
| A Comparison of Three MPI Implementations
Brian Vinter, John Markus Bjørndalen | 2004 | 10 | BibTEX
| Refer
|
| A comparison of two notations for programming image processing applications on transputers
Philip J. Morrow | 1988 | 10 | BibTEX
| Refer
|
| A Concurrent Algorithm for the Reconstruction of Nuclear Magnetic Resonance Scanner Images
D. R. K. Rao, R. A. Bacon | 1993 | 10 | BibTEX
| Refer
|
| A concurrent approach to the Towers of Hanoi
W. D. Crowe, P. E. D. Strain-Clark | 1988 | 10 | BibTEX
| Refer
|
| A Cruise Control in occam based on an Implementation of KRoC on the Philips 8051 Microcontroller
Frank T. M. van Vugt, André W. P. Bakkers | 2000 | 16 | BibTEX
| Refer
|
| A CSP-based Processing Architecture for a Flexible MIMO-OFDM Testbed
H. S. Cronie, F. W. Hoeksema, C. H. Slump | 2003 | 9 | BibTEX
| Refer
|
| A Deadlock Detection Tool for Occam
Wouter Joosen, Pierre Verbaeten | 1989 | 19 | BibTEX
| Refer
|
| A deadlock-free communication system for a transputer network
E. Gallizzi, M. Cannataro, G. Spezzano, Domenico Talia | 1990 | 11 | BibTEX
| Refer
|
| A Development Method Boosted by Synchronous Active Objects
Claude Petitpierre | 2003 | 16 | BibTEX
| Refer
|
| A distributed architecture for simulating microprocessor systems
I. Gorton | 1987 | 11 | BibTEX
| Refer
|
| A Distributed I/O Communication Protocol for a Network of Transputers
Runhe Huang, Mike Morgan | 1995 | 11 | BibTEX
| Refer
|
| A Distributed Logic Programming Language and its Implementation on Transputer Networks
José A. Cardoso Cunha, Pedro A. Duarte Medeiros, Luis M. Pereira | 1990 | 12 | BibTEX
| Refer
|
| A Distributed Parallel Processing System for the StrongARM Microprocessor
Brian C. O'Neill, G. C. Coulson, K. L. Wong, R. Hotchkiss, J. H. Ng, S. Clark, P. D. Thomas, A. Cawley | 1998 | 10 | BibTEX
| Refer
|
| A Distributed Real Time Java System Based on CSP
Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers | 1999 | 14 | BibTEX
| Refer
|
| A Dynamic Switch for Transputer Links
Jaap Hofstede, Andre Lensink | 1990 | 11 | BibTEX
| Refer
|
| A fast C Kernel for Portable occam Compilers
Barry M. Cook | 1995 | 19 | BibTEX
| Refer
|
| A Fault-Tolerant On-board Computer for Space Applications
Helano de Sousa Castro, João Reinaldo Imbiriba Jr, Jarbas Aryel N. Silveira, Valdivino Santiago, Antônio Miguel Vieira Monteiro | 1998 | 12 | BibTEX
| Refer
|
| A formal top-down developement method for occam programs
Donal Roantree, Maurice Clint | 1990 | 25 | BibTEX
| Refer
|
| A general-purpose parallel programming environment
Mark Debbage, Mark Hill, Denis A. Nicole | 1991 | 10 | BibTEX
| Refer
|
| A Generally Configurable Multigrid Implementation for Transputer Networks
Osama El-Giar, Tim Hopkins | 1989 | 9 | BibTEX
| Refer
|
| A Graphical Modeling Language for Specifying Concurrency based on CSP
Gerald H. Hilderink | 2002 | 30 | BibTEX
| Refer
|
| A high level software and environment for transputer based systems
Adrian J. West, Peter C. Capon | 1990 | 11 | BibTEX
| Refer
|
| A JCSP.net Implementation of a Massively Multiplayer Online Game
[No authors recorded] | 2006 | | BibTEX
| Refer
|
| A medium grained parallel computer for image processing
R. Cok | 1988 | 12 | BibTEX
| Refer
|
| A method for monitoring occam internal channels
A. d'Acierno, Giuseppe de Pietro, Umberto Villano | 1990 | 8 | BibTEX
| Refer
|
| A multimodal robotic control law modelled and implemented by the CSP - GML/CT framework
Gerald H. Hilderink, Dusko S. Jovanovic, Jan F. Broenink | 2003 | 20 | BibTEX
| Refer
|
| A Multiprocessor OCCAM Development System for UNIX Network Clusters
D. G. Patrick, P. R. Green, T. A. York | 1997 | 1 | BibTEX
| Refer
|
| A Native Transterpreter for the LEGO Mindstorms RCX
Jonathan Simpson, Christian Jacobson, Matthew C. Jadud | 2007 | 10 | BibTEX
| Refer
|
| A new adaptive algorithm for the solution of systems of linear equations
Rudnei Dias da Cunha, Tim Hopkins | 1991 | 15 | BibTEX
| Refer
|
| A novel architecture for data-aquisition and on-line analysis in high-energy physiscs experimentation
J. C. Vermeulen, H. Boterenbrood, S. C. Goble, S. J. de Jong, G. N. M. Kieft, H. A. J. R. Uijterwall, L. W. Wiggers, A. J. de Waard | 1989 | 7 | BibTEX
| Refer
|
| A Parallel Architecture for Efficient Clash Detection
A. Battersby, Janet Edwards | 1994 | 8 | BibTEX
| Refer
|
| A parallel processing architecture for ODEs
J. M. Favre, C. S. Coray | 1987 | 13 | BibTEX
| Refer
|
| A Parallel Programming Methodology Based on Paradigms
Fethi A. Rabhi | 1995 | 13 | BibTEX
| Refer
|
| A parallel semantic net engine and its application to data modeling
Y. N. Lee | 1990 | 12 | BibTEX
| Refer
|
| A PCI-based Network Interface Controller for IEEE 1355 DS-Links
Marcel Boosten, R. W. Dobinson, B. Martin, P. D. V. van der Stok | 1998 | 20 | BibTEX
| Refer
|
| A Plug-in Disk-Interface Process for the WSQL Data Access Controller
R. Kukla, Jon M. Kerridge | 1996 | 14 | BibTEX
| Refer
|
| A Predicate Transformer Semantics for a Concurrent Language of Refinement
Ana Cavalcanti, Jim Woodcock | 2002 | 20 | BibTEX
| Refer
|
| A preprocessor to augment the description of occam processes for multitransputer machines
Hiromi Ohara, Hajime Iizuka | 1988 | 10 | BibTEX
| Refer
|
| A process migration harness for dynamic load balancing
S. A. Baker, K. R. Milner | 1991 | 10 | BibTEX
| Refer
|
| A Process Oriented Approach to USB Driver Development
Frederick R. M. Barnes, Carl G. Ritson | 2007 | 16 | BibTEX
| Refer
|
| A Process-Oriented Architecture for Complex System Modelling
Carl G. Ritson, Peter H. Welch | 2007 | 18 | BibTEX
| Refer
|
| A Programming Language for Hardware/Software Co-Design
D. R. Watt, David May | 2001 | 12 | BibTEX
| Refer
|
| A Proposal for an Operating System for a Multi-Processor StrongARM System
E. W. K. Liew, Brian C. O'Neill, K. L. Wong, S. Clark, P. D. Thomas, R. Cant | 1999 | 10 | BibTEX
| Refer
|
| A prototype simulator output movie system based on parallel processing technology
N. Carmichael, D. Hewson, J. van der Vorst | 1988 | 7 | BibTEX
| Refer
|
| A real time prolog compiler for multi- transputer architectures for knowledge based systems applications
D. Bosley, J. Mortimer | 1987 | 10 | BibTEX
| Refer
|
| A Reconfigurable Host Interconnection Scheme for Occam-Based Field Programmable Gate Arrays
Roger M. A. Peel | 2001 | 14 | BibTEX
| Refer
|
| A Reconfigurable System-on-Chip Architecture for Pico-Satellite Missions
Tanya Vladimirova, Xiaofeng Wu | 2007 | 10 | BibTEX
| Refer
|
| A Scalable Communication Network for a Parallel Database Machine
David Walter, Jon M. Kerridge | 1991 | 16 | BibTEX
| Refer
|
| A Self-Configuring Distributed Kernel for Satellite Networks
Scott Cannon, Larry Denys | 2000 | 12 | BibTEX
| Refer
|
| A simple parallel algebraic multigrid
Guy Robinson | 1991 | 14 | BibTEX
| Refer
|
| A Single Chip Solution for Distributed Processing Systems
Brian C. O'Neill, P.W. Moore, S. Clark | 2003 | 8 | BibTEX
| Refer
|
| A Software Developement Environment for Parallel Image Processing: Implementation techniques and issues
D. Crookes, Philip J. Morrow, I. McClatchey, T. Rafferty | 1991 | 7 | BibTEX
| Refer
|
| A Software Development Tool for Parallel and Distributed Systems
R. D. Stone, D. R. Morse | 1996 | 14 | BibTEX
| Refer
|
| A state-of-the-art radar pulse deiterleaver
S. P. Turner, Rick D. Beton, C. Upstill | 1988 | 8 | BibTEX
| Refer
|
| A Step Towards Refining and Translating B Control Annotations to Handel-C
Wilson Ifill, Steve Schneider | 2007 | 26 | BibTEX
| Refer
|
| A structural dynamics problem on a network of transputers
A. Cosnuau | 1989 | 25 | BibTEX
| Refer
|
| A Study of Percolation Phenomena in Process Networks
Alastair R. Allen, Oliver Faust, Bernhard Sputh | 2006 | | BibTEX
| Refer
|
| A System Configuration for very large Database Problems [Extended Abstract]
Alan G. Chalmers, Derek J. Paddon | 1989 | 4 | BibTEX
| Refer
|
| A talking bee on the transputer
D. Ellison, L. Natanson | 1988 | 14 | BibTEX
| Refer
|
| A Technique for Checking the CSP sat Property
Jeremy M. R. Martin, S. A. Jassim | 1998 | 18 | BibTEX
| Refer
|
| A Technique for Fast Pre-emptions in a Multi-Priority Environment
K. M. Shea, M. H. Cheung, Francis C. M. Lau | 1993 | 12 | BibTEX
| Refer
|
| A tool for optimisation of program execution in dynamic topology systems
Tomasz Kalinowski | 1997 | 11 | BibTEX
| Refer
|
| A Tool for Proving Deadlock Freedom
Jeremy M. R. Martin, S. A. Jassim | 1997 | 16 | BibTEX
| Refer
|
| A transform accelerator for a transputer system
C. J. Dodge, P. G. B. Ross, P. E. Undrill, Alastair R. Allen | 1992 | 15 | BibTEX
| Refer
|
| A transputer based active vision system
Andrew B. Smith, Peter H. Welch | 1992 | 10 | BibTEX
| Refer
|
| A transputer based neurocomputer
A. Johannet, G. Loheac, L. Personnaz, I. Guyon, G. Dreyfus | 1987 | 8 | BibTEX
| Refer
|
| A transputer based visual system
A. A. J. Langenkamp, P. M. Elgershuizen, W. Huiskamp, P. L. J. van Lieshout | 1989 | 11 | BibTEX
| Refer
|
| A transputer implementation of a runtime timing constraint-monitor
Fergus E. Fletcher | 1995 | 15 | BibTEX
| Refer
|
| A transputer network simulator
Y. Kermarrec, R. Rannou | 1987 | 16 | BibTEX
| Refer
|
| A transputer-based accelerator for digital circuits fault simulation
G. P. Balboni, G. P. Cabodi, S. Gai, M. Sonza Reorda | 1992 | 7 | BibTEX
| Refer
|
| A transputer-based architecture for graphics
M. Meriaux, A. Atamenia, E. Lepretre | 1987 | 10 | BibTEX
| Refer
|
| A Transputer-Based Prolog Distributed Processor
L. Aroujo, J. J. Ruz | 1994 | 15 | BibTEX
| Refer
|
| A Transputer-based Workstation Accelerator for Optimisation Algorithms
F. W. D. Woodhams, W. L. Price | 1990 | 6 | BibTEX
| Refer
|
| A Unifying Theory of True Concurrency Based on CSP and Lazy Observation
Marc L. Smith | 2005 | | BibTEX
| Refer
|
| A Versatile Hardware-Software Platform for In-Situ Monitoring Systems
Bernhard Sputh, Oliver Faust, Alastair R. Allen | 2007 | 14 | BibTEX
| Refer
|
| abstracts data types and occam
Jon M. Kerridge, Sue Wright, Richard J. Oates | 1989 | 17 | BibTEX
| Refer
|
| Acceptances, Behaviours and Infinite Activity in CSPP
Adrian E. Lawrence | 2002 | 22 | BibTEX
| Refer
|
| Accurate Calculation of Deme Sizes for a Parallel Genetic Scheduling Algorithm
M. Moore | 2003 | 9 | BibTEX
| Refer
|
| Active Serial Port: A Component for JCSPNet Embedded Systems
Sarah Clayton, Jon M. Kerridge | 2004 | 14 | BibTEX
| Refer
|
| Adapted OS Link / DS Link Protocols for Use in Mutliprocessor Routing Networks
S. Triger, Brian C. O'Neill, S. Clark | 2001 | 12 | BibTEX
| Refer
|
| Adaptive routing techniques in simulated computer networks
M. C. Bowler, M. J. Morse, N. Frydas | 1988 | 10 | BibTEX
| Refer
|
| Adding Mobility to Networked Channel-Types
Mario Schweigler | 2004 | 20 | BibTEX
| Refer
|
| Advanced Silicon Prototyping in a Reconfigurable Environment
Matt Aubury, Ian Page, Dominic Plunkett, Matthias Sauer, Jonathan Saul | 1998 | 12 | BibTEX
| Refer
|
| Advanced System Simulation, Emulation and Test (ASSET)
Gregory Wickstrom | 2007 | 22 | BibTEX
| Refer
|
| Agents for Concurrent Programming
Enrique Gonzalez, Cesar Bustacara, Jamir Avila | 2003 | 10 | BibTEX
| Refer
|
| Algebras of Actions in Concurrent Processes
Mark Burgin, Marc L. Smith | 2007 | 2 | BibTEX
| Refer
|
| Am interactive graphical debugger for occam programs
N. Abdennadher, J. C. Angue | 1990 | 8 | BibTEX
| Refer
|
| An A/D D/A board using IEEE-1355 DS-Links for Heterogeneous Multiprocessor Environment
O. J. Greve, M. H. Schwirtz, Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers | 1998 | 12 | BibTEX
| Refer
|
| An Algorithm for Caching Software to Configurable Hardware
J. D. Campbell | 1999 | 10 | BibTEX
| Refer
|
| An analysis and reconfiguration tool for mapping parallel programs onto transputer networks
D. Ch. Meier, A. Wespi, J. E. Boillat, P. G. Kropf | 1987 | 9 | BibTEX
| Refer
|
| An application of ultrasonic signal processing in a mixed system of transputers and digital signal processors
Alastair R. Allen, Dalan Wang | 1990 | 4 | BibTEX
| Refer
|
| An Appreciation of the Subtleties of Shared Channels in occam3
S. W. Waithe, Jon M. Kerridge | 1993 | 14 | BibTEX
| Refer
|
| An assessment of the use of occam for dependable real-time systems
A. Burns, A. J. Wellings, H. S. M. Zedan | 1990 | 8 | BibTEX
| Refer
|
| An Automatic Translation of CSP to Handel-C
Jonathan D. Phillips, G. S. Stiles | 2004 | 20 | BibTEX
| Refer
|
| An efficient global convergence detection scheme for parallel algorithms on transputer network
K. G. Kumar, A. Basu, S. Srinivas, A. Paulraj | 1990 | 12 | BibTEX
| Refer
|
| An efficient multi- priority scheduler for the transputer
K. M. Shea, M. H. Cheung, Francis C. M. Lau | 1992 | 15 | BibTEX
| Refer
|
| An environment for investigating the effectiveness of process migration strategies on transputer-based machines
Joe Philips, Rosemary Candlin | 1992 | 11 | BibTEX
| Refer
|
| An environment for transputer CPU load measurements
Giuseppe de Pietro, Umberto Villano | 1990 | 9 | BibTEX
| Refer
|
| An Evaluation of Inter-Switch Connections
Hans Henrik Happe, Brian Vinter | 2004 | 10 | BibTEX
| Refer
|
| An Execution Harness for Transputer Based Embedded Systems
P. Burgess, M. J. Livesey, C. Allison | 1993 | 16 | BibTEX
| Refer
|
| An Experiment with Recursion in occam
David C. Wood | 2000 | 12 | BibTEX
| Refer
|
| An Extended Version of Linda for Transputer Systems
Peter Clayton, George Wells, Alan G. Chalmers | 1996 | 8 | BibTEX
| Refer
|
| An extension of the processor farm using a tree architecture
S. A. Green, Derek J. Paddon | 1988 | 18 | BibTEX
| Refer
|
| An Introduction to CSP.NET
Alex Lehmberg, Martin N. Olsen | 2006 | | BibTEX
| Refer
|
| An Introduction to the Kent C++CSP Library
Neil C. Brown, Peter H. Welch | 2003 | 18 | BibTEX
| Refer
|
| An investigation of several parallel genetic algorithms
Donald Macfarlane, Ian R. East | 1990 | 8 | BibTEX
| Refer
|
| An Irregular Distributed Simulation Problem with a Dynamic Logical Process Structure
Ming Q. Xu, Stephen J. Turner, Nie Pin | 1989 | 11 | BibTEX
| Refer
|
| An MSDOS Based Graphics Library for PC Hosted Transputer Systems
A. Battersby, I. P. W. Sillitoe, Janet Edwards | 1994 | 11 | BibTEX
| Refer
|
| An Object Oriented Style for the Computing Surface
Matthew Chalmers | 1989 | 9 | BibTEX
| Refer
|
| An occam architecture for reconfigurable systems
M. H. Barton, N. J. Edwards | 1987 | 15 | BibTEX
| Refer
|
| An occam-2 implementation of higher-level network protocols: A case study in interfacing a multi-user multi-transputer system to a local area network
Mark Heaps | 1989 | 13 | BibTEX
| Refer
|
| An OCCAM@ implementation of prolog and its preliminary performance
Kang Zhang | 1988 | 14 | BibTEX
| Refer
|
| An Open Systems Strategy for Distributed occam Execution
Paul Singleton, Barry M. Cook | 1997 | 16 | BibTEX
| Refer
|
| An operating environment for control systems
K. C. J. Wijbrans, H. G. Tillema, André W. P. Bakkers, A. L. Schoute | 1990 | 12 | BibTEX
| Refer
|
| An operational pattern recognition system on transputers
E. Buitenwerf, J. R. van Dam, L. J. M. Nieuwenhuis | 1989 | 9 | BibTEX
| Refer
|
| An Optimised Parallel Compiler for Executing Declarative Programs on Transputer Array
Wang Dingxing, Tian Xinmin, Zheng Weimin, Shen Meiming, Wen Dongchan | 1992 | 15 | BibTEX
| Refer
|
| ANDES: A Performance Analyzer for Parallel Programs
O. Naim, A. Teruel | 1993 | 9 | BibTEX
| Refer
|
| Another Side of SPoC: occam's ALTer Ego Dissected with PC-lint
Øyvind Teig | 1999 | 18 | BibTEX
| Refer
|
| Applicability of a 16-node transputer array without external memory
Patrick van Renterghem | 1989 | 8 | BibTEX
| Refer
|
| Application of occam to biological sequence comparisons
Shane S. Sturrock, Ian Salmon | 1991 | 10 | BibTEX
| Refer
|
| Application of Transputer-based Parallel Computation in Matching Real-Time Control Models
Tushar K. Hazra | 1995 | 16 | BibTEX
| Refer
|
| Aspects of database machine design using the H1, C104 and Occam91
Jon M. Kerridge, Richard J. Oates | 1991 | 15 | BibTEX
| Refer
|
| Assessing Application Performance in Degraded Network Environments: an FPGA-based Approach
Razvan Beuran, Mihai Ivanovici | 2005 | | BibTEX
| Refer
|
| Attribute Evaluation on a Network of Transputers
Matthijs F. Kuiper, Atze Dijkstra | 1989 | 8 | BibTEX
| Refer
|
| Automatic Conversion of CSP to CTJ, JCSP, and CCSP
V. Raju, L. Rong, G. S. Stiles | 2003 | 19 | BibTEX
| Refer
|
| Automatic Design and Implementation of Microprocessors
Ian Page | 1994 | 15 | BibTEX
| Refer
|
| Automatic Handel-C Generation from MATLABŪ and SimulinkŪ for Motion Control with an FPGA
Ajeesh Gopalakrishnan, Bart Rem | 2005 | | BibTEX
| Refer
|
| Beyond transputing : fully distributed semantics in Virtuoso's Virtual Single Processor programming model and it's implementation on of-the-shelf parallel DSPs.
Eric Verhulst | 1997 | 10 | BibTEX
| Refer
|
| BIONIVISION A laserscanner with transputers
G. ter Reehorst, K. C. J. Wijbrans | 1989 | 9 | BibTEX
| Refer
|
| Blocking System Calls in KRoC/Linux
Frederick R. M. Barnes | 2000 | 24 | BibTEX
| Refer
|
| Broadcast communication in fault tolerant multicomputer systems
K. Gresser | 1990 | 7 | BibTEX
| Refer
|
| BSP Modelling of Two Tiered Architectures
Jeremy M. R. Martin, Alex V. Tiskin | 1999 | 10 | BibTEX
| Refer
|
| C++CSP Networked
Neil C. Brown | 2004 | 16 | BibTEX
| Refer
|
| C++CSP2: A Many-to-Many Threading
Neil C. Brown | 2007 | 24 | BibTEX
| Refer
|
| Cache-Affinity Scheduling for Fine Grain Multithreading
Kurt Debattista, Kevin Vella, Joseph Cordina | 2002 | 12 | BibTEX
| Refer
|
| Cayley graphs and transputer network configuration
Ian R. East, Sabah Jassim | 1990 | 7 | BibTEX
| Refer
|
| CCDM -- A Design Methodology for Modelling Communicating Code in Parallel Systems
E. A. Cachia, Gordon A. Manson | 1993 | 15 | BibTEX
| Refer
|
| CCSP - A Portable CSP-Based Run-Time System Supporting C and occam
James Moores | 1999 | 23 | BibTEX
| Refer
|
| CDL -- A distribution language for HELIOS
C. H. R. Grimsdale | 1988 | 6 | BibTEX
| Refer
|
| Cellular automaton lattice gas hydrodynamics on a parallel supercomputer
B. J. N. Wylie | 1988 | 10 | BibTEX
| Refer
|
| Chaining Communications Algorithms with CSP
Oliver Faust, Bernhard Sputh, David Endler | 2004 | 14 | BibTEX
| Refer
|
| CHANnels to Deliver Memory? MOBILE Structures and ALTing over Memory?
Øyvind Teig | 2001 | 4 | BibTEX
| Refer
|
| Classification of Programming Errors in Parallel Message Passing Systems
Jan Baekgaard Pedersen | 2006 | | BibTEX
| Refer
|
| Cluster Computing and JCSP Networking
Peter H. Welch, Brian Vinter | 2002 | 20 | BibTEX
| Refer
|
| Combining configuration and allocation
Dong-Hui Du, Guy Vidal-Naquet | 1990 | 10 | BibTEX
| Refer
|
| Commodity High Performance Computing at Commodity Prices
Simon J. Cox, Denis A. Nicole, Kenji Takeda | 1998 | 8 | BibTEX
| Refer
|
| Communicating Java Threads
Gerald H. Hilderink, Jan F. Broenink, Wiek Vervoort, André W. P. Bakkers | 1997 | 29 | BibTEX
| Refer
|
| Communicating Java Threads Reference Manual
Gerald H. Hilderink | 1997 | 43 | BibTEX
| Refer
|
| Communicating Mobile Processes
Fred Barnes, Peter H. Welch | 2004 | 18 | BibTEX
| Refer
|
| Communicating Process Architecture for Multicores
David May | 2007 | 12 | BibTEX
| Refer
|
| Communicating Threads for Java
Jan F. Broenink, André W. P. Bakkers, Gerald H. Hilderink | 1999 | 20 | BibTEX
| Refer
|
| Compile-Time Techniques for Mapping Loop Parallelism
R. Sakellariou | 1997 | 8 | BibTEX
| Refer
|
| Compiling CSP
Frederick R. M. Barnes | 2006 | | BibTEX
| Refer
|
| Compiling occam to C with Tock
Adam Sampson | 2007 | 2 | BibTEX
| Refer
|
| Components with Symbolic Transition Systems: a Java Implementation of Rendezvous
Fabricio Fernandes, Robin Passama, Jean-Claude Royer | 2007 | 20 | BibTEX
| Refer
|
| Compositions of Concurrent Processes
Mark Burgin, Marc L. Smith | 2006 | | BibTEX
| Refer
|
| Computational statistics on a multi-transputer architecture
D. Lafaye de Micheaux, A. Maurin | 1987 | 26 | BibTEX
| Refer
|
| Concurrency Control and Recovery Management for Open e-Business Transactions
Amir R. Razavi, Sotiris K. Moschoyiannis, Paul J. Krause | 2007 | 20 | BibTEX
| Refer
|
| Concurrency in database management systems design and implementation
M. E. C. Hull, F. J. Bell | 1988 | 24 | BibTEX
| Refer
|
| Concurrency in Industry (Wot, no CSPs?)
Johan P. E. Sunter | 2000 | | BibTEX
| Refer
|
| Concurrent/Reactive System Design with Honeysuckle
Ian R. East | 2007 | 10 | BibTEX
| Refer
|
| Conditional Communication in the Presence of Priority
Gerald H. Hilderink, Jan F. Broenink | 2000 | 22 | BibTEX
| Refer
|
| Configurable Collective Communication in LAM-MPI
John Markus Bjørndalen, Otto J. Anshus, Tore Aarsen, Brian Vinter | 2002 | 12 | BibTEX
| Refer
|
| Configuration Discovery and Mapping of a Home Network
Keith Pugh | 2002 | 12 | BibTEX
| Refer
|
| Configuration tools for a transputer workstation
Peter R. Croll, Gordon A. Manson | 1989 | 13 | BibTEX
| Refer
|
| Conflict Free Hardware Routing for Communication Bound Applications
M. P. Craven, K. M. Curtis, S. A. Wilde, Brian C. O'Neill, J. W. Ellis | 1996 | 14 | BibTEX
| Refer
|
| Consolidating The Agreement Problem Protocol Verification Environment
James Pascoe, Roger Loader | 2002 | 1 | BibTEX
| Refer
|
| Control of a servo loop for a vision system
Tonny Stavenuiter, Herman W. Roebbers | 1990 | 13 | BibTEX
| Refer
|
| Cooperative priority scheduling in occam
Johan P. E. Sunter, K. C. J. Wijbrans, André W. P. Bakkers | 1990 | 11 | BibTEX
| Refer
|
| Copying, Moving and Borrowing Semantics
David May, Henk Muller | 2001 | 12 | BibTEX
| Refer
|
| CS-Prolog -- Parallel programming in logic with transputers
Steffen Schulze-Kremer | 1990 | 14 | BibTEX
| Refer
|
| CSP and Real-Time: Reality or Illusion?
Bojan Orlic, Jan F. Broenink | 2007 | 30 | BibTEX
| Refer
|
| CSP Design Model and Tool Support
H. J. Volkerink, Gerald H. Hilderink, Jan F. Broenink, W.A. Veroort, André W. P. Bakkers | 2000 | 16 | BibTEX
| Refer
|
| CSP for .NET Based on JCSP
Kevin Chalmers, Sarah Clayton | 2006 | 11 | BibTEX
| Refer
|
| CSP for Java: Multithreading for All
André W. P. Bakkers, G. S. Stiles, Peter H. Welch, Gerald H. Hilderink | 1999 | 3 | BibTEX
| Refer
|
| CSP/occam on Shared Memory Multiprocessor Workstations
Kevin Vella, Peter H. Welch | 1999 | 34 | BibTEX
| Refer
|
| CSP: Arriving at the CHANnel Island (an Industrial Practitioner's Diary: in Search of a New Fairway)
Øyvind Teig | 2000 | 12 | BibTEX
| Refer
|
| CSP: The Best Concurrent-System Description Language in the World - Probably!
Michael Goldsmith | 2004 | 6 | BibTEX
| Refer
|
| CSPP and Event Priority
Adrian E. Lawrence | 2001 | 26 | BibTEX
| Refer
|
| C_NET A C++ Based Language For Distributed And Real Time Programming
Jean_Marc Adamo | 1989 | 12 | BibTEX
| Refer
|
| Data Mining in Parallel
Sarabjot S. Anand, C. Mary Shapcott, David A. Bell, John G. Hughes | 1995 | 12 | BibTEX
| Refer
|
| Data structures for parallel architectures in artificial intelligence
A. Dixon | 1987 | 13 | BibTEX
| Refer
|
| Data-Strobe Links and Virtual Channel Processors
Barry M. Cook | 1997 | 14 | BibTEX
| Refer
|
| Debugging and Verification of Parallel Systems - the picoChip Way
Andrew Duller, Gajinder Panesar, Daniel Towner | 2004 | 14 | BibTEX
| Refer
|
| Dedicated Multi-Priority Scheduling
E. Ploeg, Johan P. E. Sunter, André W. P. Bakkers, Herman W. Roebbers | 1994 | 14 | BibTEX
| Refer
|
| Design and Implementation of Complex Telecom Processes using State Machine Concepts
V. Matic | 1996 | 8 | BibTEX
| Refer
|
| Design and Monitoring Systems for Parallel Programming
Alexander J. Katalov, Vladimir J. Katalov, Vladimir K. Nikolaev | 1998 | 28 | BibTEX
| Refer
|
| Design of a High Performance Protocol Analysis system using transputers
Sarvajna Kazi, Robert D. Hockman | 1990 | 10 | BibTEX
| Refer
|
| Design of a real-time operating system (RTOS) for robot control
André W. P. Bakkers, R. Van Rooij, L. James | 1987 | 10 | BibTEX
| Refer
|
| Design of a Transputer Core and Implementation in an FPGA
Makoto Tanaka, Naoya Fukuchi, Yutaka Ooki, Chikara Fukunaga | 2004 | 12 | BibTEX
| Refer
|
| Design Principles of the SystemCSP Software Framework
Bojan Orlic, Jan F. Broenink | 2007 | 22 | BibTEX
| Refer
|
| Deterministic Message Routing for Safety-Critical Applications
Peter R. Croll | 1991 | 13 | BibTEX
| Refer
|
| Developement methods and occam
David M. Gee, Barry P. Worrall, W. D. Henderson | 1991 | 12 | BibTEX
| Refer
|
| Developing an optimising compiler for occam
Spiridon Kalogeropoulos | 1998 | 10 | BibTEX
| Refer
|
| Developing Embedded Appliations in an Array of Specialised Transputer Modules
R. Storer, D. J. Milford, E. L. Dagless, J. A. Bulas~Cruz | 1994 | 15 | BibTEX
| Refer
|
| Development of a Family of Multi-Core Devices Using Hierarchical Abstraction
Andrew Duller, Alan Gray, Daniel Towner, Jamie Iles, Gajinder Panesar, Will Robbins | 2007 | 14 | BibTEX
| Refer
|
| Diffusion limited aggregation: An example of real-time parallelisation
D. R. Morse, A. M. Welch, Peter H. Welch | 1990 | 14 | BibTEX
| Refer
|
| Discrete event simulation using occam
Christopher H. Nevison | 1989 | 9 | BibTEX
| Refer
|
| Distributed Computing using Channel Communications in Java
A. Ripke, Alastair R. Allen, Y. Feng | 2000 | 14 | BibTEX
| Refer
|
| Distributed Monte Carlo Techniques for Interactive Photo-Realistic Image Synthesis
Jonathan Tidmus, Alan G. Chalmers, Roger Miles | 1994 | 9 | BibTEX
| Refer
|
| Distributed Shared Memory in Global Area Networks
Hans Henrik Happe, Brian Vinter | 2003 | 14 | BibTEX
| Refer
|
| Distributing matrix eigenvalue calculations over transputer arrays
Tim Hopkins, Barry Vowden | 1990 | 8 | BibTEX
| Refer
|
| Domain Specific Transformations for Hardware Ray Tracing
Wayne Luk, Tim Todman | 2007 | | BibTEX
| Refer
|
| DRAT -- A proposal for a dynamic reconfigurable array of transputers to support database applications
Jon M. Kerridge | 1987 | 11 | BibTEX
| Refer
|
| Dynamic Allocation of Prcesses and Channels in T9000/C104 Networks Using occam 3
Jon M. Kerridge | 1994 | 17 | BibTEX
| Refer
|
| Dynamic BSP: Towards a Flexible Approach to Parallel Computing over the Grid
Jeremy M. R. Martin, Alex V. Tiskin | 2004 | 8 | BibTEX
| Refer
|
| Dynamic Creation of Virtual Links within T9000 Networks
S. R. Harrison, Chris R. Brown | 1996 | 10 | BibTEX
| Refer
|
| Dynamic Process Interaction
Lajos Schrettner, Innes Jelly | 1997 | 13 | BibTEX
| Refer
|
| Dynamic processes in occam
I. A. Horton, Stephen J. Turner | 1988 | 12 | BibTEX
| Refer
|
| Dynamic Real-Time Scheduling for a Parallel Production System on an Enhanced Transputer Array
P. W. A. Stallard, R. W. Dunn, A. R. Daniels | 1993 | 14 | BibTEX
| Refer
|
| Dynamicity through Occam and TDS
D. Millot, J. Vautherin | 1989 | 9 | BibTEX
| Refer
|
| Efficiency Measurements in Heterogeneous Transputer Systems
A. Mazzeo, N. Mazzocca, Umberto Villano | 1994 | 10 | BibTEX
| Refer
|
| Efficient Execution of Process Networks
T. Basten, J. Hoogerbrugge | 2001 | 14 | BibTEX
| Refer
|
| Emulating a Secure Multicasting Bus using occam 2.1
David J. Beckett, Peter H. Welch | 1996 | 16 | BibTEX
| Refer
|
| Evaluation of a set of message- passing routines on transputer networks
Wentong Cai, David B. Skillicorn | 1992 | 13 | BibTEX
| Refer
|
| Evaluation of two systems for distributed message passing in transputer networks
N. N. Avramov, A. E. Knowles | 1990 | 13 | BibTEX
| Refer
|
| Event-Based Design of Concurrent Programs with Java Implementation
H. Rischel, H. Sun | 2001 | 12 | BibTEX
| Refer
|
| Exception Handling Mechanism in Communicating Threads for Java
Gerald H. Hilderink | 2005 | | BibTEX
| Refer
|
| Expanding the Message Passing Library Model with Nested Parallelism
C. Rodriguez, F. Sande, C. León, F. Garcia | 1997 | 8 | BibTEX
| Refer
|
| Experimental studies of conservative distributed discrete-event simulation on transputer networks
W. Cal, S. J. Turner | 1990 | 10 | BibTEX
| Refer
|
| Experiments in algorithmic parallelism
Peter C. Capon | 1989 | 14 | BibTEX
| Refer
|
| Experiments with a transputer-based diffusion architecture
D. McBurney, M. R. Sleep | 1987 | 12 | BibTEX
| Refer
|
| Extended Transputer Code -- a Target-Independent Representation of Parallel Programs
Michael D. Poole | 1998 | 12 | BibTEX
| Refer
|
| Extending CSP
Adrian E. Lawrence | 1998 | 22 | BibTEX
| Refer
|
| Farming: Towards a rigorous definition and efficient transputer implementation
Warren Day | 1992 | 14 | BibTEX
| Refer
|
| Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams
Werner Dierssen, Niek Kooji, Albert Schoute, Remco Seesink | 2005 | | BibTEX
| Refer
|
| Fast fourier transform on transputers
Aman Khan, Nelson Stephens | 1991 | 9 | BibTEX
| Refer
|
| Fast prototyping of architectural designs using transputers
David B. Skillicorn | 1988 | 4 | BibTEX
| Refer
|
| Fault tolerant computing with transputers and occam
L. J. M. Nieuwenhuis, G. D. Blom | 1990 | 11 | BibTEX
| Refer
|
| Fine Grain Parallel Processing on Commodity Platforms
R. W. Dobinson, P. D. V. van der Stok, Marcel Boosten | 1999 | 14 | BibTEX
| Refer
|
| Fine-grain Concurrency
Tony Hoare | 2007 | 20 | BibTEX
| Refer
|
| Fine-grained global control constructs for parallel programming environments
Marek Tudruj | 1997 | 15 | BibTEX
| Refer
|
| Finitary Refinement Checks for Infinitary Specifications
A. W. Roscoe | 2004 | 18 | BibTEX
| Refer
|
| Flexible, Transparent and Dynamic occam Networking With KRoC.net
Mario Schweigler, Frederick R. M. Barnes, Peter H. Welch | 2003 | 26 | BibTEX
| Refer
|
| Focussing on Traces to Link VCR and CSP
Marc L. Smith | 2004 | 8 | BibTEX
| Refer
|
| Formal Analysis of Concurrent Java Systems
Peter H. Welch, Jeremy M. R. Martin | 2000 | 27 | BibTEX
| Refer
|
| Formal Contracts: Enabling Component Composition
Marcel Boosten | 2003 | 13 | BibTEX
| Refer
|
| Formal methods in the design of the T9000
Geoff Barrett, David May, D. Shepard | 1992 | 18 | BibTEX
| Refer
|
| From Object Oriented Analysis to Implementation using occam
Rick D. Beton | 1996 | 14 | BibTEX
| Refer
|
| From Safe Concurrent Processes to Process-Classes? PLUSSING New Code by ROLLING out and Compile?
Øyvind Teig | 2001 | 22 | BibTEX
| Refer
|
| Gaussian Pyramidal Fast Filtering and Parallel Implementation
N. Tonfack E. Leclercq, A. Faure | 1996 | 16 | BibTEX
| Refer
|
| gCSP occam Code Generation for RMoX
Jan F. Broenink, Marcel A. Groothuis, Geert K. Liet | 2005 | | BibTEX
| Refer
|
| GECKO: A graphical tool for the modelling and manipulation of occam software and transputer hardware topologies
Marc Stephenson, Olivier Boudillet | 1988 | 6 | BibTEX
| Refer
|
| General purpose parallel computers: a standard architecture with a standard programming interface
Geoff Barrett, Eric Barton, Trevor Carden, Dominique Duval, Denis A. Nicole | 1992 | 10 | BibTEX
| Refer
|
| Global Time Measurements in Transputer Networks
Giuseppe de Pietro, Umberto Villano | 1993 | 14 | BibTEX
| Refer
|
| Globally-Connected Fault-Tolerant Systems
Peter Thompson | 1993 | 14 | BibTEX
| Refer
|
| Graceful termination -- graceful resetting
Peter H. Welch | 1989 | 8 | BibTEX
| Refer
|
| GRAIL -- Graphical representation of activity, interconnection and loading
S. Stepney, GRAIL | 1987 | 9 | BibTEX
| Refer
|
| Graphical Tool for Designing CSP Systems
Jan F. Broenink, Dusko S. Jovanovic | 2004 | 20 | BibTEX
| Refer
|
| Groovy Parallel! A Return to the Spirit of occam?
Jon M. Kerridge | 2005 | | BibTEX
| Refer
|
| Guarenteed Message Delivery Time on Real-Time Distributed Systems
T. -Y. Yang, G. S. Stiles | 2001 | 18 | BibTEX
| Refer
|
| Hard and Soft Priority in CSP
Adrian E. Lawrence | 1999 | 29 | BibTEX
| Refer
|
| Hardware for Transputing without Transputers
C. P. H. Walker | 1996 | 10 | BibTEX
| Refer
|
| Hardware/Software Synthesis and Verification Using Esterel
Satnam Singh | 2007 | 8 | BibTEX
| Refer
|
| HCSP: Extending CSP for Codesign and Shared Memory
Adrian E. Lawrence | 1998 | 24 | BibTEX
| Refer
|
| HCSP: Imperative State and True Concurrency
Adrian E. Lawrence | 2002 | 18 | BibTEX
| Refer
|
| HELIOS -- An operating system for the transputer
N. H. Garnett | 1987 | 9 | BibTEX
| Refer
|
| High Cohesion and Low Coupling: the Office Mapping Factor
Øyvind Teig | 2007 | 10 | BibTEX
| Refer
|
| High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog
Peter A. Beerel, Arash Saifhashemi | 2005 | | BibTEX
| Refer
|
| High performance event and I/O handling on the transputer
R. G. Harley, D. C. Levy, A. W. M. Hemme, M. R. Webster | 1990 | 10 | BibTEX
| Refer
|
| Higher Levels of Process Synchronisation
Peter H. Welch, David C. Wood | 1997 | 26 | BibTEX
| Refer
|
| Higher-Order Concurrency in Java
Erik D. Demaine | 1997 | 14 | BibTEX
| Refer
|
| Highly transparent monitoring of parallel systems using "logical clocks"
Wentong Cai, Stephen J. Turner | 1989 | 12 | BibTEX
| Refer
|
| Host-independent access to transputers
Roger M. A. Peel | 1990 | 6 | BibTEX
| Refer
|
| How to achieve replication within a CASE tool environment
Gordon A. Manson, E. A. Cachia, A. Boyle | 1992 | 13 | BibTEX
| Refer
|
| How to Design Deadlock-Free Networks Using CSP and Verification Tools -- A Tutorial Introduction
Jeremy M. R. Martin, S. A. Jassim | 1997 | 13 | BibTEX
| Refer
|
| How To Write a Highly Parallel Program
Geoff Barrett | 1993 | 9 | BibTEX
| Refer
|
| ICR: A Transputer-Based Intelligent Character Reader
Francis Wong F.S., Koh Liang Seng | 1989 | 8 | BibTEX
| Refer
|
| IEEE 1355 DS-Links: Present Status and Future Prospects
C. R. Anderson, Marcel Boosten, R. W. Dobinson, S. Haas, R. Heeley, N. A. H. Madsen, B. Martin, J. Pech, D. A. Thornley, C. L. Ullod | 1998 | 12 | BibTEX
| Refer
|
| Image processing on the reconfigurable transputer processor
J. G. Harp, H. C. Webber | 1987 | 9 | BibTEX
| Refer
|
| Implementation of back-propogation on a transputer array
G. Richards | 1988 | 8 | BibTEX
| Refer
|
| Implementation of KRoC on Analog Devices "SHARC" DSP
André W. P. Bakkers, G. W. Otten, M. H. Schwirtz, R. Bruis, Jan F. Broenink | 1996 | 12 | BibTEX
| Refer
|
| Implementation of learning automata games on a 128-transputer reconfigurable machine using VCR1.8c (Virtual Channel Router)
Franciszek Seredynski, João Paulo Kitajima, Brigitte Plateau | 1992 | 5 | BibTEX
| Refer
|
| Implementation of real-time scheduling algorithms in a transputer environment
Ole Caprani, Jens E. Kristensen, Claus Mørk, Henrik Bo Pedersen, Finn R. Rasmussen | 1990 | 12 | BibTEX
| Refer
|
| Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs
Geraldo Pereira de Souza, Gerson Henrique Pfitscher | 2002 | 1 | BibTEX
| Refer
|
| Implementing an Active Chart Parser on a Transputer Network
Janet Edwards, John H. Connolly | 1991 | 10 | BibTEX
| Refer
|
| Implementing Recursion on a Double Ring Topology
J. L. Jacquemin | 1990 | 5 | BibTEX
| Refer
|
| Improving TCP/IP Multicasting with Message Segmentation
Hans Henrik Happe, Brian Vinter | 2005 | | BibTEX
| Refer
|
| Incorporating Use-Case Analysis in PCSC Method
Chandran Elamvazuthi, Gordon A. Manson | 1995 | 14 | BibTEX
| Refer
|
| Incremental behavioral simulations on a network of transputers
Keith Dimond, Samir Hassan | 1990 | 9 | BibTEX
| Refer
|
| Infinite Traces, Acceptances and CSPP
Adrian E. Lawrence | 2001 | 10 | BibTEX
| Refer
|
| Integrating and Extending JCSP
Peter H. Welch, Neil C. Brown, James Moores, Kevin Chalmers, Bernhard Sputh | 2007 | 21 | BibTEX
| Refer
|
| Integration of Classification and Evaluation Procedures in the Implementation of Parallel Image Analysis Algorithms
P. Brittan, M. C. Fairhurst | 1991 | 9 | BibTEX
| Refer
|
| Interacting Components
Bojan Orlic, Jan F. Broenink | 2006 | | BibTEX
| Refer
|
| Interactive Computing with the Minimum intrusion Grid (MiG)
Otto J. Anshus, John Markus Bjørndalen | 2005 | | BibTEX
| Refer
|
| Interconnecting Remote LANs via Public Data Networks by High Performance Parallel Routers
A. Lakkis, L Jacquemin J, M. Dumas | 1996 | 16 | BibTEX
| Refer
|
| Interfacing with Honeysuckle by Formal Contract
Ian R. East | 2005 | | BibTEX
| Refer
|
| Issues raised while implementing a layered protocol using occam and the transputer
Roger M. A. Peel | 1989 | 13 | BibTEX
| Refer
|
| Java Joins IEEE-1355 in the Home Network
Barry M. Cook, N. H. White | 1999 | 10 | BibTEX
| Refer
|
| Java PastSet - A Structured Distributed Shared Memory System
Kei Simon Pedersen, Brian Vinter | 2002 | 12 | BibTEX
| Refer
|
| Java Threads in Light of occam/CSP (Tutorial)
Peter H. Welch | 1997 | 1 | BibTEX
| Refer
|
| Java Threads in the light of occam/CSP
Peter H. Welch | 1998 | 26 | BibTEX
| Refer
|
| JCSP-Poison: Safe Termination of CSP Process Networks
Alastair R. Allen, Bernhard Sputh | 2005 | | BibTEX
| Refer
|
| jcsp.mobile: A Package Enabling Mobile Processes and Channels
Kevin Chalmers, Jon M. Kerridge | 2005 | | BibTEX
| Refer
|
| JCSProB: Implementing Integrated Formal Specifications in Concurrent Java
Letu Yang, Michael R. Poppleton | 2007 | 22 | BibTEX
| Refer
|
| K-CSP Component Based Development of Kernel Extensions
Bernhard Sputh | 2004 | 14 | BibTEX
| Refer
|
| LATIN -- A language for transputer networks
D. Crookes, P. Milligan, N. S. Scott, P. L. Kilpatrick, Philip J. Morrow | 1987 | 16 | BibTEX
| Refer
|
| Lazy Cellular Automata with Communicating Processes
Peter H. Welch, Frederick R. M. Barnes | 2005 | | BibTEX
| Refer
|
| Lazy Exploration and Checking of CSP Models with CSPsim
Philip J Brooke, Richard F. Paige | 2007 | 18 | BibTEX
| Refer
|
| Legacy of the Transputer
Ruth Ivimey-Cook | 1999 | 15 | BibTEX
| Refer
|
| libcsp - a Building mechanism for CSP Communication and Synchronisation in Multithreaded C Programs
Rick D. Beton | 2000 | 12 | BibTEX
| Refer
|
| LiBRA -- A load balancing tool for a reconfigurable parallel computer
Sanjay Tambwekar, U. S. Shukla, A. Paulraj | 1990 | 13 | BibTEX
| Refer
|
| Linda implementation revisted
Andrew Douglas, Alan Wood, Antony Rowstron | 1995 | 14 | BibTEX
| Refer
|
| MALT: A Multiway Alternation Construct for occam
Adam K. L. Wong, Francis C. M. Lau | 1998 | 12 | BibTEX
| Refer
|
| Managing real-time demands on transputers
Peter H. Welch | 1987 | 11 | BibTEX
| Refer
|
| Mapping a process network onto a processor network
Francis C. M. Lau, K. M. Shea | 1988 | 10 | BibTEX
| Refer
|
| Mapping PCSC Design Model to Inmos ANSI C
S. Sahib, Gordon A. Manson | 1995 | 19 | BibTEX
| Refer
|
| Mapping Revisited
D. Goodeve | 1993 | 15 | BibTEX
| Refer
|
| Marvin -- Multiprocessor Architecture for vision
Chris R. Brown, Michael Rygol | 1989 | 13 | BibTEX
| Refer
|
| Mathmatical models of distributing computation
D. Pritchard | 1987 | 12 | BibTEX
| Refer
|
| Memory access synchronization in series expansion methods of parallel image reconstruction
W. J. Nowinski | 1990 | 10 | BibTEX
| Refer
|
| Memory Management Strategies for Parallel Volume Rendering
Alan G. Chalmers | 1996 | 14 | BibTEX
| Refer
|
| Memory managers for transputing networks
J. C. Admiraal, N. Carmichael | 1989 | 6 | BibTEX
| Refer
|
| Message routing systems for transputer based parallel computers
Domenico Talia | 1992 | 12 | BibTEX
| Refer
|
| Mixed Language Programming for Transputer Networks, A Case Study
I. E. Jelly, S. A. Morris | 1993 | 13 | BibTEX
| Refer
|
| Mobile Data, Dynamic Allocation and Zero Aliasing: An occam Experiment
Peter H. Welch, Frederick R. M. Barnes | 2001 | 22 | BibTEX
| Refer
|
| Mobile Robot Control: The Subsumption Architecture and occam-pi
Jonathan Simpson, Christian Jacobson, Matthew C. Jadud | 2006 | | BibTEX
| Refer
|
| Mobility in JCSP: New Mobile Channel and Mobile Process Models
Kevin Chalmers, Jon M. Kerridge, Imed Romdhani | 2007 | 20 | BibTEX
| Refer
|
| Modeling and Analysis of the AMBA Bus Using CSP and B
Alistair A. McEwan, Steve Schneider | 2007 | 20 | BibTEX
| Refer
|
| Modelling Real-Time Behaviour of Parallel Transputer Systems under Failure Conditions
Peter R. Croll, P. M. Griffiths | 1995 | 13 | BibTEX
| Refer
|
| Monitoring occam channels by program transformation
Peter C. Capon, Adrian J. West | 1987 | 10 | BibTEX
| Refer
|
| Multi-priority scheduling for transputer-based real-time control
Peter H. Welch | 1990 | 17 | BibTEX
| Refer
|
| Multi-transputer based parallel implementation of feature extraction for object recognition
D. W. Downing, I. B. Bennett | 1988 | 12 | BibTEX
| Refer
|
| Multilayer perceptrons on transputer networks
N. Dodd | 1987 | 12 | BibTEX
| Refer
|
| Native Code Generation using the Transterpreter.
Christian Jacobson, Damian J. Dimmich, Matthew C. Jadud | 2006 | | BibTEX
| Refer
|
| Native JCSP - the CSP for Java library with a Low-Overhead CSP Kernel
James Moores | 2000 | 12 | BibTEX
| Refer
|
| No Blocking on Yesterday's Embedded CSP Implementation (the Rubber Band of Getting it Right and Simple)
Øyvind Teig | 2006 | | BibTEX
| Refer
|
| Nonconvex continuous optimization experiments on a transputer system
A. ter Laak, L. O. Hertzberger, P. M. A. Sloot | 1992 | 15 | BibTEX
| Refer
|
| Object Orientated Version Management on A Transputer-Based Architecture
W. T. Macaulay, K. S. Stringer | 1994 | 8 | BibTEX
| Refer
|
| Observing Processes
Adrian E. Lawrence | 2004 | 10 | BibTEX
| Refer
|
| oc-X: an Optimising Multiprocessor occam System for the PowerPC
Tim Sheen, Alastair R. Allen, Andreas Ripke, Stacy Woo | 1998 | 20 | BibTEX
| Refer
|
| Occam and transputers for industrial applications
H. A. M. Hendrikx, R. J. Hacking | 1988 | 2 | BibTEX
| Refer
|
| Occam for all - Two Approaches to Retargetting the INMOS Compiler
Michael D. Poole | 1996 | 12 | BibTEX
| Refer
|
| occam for Multi-Processor DEC Alphas
Peter H. Welch, Michael D. Poole | 1997 | 10 | BibTEX
| Refer
|
| occam for reliable embedded systems: lightweight runtime and model checking
Denis A. Nicole, Sam Ellis, Simon Hancock | 2003 | 6 | BibTEX
| Refer
|
| occam on Field Programmable Gate Arrays - Optimising for Performance
Roger M. A. Peel, Barry M. Cook | 2000 | 12 | BibTEX
| Refer
|
| Occam on Field Programmable Gate Arrays - Steps towards the Para-PC
Barry M. Cook, Roger M. A. Peel | 1999 | 18 | BibTEX
| Refer
|
| Occam program synthesis for execution on parallel machines: Towards a transformational approach
Xiaobo Yu, Traian Muntean | 1990 | 14 | BibTEX
| Refer
|
| Occam transformation at Oxford
Michael Goldsmith | 1987 | 18 | BibTEX
| Refer
|
| Occam's priority model and deadline scheduling
A. Burns | 1987 | 14 | BibTEX
| Refer
|
| Occam, PVM and the Alternative Construct
C. Elamvazuthi, Gordon A. Manson | 1994 | 13 | BibTEX
| Refer
|
| occwserv: An occam Web-Server
Frederick R. M. Barnes | 2003 | 18 | BibTEX
| Refer
|
| On guards
Geraint Jones | 1987 | 10 | BibTEX
| Refer
|
| On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software
Jan F. Broenink, Dusko S. Jovanovic | 2005 | | BibTEX
| Refer
|
| On Linear Time and Congruence in Channel-Passing Calculi
Frederic Peschanski | 2004 | 16 | BibTEX
| Refer
|
| On the Complexity of Buffer Allocation in Message Passing Systems
Alex Brodsky, Jan Baekgaard Pedersen, Alan Wagner | 2002 | 18 | BibTEX
| Refer
|
| On the Feasibility of Run-Time Process Migration in Multi-transputer Machines
Peter Jones, Hojung Cha | 1990 | 16 | BibTEX
| Refer
|
| On the serialisation of parallel programs
Peter H. Welch, G. R. Ribeiro Justo | 1991 | 22 | BibTEX
| Refer
|
| On the Use of Transputers in a Multimedia Teleconferencing System
Iain Phillips, D. Parish | 1994 | 7 | BibTEX
| Refer
|
| Operating models for (reconfigurable) transputer networks
Traian Muntean, C. Tricot | 1987 | 16 | BibTEX
| Refer
|
| Optical character recognition on a network of transputers
P. Patry | 1987 | 16 | BibTEX
| Refer
|
| Optimum Transputer Configurations for Real Applications Requiring Global Communication
Colin J. Burgess, Alan G. Chalmers | 1995 | 11 | BibTEX
| Refer
|
| Overtures and hesitant offers: hiding in CSPP
Adrian E. Lawrence | 2003 | 13 | BibTEX
| Refer
|
| PAR and STARTP Take the Tanks
Øyvind Teig | 1998 | 18 | BibTEX
| Refer
|
| Parallel Algorithms for Deadlock and Livelock Analysis of Concurrent Systems
Jeremy M. R. Martin, Yvonne Huddart | 2000 | 14 | BibTEX
| Refer
|
| Parallel application development with dynamo
A. Biriukov, D. Ulyanov | 1995 | 9 | BibTEX
| Refer
|
| Parallel Execution of Prolog on a Transputer-Based Network
L. Araujo, J. J. Ruz | 1993 | 15 | BibTEX
| Refer
|
| Parallel Genetic Algorithms to Find Near Optimal Schedules for Tasks on Multiprocessor Architectures
M. Moore | 2001 | 10 | BibTEX
| Refer
|
| Parallel Graph Colouring using Java
Thomas Umland | 1998 | 8 | BibTEX
| Refer
|
| Parallel Imperative Functional Programming
Steve Hill | 1995 | 14 | BibTEX
| Refer
|
| Parallel implementations of a molecular dynamics program for Lennard-Jones particles on transputer network
V. Martorana, M. Migliore, S. L. Fornilli | 1987 | 7 | BibTEX
| Refer
|
| Parallel panel methods
Alan G. Chalmers, Steven P. Fiddes, Derek J. Paddon | 1990 | 9 | BibTEX
| Refer
|
| Parallel Processing - the picoChip way!
Andrew Duller, Gajinder Panesar, Daniel Towner | 2003 | 14 | BibTEX
| Refer
|
| Parallel processing with the disputer
C. P. Winder | 1988 | 14 | BibTEX
| Refer
|
| Parallel programming toolkit for 3L -- C FORTRAN and Pascal
Alan D. Culloch | 1988 | 8 | BibTEX
| Refer
|
| Parallel Scan Line algorithm for Hidden Surface Elimination
Julian C. Highfield | 1991 | 8 | BibTEX
| Refer
|
| Parallel Solution of Linear ODEs. Implementation on Transputer Networks
G. Mourney | 1996 | 10 | BibTEX
| Refer
|
| Parallel-DB4GL: An implementation of a self-describing object-oriented database application generator on transputer hardware
J. P. Gray, F. Poole | 1990 | 16 | BibTEX
| Refer
|
| Parallelisation for the progressive refinement radiosity method for the synthesis of realistic images
Peter Green, Ed Morgan | 1995 | 16 | BibTEX
| Refer
|
| Parallelisation of computational algorithms for a transputer network: An approach
R. Hilhorst | 1987 | 5 | BibTEX
| Refer
|
| PARAVER: A Tool to Visualize and Analyze Parallel Code
V. Pillet, J. Labarta, T. Cortes, S. Girona | 1995 | 15 | BibTEX
| Refer
|
| PARX: A parallel operating system for transputer based machines
J. Briat, M. Favre, D. Fort, N. Gonzalez-Valenzuela, Y. Langue, Traian Muntean, Ph. Waille | 1989 | 29 | BibTEX
| Refer
|
| PDS: Advanced program developement system for transputer based machines
J. Eudes, F. Menneteau, L. Mugwaneza, Traian Muntean | 1989 | 14 | BibTEX
| Refer
|
| PEDFLOW - A System for Modelling Pedestrian Movement using occam
Jon M. Kerridge, N. McNair | 1999 | 18 | BibTEX
| Refer
|
| Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems
Mark Green, Ali E. Abdallah | 2002 | 10 | BibTEX
| Refer
|
| Performance Evaluation of JCSP Micro Edition: JCSPme
Kevin Chalmers, Jon M. Kerridge | 2006 | | BibTEX
| Refer
|
| Performance modelling of a parallel meural network simulator
Tom Tollenaere, Dirk Roose | 1992 | 12 | BibTEX
| Refer
|
| Performance of post-game analysis on transputers
Johan P. E. Sunter, André W. P. Bakkers | 1991 | 11 | BibTEX
| Refer
|
| PIPES: A transputer-based parallel architecture for AI real time applications
G. P. Balboni, G. Giandonato, R. Melen | 1989 | 16 | BibTEX
| Refer
|
| PIX: NeWS for parallel computers
P. Goward, W. Leler | 1988 | 8 | BibTEX
| Refer
|
| pony - The occam-pi Network Environment
Mario Schweigler, Adam Sampson | 2006 | | BibTEX
| Refer
|
| Portable CSP Based Design for Embedded Multi-Core Systems
Alastair R. Allen, Oliver Faust, Bernhard Sputh | 2006 | | BibTEX
| Refer
|
| Porting the 3L Parallel C environment to the Texas Instruments TMS320C40
Alan D. Culloch | 1992 | 14 | BibTEX
| Refer
|
| Porting the INMOS occam Compiler to the SPARC Architecture
K. Rothwell, G. Shaw, A Smith | 1995 | 8 | BibTEX
| Refer
|
| Post-Mortem Debugging in KRoC
David C. Wood, Frederick R. M. Barnes | 2000 | 14 | BibTEX
| Refer
|
| Predictable response times and portable hard real-time systems with TRANS-RTXc on the Transputer
Eric Verhulst, Hans Thielemans | 1990 | 9 | BibTEX
| Refer
|
| Prefetch Data Management for Parallel Particle Tracing
Jonathan Tidmus, Roger Miles, Alan G. Chalmers | 1997 | 8 | BibTEX
| Refer
|
| Prioritised Dynamic Communicating Processes - Part I
Fred Barnes, Peter H. Welch | 2002 | 32 | BibTEX
| Refer
|
| Prioritised Dynamic Communicating Processes - Part II
Fred Barnes, Peter H. Welch | 2002 | 18 | BibTEX
| Refer
|
| Prioritised Service Architecture
Ian R. East | 2004 | 16 | BibTEX
| Refer
|
| Processor Farm Analysis and Simulation for Embedded Parallel Processing Systems
R. W. S. Tregidgo, A. C. Downton | 1990 | 11 | BibTEX
| Refer
|
| Processor Independant and Extendable Routing System using a Cyclic Routing Algorithm
P. A. Shallow | 1991 | 9 | BibTEX
| Refer
|
| Protocol Verification in Millipede
Jan B. Pedersen, A. Wagner | 2001 | 20 | BibTEX
| Refer
|
| Prototyping transputer applications
E. Hart, S. Flavell | 1990 | 7 | BibTEX
| Refer
|
| Providing CSP-Like Functionality in a Helios Environment
P. Böckmann, H. Giese, G. Wirtz | 1994 | 15 | BibTEX
| Refer
|
| PyCSP - Communicating Sequential Processes for Python
Otto J. Anshus, John Markus Bjørndalen, Brian Vinter | 2007 | 20 | BibTEX
| Refer
|
| R16: a New Transputer Design for FPGAs
John Jakson | 2005 | | BibTEX
| Refer
|
| Rain VM: Portable Concurrency through Managing Code
Neil C. Brown | 2006 | | BibTEX
| Refer
|
| Rain: A New Concurrent Process-Oriented Programming Language
Neil C. Brown | 2006 | | BibTEX
| Refer
|
| Randomised routing: "Hot potato" simulations
Xu Ming Qiang, Stephen J. Turner | 1988 | 10 | BibTEX
| Refer
|
| Ray-tracing on super-node
D. Gasilloud, B. Mignot | 1987 | 6 | BibTEX
| Refer
|
| Real-time and fault tolerance in distributed control software
Bojan Orlic, Jan F. Broenink | 2003 | 16 | BibTEX
| Refer
|
| Real-time Performance Evaluation Issues for Transputer Networks
M. Tokhi, M. Hossain, M. Baxter, P. J. Fleming | 1995 | 12 | BibTEX
| Refer
|
| Real-time processing of large volume data from photographic plate measurements
W. A. Cormack | 1988 | 12 | BibTEX
| Refer
|
| Real-Time Transputer Models of a Low-Level Primate Vision
Andrew B. Smith, Peter H. Welch | 1989 | 11 | BibTEX
| Refer
|
| Reconfigurable Computing
Roger Gook | 1997 | 1 | BibTEX
| Refer
|
| Reconfigurable Hardware Synthesis of the IDEA Cryptographic Algorithm
Ali E. Abdallah, I. W. Damaj | 2004 | 30 | BibTEX
| Refer
|
| Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs
Ralph Moseley | 2002 | 14 | BibTEX
| Refer
|
| Refining Industrial Scale Systems in Circus
Marcel Oliveira, Ana Cavalcanti, Jim Woodcock | 2004 | 30 | BibTEX
| Refer |
