I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Offline symbolic analysis for multi-processor execution rep..:

, In: Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture,
Lee, Dongyoon ; Said, Mahmoud ; Narayanasamy, Satish.. - p. 564-575 , 2009
Link: https://dl.acm.org/doi/10.1145/1669112.1669182