Zobrazeno 1 - 10
of 2 165
pro vyhledávání: '"méthodes formelles"'
Autor:
Le Khanh, T. (Trinh)
Il est essentiel de coordonner correctement l’accès aux ressources cloud entre les composants logiciels cloud simultanés pour s’assurer qu’ils satisfont aux exigences des utilisateurs et du système et éviter les pannes opérationnelles et l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4198::2925a23ff25b12ef929d9f0718871d1e
http://hdl.handle.net/20.500.12210/79851
http://hdl.handle.net/20.500.12210/79851
Autor:
Le Khanh, Trinh
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2023. English. ⟨NNT : ⟩
Symbolic Computation [cs.SC]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB002⟩
Symbolic Computation [cs.SC]. Université de Lille, 2023. English. ⟨NNT : 2023ULILB002⟩
Correctly coordinating access to cloud resources across concurrent cloud software components is essential to ensure that they satisfy user and system requirements and avoid operational faults and deadlocks. Cloud systems must be able to self-adapt to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::55824257dfc1c8a4fbf924e411991351
https://theses.hal.science/tel-03979518/document
https://theses.hal.science/tel-03979518/document
Autor:
Lee, Dongho
Publikováno v:
Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG059⟩
The quantum random-access machine (QRAM) model is a practical model of quantum computation composed of a classical computer and a quantum processor communicating with each other. The program is executed on the classical computer. It can send instruct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::ae83bd6a9f3c4cffde4ac12bc3f88d6d
https://theses.hal.science/tel-03895847/document
https://theses.hal.science/tel-03895847/document
Autor:
Henry, Léo
Publikováno v:
Artificial Intelligence [cs.AI]. Université Rennes 1, 2021. English. ⟨NNT : ⟩
Artificial Intelligence [cs.AI]. Université Rennes 1, 2021. English
Artificial Intelligence [cs.AI]. Université Rennes 1, 2021. English
This thesis deals with formal methods based on timed automata, their actions upon reality, and the informations that can be learned from it. It proposes different contributions in three separate domains: game theory and formal test generation, seen a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11c9631e00a6229f8744e9d8ad5510fc
https://hal.science/tel-03508039/document
https://hal.science/tel-03508039/document
Autor:
Vassil Todorov
Publikováno v:
Modeling and Simulation. Université Paris-Saclay, 2020. English. ⟨NNT : 2020UPASG026⟩
Vassil Todorov
Vassil Todorov
The growing share of driver assistance functions, their criticality, as well as the prospect of certification of these functions, make their verification and validation necessary with a level of requirement that testing alone cannot ensure. For sever
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dfacd4c419ebadf3cfcc88f85a2ad6f2
https://tel.archives-ouvertes.fr/tel-03082647/file/76337_TODOROV_2020_archivage.pdf
https://tel.archives-ouvertes.fr/tel-03082647/file/76337_TODOROV_2020_archivage.pdf
Autor:
Souaf, Salwa
With the growth of Cloud Computing comes the growth of the number of companies offering different cloud services, which day after another causes overwhelming of the consumers. Many researchers have been conducted in order to assist consumers in the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::44fa449c99567e595539f2bc54c05af4
https://theses.hal.science/tel-03616187
https://theses.hal.science/tel-03616187