Zobrazeno 1 - 10
of 316
pro vyhledávání: '"Non déterminisme"'
Autor:
Hazard, Émile
Publikováno v:
Computational Complexity [cs.CC]. Ecole normale supérieure de lyon-ENS LYON, 2022. English. ⟨NNT : 2022ENSL0022⟩
This thesis is divided into two main parts, although a common denominator can be found in the notion of non-determinism in automata, and its resolution. The first part focuses on a notion of limited non-determinism, which is explorable automata. Thes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4e3958f7eba3497693f47ee4fbc6d53b
https://theses.hal.science/tel-03969156/document
https://theses.hal.science/tel-03969156/document
Autor:
Billot, Sylvie
Th.--Inform.--Orléans, 1988.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb37612002r
Autor:
Rady, Mohamed.
Th.--Paris VI, 1983.
1984 d'après la déclaration de dépôt légal. Bibliogr. p. 247-259.
1984 d'après la déclaration de dépôt légal. Bibliogr. p. 247-259.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb34778752p
Autor:
Hélène Kirchner, Pierre-Etienne Moreau
Publikováno v:
Journal of Functional Programming
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (3), pp.207-251
Journal of Functional Programming, 2001, 11 (3), pp.207-251
Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (3), pp.207-251
Journal of Functional Programming, 2001, 11 (3), pp.207-251
Article dans revue scientifique avec comité de lecture.; First-order languages based on rewrite rules share many features with functional languages. But one difference is that matching and rewriting can be made much more expressive and powerful by i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b278fa535c3e71b476063429fb1da1de
https://doi.org/10.1017/s0956796800003907
https://doi.org/10.1017/s0956796800003907
Autor:
Mateescu, Radu
Publikováno v:
RR-5032, INRIA. 2003
La vérification formelle est indispensable pour assurer la fiabilité des applications complexes et critiques comme les protocoles de télécommunication et les systèmes répartis. L'approche basée sur les modèles (model checking) consiste à tra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f32624389f54487bd9716c64a9024b3
https://inria.hal.science/inria-00071552/file/RR-5032.pdf
https://inria.hal.science/inria-00071552/file/RR-5032.pdf
Autor:
Dorman, Andrei
Ce travail est une étude approfondie de la concurrence dans les extensions non-déterministes des réseaux d'interaction de Lafont (langage graphique qui représente, lui, le calcul fonctionnel). Ces extensions sont de trois sortes : les réseaux mu
Autor:
Rajković, Ivan1 rajkovic@eth.mpg.de
Publikováno v:
Journal of the Royal Anthropological Institute. Mar2018, Vol. 24 Issue 1, p47-70. 24p. 4 Color Photographs.
Autor:
Baraka, Driss
Let X = {X(t); t ∈ RN} be a (N,d) fractional Brownian motion in Rd of index H ∈ (0,1). We study the local time of X for all temporal dimensions N and spatial dimensions d for which local time exist. We obtain two main results : R1. If we denote b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0067fa7e10d412074dee1f0f548fce2
Autor:
Jean-Yves Marion, Serge Grigorieff
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
Theoretical Computer Science, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
Theoretical Computer Science, Elsevier, 2002, 271 (1-2), pp.151-180. ⟨10.1016/S0304-3975(01)00038-X⟩
We are concerned with Kolmogorov complexity of strings produced by non-deterministic algorithms. For this, we consider five classes of non-deterministic description modes: (i) non-bounded description modes in which the number of outputs depends on pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a580a05b2d5a4e3f72d9bfc17af7240
https://inria.hal.science/inria-00100709
https://inria.hal.science/inria-00100709
Autor:
Monniaux, David
L'étude de programmes probabilistes intéresse plusieurs domaines de l'informatique : les réseaux, l'embarqué, ou encore la compilation optimisée. C'est tâche malaisée, en raison de l'indécidabilité des propriétés sur les programmes déterm
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00084287
http://tel.archives-ouvertes.fr/docs/00/08/42/87/PDF/Monniaux_these.pdf
http://tel.archives-ouvertes.fr/docs/00/08/42/87/PDF/Monniaux_these.pdf