Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jean Pierre Krimm"'
Autor:
Christian Fabre, Iuliana Bacivarov, Ananda Basu, David Atienza, Éric Flamand, Jean Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Mohamed M. Sabry, Yusuf Leblebici, Giovanni Micheli, Diego Melpignano, RUGGIERO, MARTINO, BENINI, LUCA
PRO3D tackles two important 3D technologies, that are Through Silicon Via (TSV) and liquid cooling, and investigates their consequences on stacked architectures and entire software development. In particular, memory hierarchies are being revisited an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4094::460d3d9557a6d3ad47565ee737eb9334
http://hdl.handle.net/11585/306523
http://hdl.handle.net/11585/306523
Autor:
Jean-Pierre Krimm, Laurent Mounier
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540672821
TACAS
TACAS
Compositional generation is an incremental technique for generating a reduced labelled transition system representing the behaviour of a set of communicating processes. In particular, since intermediate reductions can be performed after each generati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5dcdd89efb3b9761cec6623b13eba765
https://doi.org/10.1007/3-540-46419-0_19
https://doi.org/10.1007/3-540-46419-0_19
Autor:
Marius Bozga, Susanne Graf, Jean-Claude Fernandez, Jean-Pierre Krimm, Laurent Mounier, Lucian Ghirvu, Joseph Sifakis
Publikováno v:
SDL '99 The Next Millennium, 9th International SDL Forum Proceedings
SDL '99 The Next Millennium, 9th International SDL Forum
SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440
SDL Forum
SDL '99 The Next Millennium, 9th International SDL Forum
SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. pp.423-440
SDL Forum
International audience; We present work of a project for the improvement of a specification/validation toolbox integrating a commercial toolset ObjectGeode and different validation tools such as the verification tool CADP and the test sequence genera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93f7fd7e0b77931ab4b8b76714dcec16
https://hal.archives-ouvertes.fr/hal-00374129/file/99.sdlforum.pdf
https://hal.archives-ouvertes.fr/hal-00374129/file/99.sdlforum.pdf
Autor:
Jean-Claude Fernandez, Laurent Mounier, Lucian Ghirvu, Marius Bozga, Jean-Pierre Krimm, Susanne Graf
Publikováno v:
FM’99 — Formal Methods ISBN: 9783540665878
World Congress on Formal Methods
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. pp.307-327, ⟨10.1007/3-540-48119-2⟩
World Congress on Formal Methods
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems
FM'99-Formal Methods World Congress on Formal Methods in the Developement of Computing Systems, Sep 1999, Toulouse, France. pp.307-327, ⟨10.1007/3-540-48119-2⟩
International audience; Formal Description Techniques (FDT), such as LOTOS or SDL are at the base of a technology for the specification and the validation of telecommunication systems. Due to the availability of commercial tools, these formalisms are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9c69338ff609cb3f278d0e26432b496
https://doi.org/10.1007/3-540-48119-2_19
https://doi.org/10.1007/3-540-48119-2_19
Autor:
Jean-Pierre Krimm, Laurent Mounier
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540627906
TACAS
TACAS
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduction operations on subsets of its processes. To restrict the size of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a3a11c9e31c66da042398bf28c68346
https://doi.org/10.1007/bfb0035392
https://doi.org/10.1007/bfb0035392