COPA 2024: Keyword Index

Keyword	Papers
a
AMLT-NTN	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
Artificial Intelligence	Modelling a Guardrail for an AI Control System Using CSP
b
Benchmarking	Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs
Blockchain	The Challenges and Triumphs of CSP Based Formal Verification
c
COCO	The Challenges and Triumphs of CSP Based Formal Verification
concurrency	Modelling a Guardrail for an AI Control System Using CSP
CSP	The Challenges and Triumphs of CSP Based Formal Verification Modelling a Guardrail for an AI Control System Using CSP Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable? Building Towards a Distributed, Dynamic Solution to the Santa Problem
d
deep learning	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
Deep Learning Frameworks	Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs
Dynamic networking	Building Towards a Distributed, Dynamic Solution to the Santa Problem
Dynamic Power Allocation	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
f
FDR	The Challenges and Triumphs of CSP Based Formal Verification
Free space optical (FSO) communication	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
h
hardware-software equivalence	Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
High Altitude Platform Stations (HAPS)	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
i
Internet of Things	Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
m
machine learning	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
n
Natural Language Processing (NLP)	Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs
network	Building Towards a Distributed, Dynamic Solution to the Santa Problem
neural networks	Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs
Non-Terrestrial Network	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
o
Occam	Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable? Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
p
performance metrics	Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs
q
quantum computing	Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?
r
race conditions	Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
Radio Frequency (RF) Communication	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
Raft	Building Towards a Distributed, Dynamic Solution to the Santa Problem
Real-Time Optimization Algorithms	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
Rural Connectivity	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
s
satellite communication	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
synchronization	Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
u
Unmanned Aerial Vehicles (UAVs)	Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity
v
verification	The Challenges and Triumphs of CSP Based Formal Verification