|
|
COPA 2024: Author Index| Author | Papers |
|---|
| A | | Agomuo, Okechukwu Clement | Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity | | Antonino, Pedro | The Challenges and Triumphs of CSP Based Formal Verification | | B | | Brempong Jnr, Osei Wusu | Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity | | D | | Dickson, Lawrence | Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example | | K | | Khan, Zohaib | Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity | | M | | Marchant, David | Building Towards a Distributed, Dynamic Solution to the Santa Problem | | Martin, Jeremy | Modelling a Guardrail for an AI Control System Using CSP
Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable? | | Muzamal, Junaid Hussain | Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity | | P | | Pachva, Vijaya Laxmi | Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs | | R | | Roscoe, Bill | The Challenges and Triumphs of CSP Based Formal Verification | | S | | Seoud, Mahmood Mohammed | Building Towards a Distributed, Dynamic Solution to the Santa Problem |
|
|
|
