Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Vérification de code"'
Autor:
Nguyen, van Man
Publikováno v:
Data Structures and Algorithms [cs.DS]. Université de Bordeaux, 2022. English. ⟨NNT : 2022BORD0415⟩
High-Performance Computation (HPC) clusters are made of multiple computing and memory storage units (or nodes) interconnected with a high performance network. Such architecture is called”distributed”. Computations are spread over these nodes whic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::a8793f420e6f780cfb994da9287c014d
https://theses.hal.science/tel-04074295/document
https://theses.hal.science/tel-04074295/document
Autor:
Lossing, Nelson
Les grilles de calculs sont des architectures distribuées couramment utilisées pour l'exécution de programmes scientifiques ou de simulation. Les programmeurs doivent ainsi acquérir de nouvelles compétences pour pouvoir tirer partie au mieux de
Externí odkaz:
http://www.theses.fr/2017PSLEM005/document
Autor:
Lossing, Nelson
Publikováno v:
Génie logiciel [cs.SE]. Université Paris sciences et lettres, 2017. Français. ⟨NNT : 2017PSLEM005⟩
Scientific and simulation programs often use clusters for their execution. Programmers need new programming skills to fully take advantage of all the available resources. They have to learn how to write parallel codes, and how to manage the potential
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::2fc659e561390ccf8d40f0225f1ad12f
https://pastel.archives-ouvertes.fr/tel-01831194/file/2017PSLEM005_archivage.pdf
https://pastel.archives-ouvertes.fr/tel-01831194/file/2017PSLEM005_archivage.pdf
Autor:
Savary, Aymerick
La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests man
Externí odkaz:
http://www.theses.fr/2016LIMO0048/document
Autor:
Savary, Aymerick
Publikováno v:
Système d'exploitation [cs.OS]. Université de Limoges; Université de Sherbrooke (Québec, Canada), 2016. Français. ⟨NNT : 2016LIMO0048⟩
Verification of the resistance of attacks against embedded implementations of the Java Card bytecode verifiers is a complex task. Current methods are not sufficient, only the generation of manual testing is possible. To automate this process, we prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f90968111158a99e282519ed88b3b55
https://tel.archives-ouvertes.fr/tel-01369017
https://tel.archives-ouvertes.fr/tel-01369017