Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Christophe Gaston"'
Autor:
Christophe Gaston
Publikováno v:
Gallia, Vol 77, Iss 1, Pp 453-459 (2021)
Several successive phases of development of the banks of the Doubs river were identified during excavations at the site of “parking des Remparts Dérasés” in Besançon (Doubs) carried out by Inrap in 2002. All of these sequences cover a period f
Externí odkaz:
https://doaj.org/article/ee58c222ec1e4cf89dde4f961071ad5b
Autor:
Sébastien Bully, Christophe Gaston
Publikováno v:
Bulletin du Centre d’Études Médiévales d’Auxerre, Vol 11 (2007)
Externí odkaz:
https://doaj.org/article/a6b5eda92c214a7685cea8e8987b41da
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::205f4b3fb0f5647165e76ff9170fcff3
https://doi.org/10.1007/978-3-031-10363-6_8
https://doi.org/10.1007/978-3-031-10363-6_8
Publikováno v:
Software Quality Journal. 30:1-2
Publikováno v:
International Journal on Software Tools for Technology Transfer
International Journal on Software Tools for Technology Transfer, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2020, 23 (3), pp.489-517. ⟨10.1007/s10009-020-00586-9⟩
International audience; Data flow formalisms are commonly used to model systems in order to solve problems of buffer sizing and task scheduling. A prerequisite for static analysis of a modeled system is the existence of a periodic schedule in which t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1a0177892c870fa0c6debed4d5074c
https://cea.hal.science/cea-03345920
https://cea.hal.science/cea-03345920
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE
FASE
Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contrast to translational approaches we propose an operational approach. Its
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dda4260c70bf4a37182fb683149b0592
https://doi.org/10.1007/978-3-030-45234-6_24
https://doi.org/10.1007/978-3-030-45234-6_24
Publikováno v:
SAC
Interaction models describe the exchange of messages between the different components of distributed systems. We have previously defined a small-step operational semantics for interaction models. The paper extends this work by presenting an approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::520d02687659b28d6b697d28ab441fdb
Autor:
Christophe Gaston
Publikováno v:
Archeopages. :44-47
La question de la localisation des logements de la main-d’œuvre servile dans un espace particulier reste problematique dans le monde romain, et particulierement pour la Gaule, ou les mentions de logements d’esclaves sont assez rares. La fouille
Autor:
Claudine Munier, Christophe Gaston
Publikováno v:
Archeopages. :36-43
La fouille realisee entre 2010 et 2012 sur le site des Passages Pasteur a Besancon a mis en evidence un quartier antique s’organisant autour d’une rue secondaire. Douze parcelles ont pu etre definies dans l’emprise du chantier, pour une occupat
Autor:
Armand Puccetti, Mahmoud Hussein, Christophe Gaston, Nicolas Rapin, Reda Nouacer, Ansgar Radermacher
Publikováno v:
Microprocessors and Microsystems. 62:41-49
It is largely recognized that the architectures of embedded systems are becoming more and more complex both at hardware and software levels. Despite the significant advances in the development tools, developing the software of such systems while ensu