Login / Signup
GPU Devices for Safety-Critical Systems: A Survey.
Jon Pérez-Cerrolaza
Jaume Abella
Leonidas Kosmidis
Alejandro J. Calderón
Francisco J. Cazorla
Jose Luis Flores
Published in:
ACM Comput. Surv. (2023)
Keyphrases
</>
safety critical
embedded systems
formal methods
fault tolerant
safety analysis
real time
nuclear power plant
support systems
artificial intelligence
mobile devices
intelligent systems
agent architecture
knowledge based systems
software systems
low cost
expert systems
knowledge base
information systems
data mining