ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions.
Jieung KimJérémie KoenigHao ChenRonghui GuZhong ShaoPublished in: J. Syst. Archit. (2024)
Keyphrases
- user interface
- software systems
- multi tasking
- graphical user interfaces
- computer systems
- source code
- software architecture
- software package
- software quality
- template matching
- neural network
- software development
- trade off
- development process
- scheduling algorithm
- software maintenance
- software design
- software engineering
- high level
- case study