Zobrazeno 1 - 10
of 53
pro vyhledávání: '"Taşıran, Serdar"'
Autor:
Dillig, Isil, Tasiran, Serdar
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together wi
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/23324
We present a method for proving that a program running under the Total Store Ordering (TSO) memory model is robust, i.e., all its TSO computations are equivalent to computations under the Sequential Consistency (SC) semantics. This method is inspired
Externí odkaz:
http://arxiv.org/abs/1804.05196
In the nano era in integrated circuit fabrication technologies, the performance variability due to statistical process and circuit parameter variations is becoming more and more significant. Considerable effort has been expended in the EDA community
Externí odkaz:
http://arxiv.org/abs/0805.2627
Publikováno v:
In Parallel Computing January 2018 71:42-57
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Elmas, Tayfun, Tasiran, Serdar
Publikováno v:
In Electronic Notes in Theoretical Computer Science 26 May 2006 144(4):41-56
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tasiran, Serdar, Qadeer, Shaz
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 January 2005 113:163-179
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.