Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

COPA 2024: Volume Information

Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference

Editors: Lindsay Quarrie

Kalpa Publications in Computing•Volume 20

7 articles•80 pages•Published: October 17, 2024

Papers

The Challenges and Triumphs of CSP Based Formal Verification

Andrew Roscoe and Pedro Antonino

1-16

Modelling a Guardrail for an AI Control System Using CSP

17-24

Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?

25-34

Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example

Lawrence Dickson

35-46

Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity

Osei Wusu Brempong Jnr, Junaid Hussain Muzamal, Okechukwu Clement Agomuo and Zohaib Khan

47-58

Building Towards a Distributed, Dynamic Solution to the Santa Problem

Mahmood Mohammed Seoud and David Gray Marchant

59-73

Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs

Vijaya Laxmi Pachva

74-80

Keyphrases

AMLT-NTN, Artificial Intelligence, Benchmarking, Blockchain, COCO, concurrency, CSP⁴, deep learning, Deep Learning Frameworks, Dynamic networking, Dynamic Power Allocation, FDR, Free space optical (FSO) communication, hardware-software equivalence, High Altitude Platform Stations (HAPS), Internet of Things, machine learning, Natural Language Processing (NLP), network, neural networks, Non-Terrestrial Network, Occam², performance metrics, quantum computing, race conditions, Radio Frequency (RF) Communication, Raft, Real-Time Optimization Algorithms, Rural Connectivity, satellite communication, synchronization, , Unmanned Aerial Vehicles (UAVs), verification.