Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Roger M. A. Peel is active.

Publication


Featured researches published by Roger M. A. Peel.


2009 First International Workshop on Requirements Engineering for e-Voting Systems | 2009

Experiences Gained from the first Prêt à Voter Implementation

David Bismark; James Heather; Roger M. A. Peel; Steve Schneider; Zhe Xia; Peter Y. A. Ryan

Implementing an electronic voting system for the first time can be difficult, since requirements are sometimes hard to specify and keep changing, resources are scarce in an academic setting, the gap between theory and practice is wider than anticipated, adhering to a formal development lifecycle is inconvenient and delivery on time is very hard. This paper describes all of the work done by the Pr^et `a Voter team in the run-up to VoComp in 2007 and enumerates a number of lessons learned.


Archive | 2013

The I/O-Boards

Barry M. Cook; Paul Walker; Roger M. A. Peel

This chapter provides the technical description of the system’s I/O-Boards and the CCSDS-Boards for telecommand decoding and telemetry encoding. The approach for these two OBC components is a common design for the printed circuit boards of both board types, just with differing chip population. Both of these board types are available with singleredundancy inside the OBC and are connected to the two OBC Processor-Boards via cross coupled SpaceWire links running RMAP protocol. A key characteristic is that although implementing completely different functionalities both boards are based on the same 3U printed circuit board, FPGA chip and I/O driver ICs design.


FCS | 2005

A Multi-Ring Method for Efficient Multi-Dimensional Data Lookup in P2P Networks.

Nick Antonopoulos; James Salter; Roger M. A. Peel


parallel and distributed processing techniques and applications | 2000

Occam on Field Programmable Gate Arrays - Fast Prototyping of Parallel Embedded Systems.

Roger M. A. Peel; Barry M. Cook


WoTUG '96 Proceedings of the 19th world occam and transputer user group technical meeting on Parallel processing developments | 1996

The Para-PC, an analysis

Barry M. Cook; Roger M. A. Peel


parallel and distributed processing techniques and applications | 2005

ROME: Optimising Lookup and Load Balancing in DHT-Based P2P Networks.

James Salter; Nick Antonopoulos; Roger M. A. Peel


parallel and distributed processing techniques and applications | 2004

Steps in the Verification of an Occam-to-FPGA Compiler.

Roger M. A. Peel; Wong Han Feng; Javier


communicating process architectures | 2000

Occam on Field Programmable Gate Arrays - Optimising for Performance

Roger M. A. Peel; Barry M. Cook


parallel and distributed processing techniques and applications | 2005

Automatically Generated CSP Provides Verification for occam-derived Logic Circuits.

Roger M. A. Peel; David Pizarro de la Iglesia


international conference on internet computing | 2005

A Conceptual Distributed Logic Inference Framework for Internet Computing.

Nick Antonopoulos; Roger M. A. Peel

Collaboration


Dive into the Roger M. A. Peel's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Zhe Xia

University of Surrey

View shared research outputs
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge