Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 28 Treffer
- formal verification 27 Treffer
- compcert 13 Treffer
- canaux caches 9 Treffer
- side-channels 9 Treffer
-
45 weitere Werte:
- [info.info-oh]computer science [cs]/other [cs.oh] 7 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 6 Treffer
- compilation 6 Treffer
- proof assistant 6 Treffer
- analyse statique 5 Treffer
- graph theory 5 Treffer
- program slicing 5 Treffer
- slicing 5 Treffer
- static analysis 5 Treffer
- theorie des graphes 5 Treffer
- algorithmic skeletons 4 Treffer
- assistant de preuve 4 Treffer
- squelettes algorithmiques 4 Treffer
- verification 4 Treffer
- why3 4 Treffer
- [spi.other]engineering sciences [physics]/other 3 Treffer
- constant-time 3 Treffer
- just-in-time compilation 3 Treffer
- phil 3 Treffer
- secure compilation 3 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 2 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 2 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 2 Treffer
- code generation 2 Treffer
- coq proof assistant 2 Treffer
- generation de code 2 Treffer
- interpretation abstraite 2 Treffer
- machine virtuelle 2 Treffer
- virtual machine 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- [info.info-sy]computer science [cs]/systems and control [cs.sy] 1 Treffer
- abstract intepretation 1 Treffer
- allocation de registres 1 Treffer
- coloration de graphe 1 Treffer
- compilation securisee 1 Treffer
- compilers 1 Treffer
- component-based engineering 1 Treffer
- domaines abstraits numeriques 1 Treffer
- edu 1 Treffer
- formal methods 1 Treffer
- functional languages 1 Treffer
- langages fonctionnels 1 Treffer
- logical frameworks 1 Treffer
Sprache
33 Treffer
-
In: https://theses.hal.science/tel-04405955 ; Systems and Control [cs.SY]. Université de Rennes, 2023. English. ⟨NNT : 2023URENS060⟩, 2023Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03987749 ; Other [cs.OH]. École normale supérieure de Rennes, 2022. English. ⟨NNT : 2022ENSR0038⟩, 2022Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03987749 ; Other [cs.OH]. École normale supérieure de Rennes, 2022. English. ⟨NNT : 2022ENSR0038⟩, 2022Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03987749 ; Other [cs.OH]. École normale supérieure de Rennes, 2022. English. ⟨NNT : 2022ENSR0038⟩, 2022Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03616445 ; Cryptographie et sécurité [cs.CR]. École normale supérieure de Rennes, 2021. Français. ⟨NNT : 2021ENSR0029⟩, 2021Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03616445 ; Cryptographie et sécurité [cs.CR]. École normale supérieure de Rennes, 2021. Français. ⟨NNT : 2021ENSR0029⟩, 2021Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03616445 ; Cryptographie et sécurité [cs.CR]. École normale supérieure de Rennes, 2021. Français. ⟨NNT : 2021ENSR0029⟩, 2021Online HochschulschriftZugriff:
-
In: https://hal.science/tel-01327023 ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩, 2016Online HochschulschriftZugriff:
-
In: https://hal.science/tel-01327023 ; Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English. ⟨NNT : ⟩, 2016Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩, 2018Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩, 2018Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-01874620 ; Autre. Université Paris Saclay (COmUE), 2018. Français. ⟨NNT : 2018SACLC056⟩, 2018Online HochschulschriftZugriff:
-
In: https://inria.hal.science/tel-01944510 ; Cryptography and Security [cs.CR]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S099⟩, 2018Online HochschulschriftZugriff:
-
In: https://inria.hal.science/tel-01944510 ; Cryptography and Security [cs.CR]. Université de Rennes, 2018. English. ⟨NNT : 2018REN1S099⟩, 2018Online HochschulschriftZugriff:
-
In: https://hal.inria.fr/tel-01944510 ; Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩, 2018Online HochschulschriftZugriff: