Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
hardware-software equivalence
Publications
Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example
Lawrence Dickson
In
:
Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Race-Condition-Robust Hardware-Software Equivalence in *n*x
Larry Dickson
In
:
Proceedings of 2023 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
OCCAM-Equivalent Syntax with Pure Singleton Descent Structure
Lawrence Dickson
EasyChair Preprint 5430
Copyright © 2012-2024 easychair.org. All rights reserved.