Towards verified construction of correct and optimised GPU software.
Marieke HuismanAnton WijsPublished in: FTfJP@ECOOP (2020)
Keyphrases
- cluster of workstations
- software architecture
- real time
- software systems
- software tools
- software development
- information systems
- software testing
- software platform
- source code
- data mining
- analysis tool
- construction process
- data sets
- database systems
- mobile devices
- decision making
- operating system
- computer vision
- software projects
- software maintenance
- parallel implementation