Synthèse de code virgule fixe pour les réseaux de neurones

Autor: Benmaghnia, Hanane

Minimizing the precision in which the neurons of a neural network compute, is a desirable objective tolimit the resources needed to execute it. This is specially important for neural networks used in embedded systems, which have limited resources (sm

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______166::42bf6b39456bed23c80bb5d305a99b74
https://theses.hal.science/tel-03935609

Équivalences faibles symboliques : Extension, Algorithmes et Minimisations - Version étendue

Autor: Wang, Biyang, Madelaine, Eric, Zhang, Min

Publikováno v: [Research Report] RR-9389, Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France; East China Normal University (Shanghai). 2021, pp.71

Open Automata (OA) are symbolic and parameterized models for open concurrent systems. Here open means partially specified systems, that can be instantiated or assembled to build bigger systems. An important property for such systems is ”composition

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e4a4891143a59269ae11ead57803f46d
https://hal.inria.fr/hal-03126313

To refine symbolic and concrete deobfuscation of programs protected by opaque predicates

Autor: Gonzalvez, Alexandre

Publikováno v: Cryptographie et sécurité [cs.CR]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. Français. ⟨NNT : 2020IMTA0187⟩

High demand exists nowadays to improve advanced obfuscation and deobfuscation techniques, with the purpose of preventing intellectual property piracy or improving defence against cyber security attacks. This thesis focuses on the improvement of the d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______212::4754d11ab8088730728c3fd38ae7a080
https://tel.archives-ouvertes.fr/tel-02927808/document

Procédures de décision génériques pour des théories axiomatiques du premier ordre

Autor: Dross, Claire

Les solveurs SMT sont des outils dédiés à la vérification d'un ensemble de formules mathématiques, en général sans quantificateurs, utilisant un certain nombre de théories prédéfinies, telles que la congruence, l'arithmétique linéaire sur

Externí odkaz: http://www.theses.fr/2014PA112059/document

Fragments de l'arithmétique dans une combinaison de procédures de décision

Autor: Caminha Barbosa De Oliveira, Diego

Les méthodes formelles pour la conception des software et hardware génèrent souvent des formules qui doivent être validées, de manière interactive ou automatique. Parmi les outils automatiques, les solveurs SMT (Satisfiabilité Modulo Théories

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00578254
http://tel.archives-ouvertes.fr/docs/00/59/65/56/PDF/thesis_full.pdf