Unraveling the Mystery of NVIDIA's Unified Memory for Safety-Critical GPU Systems.
Xabier ArauzoIrune YarzaLeonidas KosmidisAlejandro J. CalderónMarcos RodriguezPublished in: DSD (2023)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- embedded systems
- agent architecture
- graphics processors
- real time
- parallel implementation
- adaptive systems
- graphics processing units
- support systems
- intelligent systems
- artificial intelligence
- graphics hardware
- distributed systems
- knowledge based systems
- low cost
- information systems