SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Amir M. Rahmani, Bryan Donyanavard, Tiago Mück, Kasra Moazzemi, Axel Jantsch, Onur Mutlu, Nikil D. Dutt
SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management
ASPLOS, 2018.

ASPLOS 2018
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ASPLOS-2018-RahmaniDMMJMD,
	author        = "Amir M. Rahmani and Bryan Donyanavard and Tiago Mück and Kasra Moazzemi and Axel Jantsch and Onur Mutlu and Nikil D. Dutt",
	booktitle     = "{Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/3173162.3173199",
	pages         = "169--183",
	publisher     = "{ACM}",
	title         = "{SPECTR: Formal Supervisory Control and Coordination for Many-core Systems Resource Management}",
	year          = 2018,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.