Paul Butcher

According to our database, Paul Butcher authored at least 7 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Utility of Spectral Filtering to Improve the Reliability of Marine Fauna Detections from Drone-Based Monitoring.

Andrew P. Colefax, Andrew J. Walsh, Cormac Purcell, Paul Butcher

Sensors, November, 2023

2021

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case.

Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy

CoRR, 2021

2018

Real-Time Drone Surveillance and Population Estimation of Marine Animals from Aerial Imagery.

Muhammad Saqib, Sultan Daud Khan, Nabin Sharma, Paul Scully-Power, Paul Butcher, Andrew P. Colefax, Michael Blumenstein

Proceedings of the 2018 International Conference on Image and Vision Computing New Zealand, 2018

1994

Global synchronisation in Linda.

Paul Butcher, Alan C. Wood, Martin Atkins

Concurr. Pract. Exp., 1994

1991

Lucinda - an overview.

Paul Butcher, Hussein Zedan

ACM SIGPLAN Notices, 1991

A behavioural semantics for Linda-2.

Paul Butcher

Softw. Eng. J., 1991

Lucinda - A Polymorphic Linda.

Paul Butcher, Hussein Zedan

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991