Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Sémantique des langages"'
Autor:
Barenbaum, Pablo
Publikováno v:
Logic in Computer Science [cs.LO]. Universidad de Buenos Aires, 2020. English
Explicit substitution calculi are variants of the lambda-calculus in which the operation of substitution is not defined at the metalanguage level, but rather implemented by means of rewriting rules. Our main object of study is a particular explicit s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::370566e8093d4871ab7652509649e4ba
https://hal.archives-ouvertes.fr/tel-03415346
https://hal.archives-ouvertes.fr/tel-03415346
Autor:
Ibragimov, Dilshod
Les données ont toujours été un atout clé pour beaucoup d’industries et d’entreprises ;cependant, ces derniers temps les possesseurs de données jouissent d’un véritable avantage compétitif sur les autres. De nos jours, les compagnies col
Autor:
Ibragimov, Dilshod
Les données ont toujours été un atout clé pour beaucoup d’industries et d’entreprises ;cependant, ces derniers temps les possesseurs de données jouissent d’un véritable avantage compétitif sur les autres. De nos jours, les compagnies col
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2101::2173979738199e3b7069fa0aaeea4ba5
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/282819
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/282819
Autor:
Godfroy, Hubert
Le but de cette thèse est de trouver des modèles de haut niveau dans lesquelles l'auto-modification s'exprime facilement. Une donnée est lisible et modifiable, alors qu'un programme est exécutable. On décrit une machine abstraite où cette duali
Externí odkaz:
http://www.theses.fr/2017LORR0130/document
Autor:
Tarissan, Fabien
Dans cette thèse, nous proposons un langage formel, le gk-calcul, issu de la famille des algèbres de processus. Ce langage se distingue notamment des langages concurrents habituels par la rupture de la dissymétrie inhérente à la notion d'émette
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00151001
http://tel.archives-ouvertes.fr/docs/00/15/10/01/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/15/10/01/PDF/these.pdf
Autor:
Hym, Samuel
Le calcul réparti est de plus en plus utilisé bien qu'il reste très mal maîtrisé. Cette thèse porte sur le Dpi-calcul, une extension simple du pi-calcul dans laquelle tous les processus sont placés dans des localités afin de décrire leur ré
Autor:
Cachera, David
Le calcul massivement parallèle a connu durant ces deux dernières décennies un fort développement. Les efforts dans ce domaine ont d'abord surtout été orientés vers les machines, plutôt qu'à la définition de langages adaptés au parallélis
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00425390
http://tel.archives-ouvertes.fr/docs/00/42/53/90/PDF/these_finale.pdf
http://tel.archives-ouvertes.fr/docs/00/42/53/90/PDF/these_finale.pdf
Autor:
Luc Bougé, David Cachera
Publikováno v:
[Research Report] LIP RR-1995-08, Laboratoire de l'informatique du parallélisme. 1995, 2+19p
HAL
HAL
We present a proof outline generation system for a simple data-parallel kernel language called L. We show that proof outlines are equivalent to the sound and complete Hoare logic defined for L in previous papers. Proof outlines for L are very similar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65e33b7484cd91d02b55c697ed13e487
https://hal-lara.archives-ouvertes.fr/hal-02102026/document
https://hal-lara.archives-ouvertes.fr/hal-02102026/document
Publikováno v:
HAL
[Research Report] LIP RR-94-18, Laboratoire de l'informatique du parallélisme. 1994, 2+19p
[Research Report] LIP RR-94-18, Laboratoire de l'informatique du parallélisme. 1994, 2+19p
We describe a simple data-parallel kernel language which encapsulates the main data-parallel control structures found in high-level languages such as MasPar's MPL or the recent HyperC. In particular, it includes the concept of data-parallel escape, w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13320e990ab76a3c7efdbfcee9bc3ef1
https://hal-lara.archives-ouvertes.fr/hal-02102484
https://hal-lara.archives-ouvertes.fr/hal-02102484