Automated Detection of Spatial Memory Safety Violations for Constrained Devices.

Sören Tempel Vladimir Herdt Rolf Drechsler

Published in: ASP-DAC (2022)

Keyphrases

automated detection
automated analysis
lung cancer
spatial data
ultrasonic images
spatio temporal
spatial information
mobile devices
spatial and temporal
mobile applications
information retrieval
breast tumors
data mining
dermoscopy images
embedded systems
decision making
machine learning