Designer-in-the-loop recoding of ESL models using static parallel access conflict analysis.

Xu Han, Weiwei Chen, Rainer Dmer

Browse the full SCOPES paper archive.