Zobrazeno 1 - 10
of 20
pro vyhledávání: '"J.P. Banatre"'
Autor:
J.P. Banatre, V. Issarny
Publikováno v:
COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.
An exception-handling mechanism for communicating sequential processes is proposed and its verification rules are detailed. The proposed mechanism is directly expressible in the embedding programming language. Consequently, a program written in the e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fcb66e3d69d50430ab3f1508b07de92
https://doi.org/10.1109/cmpeur.1990.113678
https://doi.org/10.1109/cmpeur.1990.113678
Publikováno v:
[Research Report] RR-2240, INRIA. 1994
This paper presents an approach for deriving a FPGA machine from a high level parallel programming model. The model is based on the chemical reaction metaphor : the data structure is a multiset and the computation can be seen as a succession of chemi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71c0108018875c9d86f98bba93f7d7fb
https://hal.inria.fr/inria-00074430
https://hal.inria.fr/inria-00074430
Autor:
J.P. Banatre
Publikováno v:
Information Processing Letters. 6:56-59
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::915a0c52c9dc2a25c6c693a9a47f8192
https://doi.org/10.1016/0020-0190(77)90082-5
https://doi.org/10.1016/0020-0190(77)90082-5
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.
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.
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.
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.
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.