ETH Zürich - Numerische Materialmodellierung
8005 Zürich, Technoparkstrasse 1 / Einstein PFA G 11 (2. OG)
ETH Zürich - Numerische Materialmodellierung
Technoparkstrasse 1
8005 Zürich
17 Ergebnisse für "rinetzky" unter ETH Zürich - Numerische Materialmodellierung
Position Paper: Verifying Optimistic Algorithms Should be Easy | SRI Lab
... Position Paper: Verifying Optimistic Algorithms Should be Easy Noam Rinetzky, Martin Vechev ... Should be Easy Noam Rinetzky, Martin Vechev , Eran Yahav and Greta Yorsh EC2: Exploiting Concurrency ...
Verifying Linearizability with Hindsight | SRI Lab
... Peter O'Hearn, Noam Rinetzky, Martin Vechev , Eran Yahav and Greta Yorsh ACM PODC 2010 Paper We ... ={Verifying linearizability with hindsight}, author={O'Hearn, Peter W and Rinetzky, Noam and Vechev, Martin T ... Publications Teaching Hiring Contact Verifying Linearizability with Hindsight Peter O'Hearn, Noam Rinetzky ... }, author={O'Hearn, Peter W and Rinetzky, Noam and Vechev, Martin T and Yahav, Eran and Yorsh, Greta ...
