( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion.

, , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 508-524. Springer, (2014)

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.

Klaus Jäde

Susanne Jäde

Kathrin Jäde

Paul Jäde

Lutz Jäde

 

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

Stability in Weak Memory Models., и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 50-66. Springer, (2011)Fences in weak memory models (extended version)., , , и . Formal Methods Syst. Des., 40 (2): 170-205 (2012)Making Software Verification Tools Really Work., , , и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 28-42. Springer, (2011)Don't Sit on the Fence - A Static Analysis Approach to Automatic Fence Insertion., , , и . CAV, том 8559 из Lecture Notes in Computer Science, стр. 508-524. Springer, (2014)Synchronising C/C++ and POWER., , , , , , , и . PLDI, стр. 311-322. ACM, (2012)Understanding POWER multiprocessors., , , , и . PLDI, стр. 175-186. ACM, (2011)Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel., , , , и . ASPLOS, стр. 405-418. ACM, (2018)Concurrent Kleene Algebra of Partial Strings., и . CoRR, (2014)Partial Orders for Efficient Bounded Model Checking of Concurrent Software., , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 141-157. Springer, (2013)Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging.. FMCAD, стр. 6. IEEE, (2017)