Zobrazeno 1 - 10
of 45
pro vyhledávání: '"H. Mountassir"'
Autor:
F. Chantrel, S. Brockhes, H. Mountassir, F. Fall-Mostaine, L. Serb, D. Babici, Z. Takla, R. Fickl, L. Kessler
Publikováno v:
Kidney International Reports, Vol 6, Iss 4, Pp S153-S154 (2021)
Externí odkaz:
https://doaj.org/article/61253d169ced4fb8ae0fe9fec68bda0a
Autor:
H. Mountassir
Publikováno v:
ACM SIGOPS Operating Systems Review. 30:59-66
A number of techniques have been proposed to validate systems of communicating machines which exchange exclusively messages through FIFO channels. The reachability analysis is a well-known and most popular technique implemented in several tools of va
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10fd29bc5109e1530386ed8b6c2fe7ad
https://doi.org/10.1145/230908.230920
https://doi.org/10.1145/230908.230920
Autor:
H. Mountassir
Publikováno v:
[1988] Proceedings. Workshop on the Future Trends of Distributed Computing Systems in the 1990s.
An approach to proving some properties of the communication of communicating machines is presented. The methodology is based on a simple algebra, using rewriting systems on communicating words and homogeneous expressions. The semicommutations and par
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1dcc69cdf640713899d75c047c45dabf
https://doi.org/10.1109/ftdcs.1988.26700
https://doi.org/10.1109/ftdcs.1988.26700
Autor:
H. Mountassir
Publikováno v:
ICNP
This paper states the following result. Replacing a pair of actions (rev x; send y) with another pair of actions (send y; rev x) in a machine M cannot introduce deadlocks or unspecified receptions when this machine communicates with another machine N
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::538cc947d59cd4732cc539a33927e4eb
https://doi.org/10.1109/icnp.1993.340923
https://doi.org/10.1109/icnp.1993.340923
Autor:
H. Mountassir, S. Serre
Publikováno v:
ICDE
Software engineering tasks as design and programming require the concurrent participation of multiple users, possibly geographically dispersed. But traditional software environments have not been designed to facilitate collaborative work. In this pap
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::890a06c197d68bf50bea89e5f439ef48
https://doi.org/10.1109/icde.1995.380351
https://doi.org/10.1109/icde.1995.380351
Autor:
H. Mountassir
Publikováno v:
Proceedings 1st International Conference on Algorithms and Architectures for Parallel Processing.
Analysis of communication protocols by the conventional state exploration is a well known technique. It is actually implemented in several tools of validation. The major problem of this technique is its restricted applicability and depends on the ava
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a710e9bcb224f56a81f33ac5a6916349
https://doi.org/10.1109/icapp.1995.472231
https://doi.org/10.1109/icapp.1995.472231
Autor:
H. Mountassir
Publikováno v:
Proceedings of IEEE Singapore International Conference on Networks and International Conference on Information Engineering '95.
Systems of communicating finite state machines model abstract processes which communicate exclusively by exchanging messages through FIFO channels. They can be used to study protocols and distributed computing. This paper discusses a methodology to v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e5661b0ae6be9bc7bcacb85a43d75c7
https://doi.org/10.1109/sicon.1995.526063
https://doi.org/10.1109/sicon.1995.526063
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:
H. Mountassir
Publikováno v:
ACM Conference on Computer Science
A number of methods have been proposed to validate the communication between processes which exchange messages through bounded FIFO channels. However design criteria and rules are developed to construct correct protocols. In this paper, our objective
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e222be73e955f523ec385d70f76d92d9
https://doi.org/10.1145/75427.75470
https://doi.org/10.1145/75427.75470
Kniha
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.