SPECTR: Formal supervisory control and coordination for many-core systems resource management


METADATA ONLY
Loading...

Date

2018

Publication Type

Conference Paper

ETH Bibliography

yes

Citations

Altmetric
METADATA ONLY

Data

Rights / License

Publication status

published

Editor

Book title

Proceedings of the 23th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018)

Journal / series

Volume

Pages / Article No.

169 - 183

Publisher

Association for Computing Machinery

Event

23th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018)

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

09483 - Mutlu, Onur / Mutlu, Onur check_circle

Notes

Funding

Related publications and datasets