Author:Venkat Margapuri

Publications
Model Checking Mutual Inclusion and Mutual Exclusion Algorithms Kai Zhao, Venkat Margapuri and Mitchell Neilsen In:Proceedings of ISCA 30th International Conference on Software Engineering and Data Engineering
Image Processing for High-Throughput Phenotyping of Seeds Venkat Margapuri, Chaney Courtney and Mitchell Neilsen In:CAINE 2020. The 33rd International Conference on Computer Applications in Industry and Engineering
Detection of unknown galaxy types in large databases of galaxy images Venkat Margapuri, Basant Thapa and Lior Shamir In:SEDE 2020. 29th International Conference on Software Engineering and Data Engineering
Prototype Implementation of Temperature Control System with CAN and FreeRTOS on STM32F407 Discovery Boards Venkat Margapuri and Mitchell Neilsen In:Proceedings of 32nd International Conference on Computer Applications in Industry and Engineering

Keyphrases

3D graphics, Astroinformatics, astrophysics, Controller Area Network (CAN), CubeMX, ETL, FreeRTOS, Hardware Abstraction Libraries (HAL), high-throughput phenotyping, I2C protocol, image processing, knowledge discovery, LibOpenCM3, mutual exclusion, mutual inclusion, Novelty Galaxies, Peculiar galaxies in Pan-STARRS, seed morphometry, STM32F407 Discovery, temperature control, Token based model checking, UPPAAL, watershed algorithm.