[Engineering Paper] RECKA and RPromF: Two Frama-C Plug-ins for Optimizing Registers Usage in CUDA, OpenACC and OpenMP Programs.
Rokiatou DiarraAlain MérigotBastien VinckePublished in: SCAM (2018)
Keyphrases
- shared memory
- parallel programming
- parallel computing
- general purpose
- undergraduate engineering
- engineering design
- software engineering
- computer programs
- computer science
- parallel algorithm
- systems engineering
- multi core processors
- computer aided design
- programming environment
- artificial intelligence
- electrical engineering
- genetic algorithm