Verification of High Performance and Wide Applicability of Seamlessly Expandable and Limitless OXC.
Ryota HashimotoYojiro MoriHiroshi HasegawaKen-ichi SatoPublished in: OFC (2019)
Keyphrases
- wide applicability
- model checking
- formal verification
- neural network
- software architecture
- verification method
- face verification
- cost effective
- signature verification
- scientific computing
- artificial intelligence
- databases
- low cost
- data structure
- high efficiency
- image sequences
- formal methods
- low latency
- website
- high security