CASA: An Approach for Exposing and Documenting Concurrency-Related Software Properties
Attributed to:
Automatic Binary Parallelisation
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-15074-6_9
Publication URI: http://dx.doi.org/10.1007/978-3-031-15074-6_9
Type: Book Chapter
Book Title: Embedded Computer Systems: Architectures, Modeling, and Simulation - 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings (2022)
Page Reference: 139-154
ISSN: 16113349 03029743