David May

Ed Nutting

ACM Trans. Embed. Comput. Syst., 2021

CSP, Occam, and Inmos.

[BibT_eX]

[DOI]

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Garbage Collection for Edge Computing.

[BibT_eX]

[DOI]

Andrés Amaya García

Ed Nutting

Proceedings of the 5th IEEE/ACM Symposium on Edge Computing, 2020

2016

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems.

[BibT_eX]

[DOI]

Steve Kerrison

Kerstin Eder

Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

2012

The XMOS Architecture and XS1 Chips.

[BibT_eX]

[DOI]

IEEE Micro, 2012

Emulating a large memory sequential machine with a collection of small memory ones

[BibT_eX]

[DOI]

James W. Hanlon

Simon J. Hollis

CoRR, 2012

Scalable data abstractions for distributed parallel computations

[BibT_eX]

[DOI]

James W. Hanlon

Simon J. Hollis

CoRR, 2012

2011

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface.

[BibT_eX]

[DOI]

Suleiman Abu Kharmeh

Kerstin Eder

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2008

Invited Talk 1- Past, Present, and Future Communicating Processors.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Networks-on-Chips, 2008

2007

Communicating Process Architecture for Multicores.

[BibT_eX]

[DOI]

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2004

CSP, occam and Transputers.

[BibT_eX]

[DOI]

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2002

Caches with Compositional Performance.

[BibT_eX]

[DOI]

Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

Predictable Instruction Caching for Media Processors.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Application-Specific Systems, 2002

2001

Random Register Renaming to Foil DPA.

[BibT_eX]

[DOI]

Nigel P. Smart

Proceedings of the Cryptographic Hardware and Embedded Systems, 2001

Non-deterministic Processors.

[BibT_eX]

[DOI]

Nigel P. Smart

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

2000

Hardware Migratable Channels (Research Note).

[BibT_eX]

[DOI]

Shondip Sen

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Using Channels for Multimedia Communication.

[BibT_eX]

[DOI]

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Microcaches.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing, 1999

1998

Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets.

[BibT_eX]

[DOI]

Neil Pollard

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

A Simple Protocol to Communicate Channels over Channels.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1993

Components for Computing and Communications.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992

The T9000 Transputer.

[BibT_eX]

[DOI]

Peter Thompson

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

1991

How to Design a Parallel Computer.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

The Next Generation Transputers and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1989

Towards Totally Verified Systems.

[BibT_eX]

[DOI]

David Shepherd

Proceedings of the Mathematics of Program Construction, 1989

1988

Occam and the transputer.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1989, 1988

1987

The IMS T800 Transputer.

[BibT_eX]

[DOI]

IEEE Micro, 1987

1986

Communicating Process Architecture: Transputers and Occam.

[BibT_eX]

[DOI]

Catherine Keane

Proceedings of the Future Parallel Computers, 1986

1984

OCCAM-an overview.

[BibT_eX]

[DOI]

Richard James Taylor

Microprocess. Microsystems, 1984

The Transputer Implementation of Occam.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

OCCAM.

[BibT_eX]

[DOI]