( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specifying and checking semantic atomicity for multithreaded programs.

, , и . ASPLOS, стр. 79-90. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jacob Jacob

Jacob

Andreas Jacob

Andreas Jacob

Jacob Spitzauer

 

Другие публикации лиц с тем же именем

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness., , , и . PPoPP, стр. 329-330. ACM, (2012)Specifying and checking semantic atomicity for multithreaded programs., , и . ASPLOS, стр. 79-90. ACM, (2011)Testing concurrent programs on relaxed memory models., , и . ISSTA, стр. 122-132. ACM, (2011)CONCURRIT: a domain specific language for reproducing concurrency bugs., , , и . PLDI, стр. 153-164. ACM, (2013)NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness., , , и . PLDI, стр. 401-414. ACM, (2011)WISE: Automated test generation for worst-case complexity., , и . ICSE, стр. 463-473. IEEE, (2009)Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models., , и . TACAS, том 6605 из Lecture Notes in Computer Science, стр. 11-25. Springer, (2011)Scalable Spatiotemporal Prediction with Bayesian Neural Fields., , , , , , и . CoRR, (2024)Looper: Lightweight Detection of Infinite Loops at Runtime., , , и . ASE, стр. 161-169. IEEE Computer Society, (2009)CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration., , , и . HotPar, USENIX Association, (2012)