8 results on '"Hong-Yi WANG"'
Search Results
2. Row-wise Accelerator for Vision Transformer.
3. User Centric Low Latency Data Transmission in Ultra Dense Vehicular Networks.
4. SDWDS: Fault Recovery Automation in IoTs.
5. On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.
6. Grammar-based test generation with YouGen.
7. Two case studies in grammar-based test generation.
8. ARCATS: a scalable compositional analysis tool suite.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.