Rabbit: An Efficient Verification Platform Base on Virtual Peripherals.
Zhengyi ZhangYuanda YangLingli WangPublished in: ASICON (2023)
Keyphrases
- virtual reality
- real time
- model checking
- virtual environment
- augmented reality
- information retrieval
- asynchronous circuits
- distributed architecture
- three dimensional
- information systems
- mobile robot
- open source
- cloud computing
- learning environment
- virtual world
- case study
- website
- mobile applications
- signature verification
- platform independent
- artificial intelligence
- life long