Zobrazeno 1 - 10
of 219
pro vyhledávání: '"Aziz Abdulla"'
Publikováno v:
Advances in Materials Science and Engineering, Vol 2013 (2013)
The length change is negligible and can be attributed to the normal distension of concrete. On the other hand, concrete suffering from mass loss gives a good indicator about the durability of SCC. Permeability of concrete is an important factor in cl
Externí odkaz:
https://doaj.org/article/ed1b755b644745df95e993ac97cbb4e3
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:
Aziz, Abdulla Ibrahim1 abdulla.aziz@raparinuni.org, Mohammed, Sarkhel Shawkat2 sarkhel.mohammed@charmouniversity.org, Muhammed, Hazhar Omer3 hazharbus@gmail.com, Sadq, Zana Majed4 zans.sadq@koyauniversity.org, Othman, Bestoon Abdulmaged5 bestoon2011@yahoo.com
Publikováno v:
UKH Journal of Social Sciences (UKHJSS). 2021, Vol. 5 Issue 2, p25-33. 9p.
Publikováno v:
Journal of University of Raparin. 9:206-232
The Princedom of Tahiri in Khorasan area during Abbasid caliphate followed a strict policy in front of the regions of Tabristan and Jurjan aiming to expand their ruling range in these areas supported by Abbasid caliphate. The Tahiris’ were consider
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ba80d8af4e5efda4e52aacc2099c26f
https://doi.org/10.26750/vol(9).no(2).paper9
https://doi.org/10.26750/vol(9).no(2).paper9
Autor:
Parosh Aziz Abdulla, Mohamad Faouzi Atig, Florian Furbach, Adwait A. Godbole, Yacoub G. Hendi, Shankara N. Krishna, Stephan Spengler
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308222
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially infinite domains. We present a framework that translates the reachability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::360ff67fd386085e91472f2ba7dd32c4
https://doi.org/10.1007/978-3-031-30823-9_30
https://doi.org/10.1007/978-3-031-30823-9_30
Publikováno v:
Programming Languages and Systems ISBN: 9783030993351
We present $\textit{Probabilistic Total Store Ordering (PTSO)}$ -- a probabilistic extension of the classical TSO semantics. For a given (finite-state) program, the operational semantics of PTSO induces an infinite-state Markov chain. We resolve the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d94cb5dcffd6b6356d2f7d3bee6db455
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-474198
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-474198
Autor:
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031223365
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26e88ff0db6995bae8639350f23a7e6e
https://doi.org/10.1007/978-3-031-22337-2_24
https://doi.org/10.1007/978-3-031-22337-2_24
Publikováno v:
Proceedings of the ACM on Programming Languages. 4:1-29
We consider parameterized verification of concurrent programs under the Total Store Order (TSO) semantics. A program consists of a set of processes that share a set of variables on which they can perform read and write operations. We show that the re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5c1106b1ea55433decd7feb4d30cd27
https://doi.org/10.1145/3371094
https://doi.org/10.1145/3371094
Publikováno v:
Journal of Garmian University. 6:430-451
شاری کفری بهیهکێک لهشاره دێرین و مێژووییهکانی ههرێمی کوردستان دێته ئهژمارکردن. لهناو مێژووی سیاسی و ئابووری و کۆمهڵایه
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e175e3bd0d7d51c45ad47770c0e227c3
https://doi.org/10.24271/garmian.5thc28
https://doi.org/10.24271/garmian.5thc28
Publikováno v:
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Two awards were made in 2021 to honour outstanding papers from the IEEE Symposium On Logic In Computer Science 2001 held in Boston, MA, USA.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a1e5e35bb960ad5517ba44e75ee147e
https://doi.org/10.1109/lics52264.2021.9470625
https://doi.org/10.1109/lics52264.2021.9470625