Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Julien Cervelle"'
Publikováno v:
The Journal of Symbolic Logic. :1-28
CAC for trees is the statement asserting that any infinite subtree of $\mathbb{N}^{
28 pages
28 pages
Autor:
Julien Cervelle, Frédéric Gervais
Publikováno v:
Rigorous State-Based Methods ISBN: 9783031331626
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e6935711b999cbf04e5eec2784bf2ab
https://doi.org/10.1007/978-3-031-33163-3_4
https://doi.org/10.1007/978-3-031-33163-3_4
Autor:
Julien Cervelle, Patrick Cegielski
Publikováno v:
15th Conference on Computability in Europe
15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167
Computing with Foresight and Industry ISBN: 9783030229955
CiE
15th Conference on Computability in Europe, Jul 2019, Durham, United Kingdom. pp.156-167
Computing with Foresight and Industry ISBN: 9783030229955
CiE
In this paper we study the notion of stepwise simulation between Abstract State Machines, to explore if some natural change on the original definition would keep it sound. We prove that we have to keep the classical notion and give results about the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dc2540e87773cd7a44f0dc164bfa640
https://hal.archives-ouvertes.fr/hal-02182747
https://hal.archives-ouvertes.fr/hal-02182747
Autor:
Julien Cervelle, Gregory Lafitte
Publikováno v:
32nd Annual ACM/IEEE Symposium on Logic in Computer Science
LICS: Logic in Computer Science
LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩
LICS: Logic in Computer Science
LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10, ⟨10.1109/LICS.2017.8005145⟩
International audience; This paper deals with the construction of shift-invariant maximal filters on ℤ and their relation to hormonal cellular automata, a generalization of the cellular automata computation model with some information about the glo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f99fff2f1d6d673da853384e5796182
https://hal.archives-ouvertes.fr/hal-01615278
https://hal.archives-ouvertes.fr/hal-01615278
Publikováno v:
Science of Computer Programming
Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005
Science of Computer Programming, Elsevier, 2012, 77 (9), pp.990-1005
This paper presents how the Tatoo parser generator enables the implementation of Java high-performance servers using the Banzai generic server shell. The performance of these servers relies on the ability of Tatoo to produce push non-blocking parsers
Publikováno v:
Computer Science and Information Systems
Computer Science and Information Systems, ComSIS Consortium, 2007, 4 (2), pp.65-77
Computer Science and Information Systems, ComSIS Consortium, 2007, 4 (2), pp.65-77
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusable libraries of grammars such as those of arithmetic expressions or of
Publikováno v:
HAL
Two intimately related new classes of games are introduced and studied: entropy games (EGs) and matrix multiplication games (MMGs). An EG is played on a finite arena by two-and-a-half players: Despot, Tribune and the non-deterministic People. Despot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2aa4500a6b2d168da5701d9a798b3881
https://hal.archives-ouvertes.fr/hal-01164086v3/document
https://hal.archives-ouvertes.fr/hal-01164086v3/document
Publikováno v:
CoRR
CoRR, 2015, abs/1506.04885
BASE-Bielefeld Academic Search Engine
HAL
CoRR, 2015, abs/1506.04885
BASE-Bielefeld Academic Search Engine
HAL
International audience; no abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::463568d89c9dd0b5b303787227653546
https://hal.archives-ouvertes.fr/hal-01699930
https://hal.archives-ouvertes.fr/hal-01699930
Autor:
Julien Cervelle
Publikováno v:
Inf. Comput.
Inf. Comput., 2014, 239, pp.44--54. ⟨10.1016/j.ic.2014.08.007⟩
Inf. Comput., 2014, 239, pp.44--54. ⟨10.1016/j.ic.2014.08.007⟩
This paper studies how one can spread points in the Besicovitch and Weyl spaces in order to keep them far one from another. We first study the general case and then what happens if the chosen points are all regular Toeplitz configurations or all quas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a3e6a6d7c8a8c78a258723bae656436
https://hal.archives-ouvertes.fr/hal-01208376
https://hal.archives-ouvertes.fr/hal-01208376