Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Communicating process"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 188, Iss Proc. WWV 2015, Pp 23-32 (2015)
WWV
WWV
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm that statically detects potential locks and propose refactoring proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::66dda1537926ed9ce23b8ae7ec55fd45
Autor:
Brookes, Stephen
Publikováno v:
Electronic Notes in Theoretical Computer Science. 162:127-133
The original CSP was a language for parallel imperative programs communicating by synchronized message-passing. Most of the early foundational work concerned a more abstract process algebra, now known as Theoretical CSP (or TCSP). The early semantic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::baf7219270f684a50836083fb4c57612
https://doi.org/10.1016/j.entcs.2006.01.028
https://doi.org/10.1016/j.entcs.2006.01.028
Publikováno v:
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (3-4), pp.265-291. ⟨10.3166/tsi.27.265-291⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2008, 27 (3-4), pp.265-291. ⟨10.3166/tsi.27.265-291⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2008, vol. 27, no 3-4, pp. 265-291
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2008, vol. 27, no 3-4, pp. 265-291
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2008, 27 (3-4), pp.265-291. ⟨10.3166/tsi.27.265-291⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2008, 27 (3-4), pp.265-291. ⟨10.3166/tsi.27.265-291⟩
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2008, vol. 27, no 3-4, pp. 265-291
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2008, vol. 27, no 3-4, pp. 265-291
International audience; Scientific applications which mainly exploit non sequential accesses are more and more affected by I/O performance. In the meantime, as cluster usage grows, several applications are often executed concurrently, competing for a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd121af1b86a2c92e8f7b1179d81566b
https://hal.inria.fr/hal-00691382
https://hal.inria.fr/hal-00691382
Publikováno v:
4th International Conference on Parallel Computing Technologies, PaCT 1997
Lect. Notes Comput. Sci.
Lect. Notes Comput. Sci.
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers and consumers, as well as a clear distinction between the computation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4485::cf325b791e32449f9d33663f1482fc1f
http://gnosis.library.ucy.ac.cy/handle/7/54740
http://gnosis.library.ucy.ac.cy/handle/7/54740
Autor:
Ye, Xiaojun
Publikováno v:
Modélisation et simulation. INSA de Lyon, 1994. Français. ⟨NNT : 1994ISAL0049⟩
The object-oriented approach allows the development of complex and reliable applications with less effort than with classical approaches. The objectives of this research are, on the one hand, to propose a complete conceptualization of object-oriented
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::575e96774fad749f74e5a6c724847148
https://theses.hal.science/tel-00821121
https://theses.hal.science/tel-00821121
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.
Conference
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.