Coverage Criteria Based Testing of IoT Applications

von Nagalakshmi, S. R.
Veröffentlicht in ICDCIT (20. : 2024 : Bhubaneswar) Distributed computing and intelligent technology (2024)

LipBaB: Computing Exact Lipschitz Constant of ReLU Networks

von Bhowmick, Aritra
Veröffentlicht in International Conference on Artificial Neural Networks (30. : 2021 : Online) Artificial neural networks and machine learning - ICANN 2021 ; Part 4 (2021)

Distributed computing and internet technology : 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020 : proceedings

Veröffentlicht 2020

Verifying Band Convergence for Sampled Control Systems

von Ezudheen, P.
Veröffentlicht in NFM (12. : 2020 : Moffett Field, Calif.; Online) NASA formal methods (2020)

Static Race Detection for Periodic Programs

von Suresh, Varsha P
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

RepairNet: Contextual Sequence-to-Sequence Network for Automated Program Repair

von Abhinav, Kumar
Veröffentlicht in International Conference on Artificial Intelligence in Education (22. : 2021 : Online) Artificial intelligence in education ; Part 1 (2021)