Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Mourlin, Fabrice"'
Autor:
Dumont, Cyril, Mourlin, Fabrice
The domain of numerical simulation is a place where the parallelization of numerical code is common. The definition of a numerical context means the configuration of resources such as memory, processor load and communication graph, with an evolving f
Externí odkaz:
http://arxiv.org/abs/0711.1786
Autor:
Mourlin, Fabrice, Farinone, Jean-Marc
Publikováno v:
International Journal of Interactive Mobile Technologies; 2019, Vol. 13 Issue 3, p13-28, 16p
Autor:
Dumont, Cyril, Mourlin, Fabrice
Publikováno v:
International Journal of Computer Science and Information Technologies
International Journal of Computer Science and Information Technologies, IJCSIT, 2010, 1 (5), pp.392-401
International Journal of Computer Science and Information Technologies, IJCSIT, 2010, 1 (5), pp.392-401
International audience; Physical phenomena occur in a wide range of mathematical applications: from fluid to solid mechanics, electromagnetic and electrical engineering. Engineers working toward an optimized modelling must develop their software and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3f9f2e73047827367f6760f0064ad51d
https://hal.archives-ouvertes.fr/hal-00612627/document
https://hal.archives-ouvertes.fr/hal-00612627/document
Autor:
Dumont, Cyril, Mourlin, Fabrice
Publikováno v:
Sophia-Antipolis Formal Analysis Workshop
Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p
Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 2p
National audience; The subject of this contribution is about use of formal specification in order to prove business properties of a mobile agent system. First, we can be described this kind of system by the use of process algebra, in particular the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65a90e29c728499f5437bf10c6872069
https://hal.archives-ouvertes.fr/hal-00612682
https://hal.archives-ouvertes.fr/hal-00612682
Autor:
Dumont, Cyril, Mourlin, Fabrice
Publikováno v:
Proceeding of the 8th International Conference of Modeling and Simulation (MOSIM'10)
International Conference of Modeling and Simulation (MOSIM'10)
International Conference of Modeling and Simulation (MOSIM'10), May 2010, Hammamet, Tunisia. pp.0
International Conference of Modeling and Simulation (MOSIM'10)
International Conference of Modeling and Simulation (MOSIM'10), May 2010, Hammamet, Tunisia. pp.0
International audience; A strategy for the analytical solving of ordinary differential equations and a first implementation of it based on mobile agent community, using jini Numerical algorithms are already designed in many domains such that electrom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7a0bd881cdcd1d63a68f63d6e332bc37
https://hal.archives-ouvertes.fr/hal-00514538/file/mosim10.pdf
https://hal.archives-ouvertes.fr/hal-00514538/file/mosim10.pdf
Autor:
Barbu, Andreea, Mourlin, Fabrice
Publikováno v:
International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications (CSITeA'03)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f594ec1ab251845060ba4558773e76b
https://hal.archives-ouvertes.fr/hal-00005605
https://hal.archives-ouvertes.fr/hal-00005605
Autor:
Mahmoudi, Charif, Mourlin, Fabrice
Publikováno v:
2014 IEEE/ACS 11th International Conference on Computer Systems & Applications (AICCSA); 2014, p420-427, 8p
The SANDS environment along with the CO-OPN specification formalisms are presented. The latter permitting specification of data types and concurrency through the use of modular algebraic specifications and structured algebraic nets based upon an obje
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::90de2585180ea093878c3bd2d7c39719
https://infoscience.epfl.ch/record/54505
https://infoscience.epfl.ch/record/54505
Autor:
Guelfi, Nicolas, Mourlin, Fabrice
The problem of real size system modelling with basic concurrency models like transition systems, Petri nets or process algebra is that there is no possibility to model easily the system data structures. Algebraic specification is a method well adapte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::1aa30705b123823520d5328cf9f4aa43
https://infoscience.epfl.ch/record/54584
https://infoscience.epfl.ch/record/54584