Data-centric dynamic partial order reduction

Anonymous, 1 and Anonymous, 2 and Anonymous, 3 and Anonymous, 4 (2016) Data-centric dynamic partial order reduction. Technical Report. IST Austria.

[img] Text
main.pdf - Submitted Version
Available under License All rights reserved.
[IST-2016-620-v1+1]
Download (439Kb)
[img] Text
author_names.txt - Additional Metadata
Restricted to Repository staff only
[IST-2016-620-v1+2]
Download (121b)
Item Type: Monograph (Technical Report)
Additional Information: a disclosed version of this technical report is available via https://arxiv.org/abs/1610.01188
Subjects: 000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems
Depositing User: Anonymous User
Date Deposited: 15 Jul 2016 08:43
Last Modified: 15 Jul 2019 14:46
URI: https://repository.ist.ac.at/id/eprint/620

Actions (login required)

View Item View Item