Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{voir homonymes|Méthode}} ...fin de démontrer leur validité par rapport à une certaine [[spécification (informatique)|spécification]]. Elles reposent sur les [[Sémantique des langages de progr ...15 kio (2 442 mots) - 13 mars 2025 à 21:02
Correspondances dans le texte des pages
- {{ébauche|mathématiques|informatique théorique}} La méthode GAIA permet au décideur de visualiser les principales caractéristiques d'un ...1 kio (186 mots) - 2 août 2023 à 12:47
- == Méthode == {{Portail|Informatique théorique}} ...1 kio (186 mots) - 23 janvier 2018 à 07:29
- == Informatique == * [[Méthode B]], une méthode pour modéliser le comportement d'un programme. ...2 kio (338 mots) - 8 juin 2024 à 00:12
- En [[informatique]], une '''référence circulaire''' est une suite de références dans laquelle Avec un [[Ramasse-miettes (informatique)|ramasse-miettes]] qui fonctionne par comptage de références, un cycle dans ...3 kio (445 mots) - 26 août 2024 à 13:41
- {{ébauche|informatique}} ...>p = a_0 a_1 \dots a_{n-1}</math> par un algorithme [[diviser pour régner (informatique)|diviser pour régner]]. ...3 kio (403 mots) - 4 février 2018 à 08:38
- ...t établit l'équivalence, du point de vue de la [[Théorie de la complexité (informatique théorique)|complexité algorithmique]], entre « optimiser » et « séparer », {{Portail|mathématiques|informatique théorique}} ...2 kio (326 mots) - 21 octobre 2021 à 08:04
- {{ébauche|informatique théorique}} ...[2007]] et la publication de l'[[algorithme de Fürer]], cela en faisait la méthode asymptotiquement la plus rapide connue pour la multiplication d'entiers. ...2 kio (218 mots) - 24 novembre 2019 à 14:18
- ...dans une instance de la classe dans une valeur de hachage (en un [[Entier (informatique)|entier]] signé 32-[[bit]]). Cette valeur de hachage est utilisée par d'aut ...es. Les classes fournissant leur propre mise en œuvre doivent redéfinir la méthode <tt>public int hashCode()</tt>. ...5 kio (835 mots) - 16 juin 2023 à 09:34
- En [[informatique théorique]] un '''préordre de simulation''' est une [[Correspondance et rel {{Portail|informatique théorique}} ...2 kio (356 mots) - 7 mars 2016 à 20:30
- == Méthode QSS de premier ordre – QSS1 == La méthode QSS1 permet d'approximer ce système de la manière suivante : ...3 kio (513 mots) - 29 janvier 2021 à 22:20
- En [[arithmétique modulaire]], la '''méthode de factorisation de Fermat''' est un [[Algorithmique|algorithme]] de [[déco Dans sa forme la plus simple, la méthode de factorisation de Fermat peut être plus lente que la factorisation par [[ ...6 kio (977 mots) - 27 octobre 2023 à 16:28
- ...volume= 33|année= 1984 | pages= 139-174}}</ref> d'un ensemble de [[Donnée (informatique)|données]]<ref>{{Ouvrage|prénom1=Sébastien|nom1=Veigneau|titre=Approches im * [[Conteneur (informatique)|conteneur]] ...7 kio (1 013 mots) - 5 juillet 2023 à 13:46
- ...ocessus déjà existants, ce qui pourrait créer une possibilité de [[Famine (informatique)|famine]]) ; ...mps d'exécution variés, réalisé par un ordonnanceur préemptif utilisant la méthode du tourniquet (Round-Robin) avec un quantum de temps de 1ms.]] ...5 kio (833 mots) - 23 mai 2024 à 00:38
- ...(mathématiques élémentaires)|puissances]] entières. En [[anglais]], cette méthode est aussi appelée '''''square-and-multiply''''' (« mettre au carré et multi En comparant à la méthode ordinaire qui consiste à multiplier {{mvar|x}} par lui-même {{math|''n'' – ...4 kio (575 mots) - 22 avril 2024 à 05:56
- ...hypergéométrique|identités hypergéométriques]], de la méthode WZ<ref>. La méthode est développée dans l'article ''Rational functions certify combinatorial id {{Portail|mathématiques|États-Unis|informatique théorique}} ...5 kio (730 mots) - 21 février 2023 à 15:12
- En [[informatique]], un '''algorithme en ligne''', parfois aussi appelé '''algorithme incréme ...mal hors ligne<ref>{{lien web|url=http://www.enseignement.polytechnique.fr/informatique/INF550/Cours1011/INF550-2010-9.pdf|titre= Algorithme online|site = [[École ...3 kio (407 mots) - 8 janvier 2025 à 11:38
- {{ébauche|informatique}} * [[Round-robin (informatique)|Algorithme Round-Robin]], ordonnancement ...6 kio (686 mots) - 23 novembre 2024 à 16:35
- == Méthode de von Neumann == ...le qu'il existe au minimum un tel ensemble vide). L'idée centrale de cette méthode est de considérer chaque entier à la fois comme un ensemble (contenant le n ...4 kio (652 mots) - 10 août 2024 à 22:01
- La '''conception axiomatique''' ('''Axiomatic design''' en anglais) est une méthode développée par le Professeur [[Suh Nam Pyo]] pour concevoir des systèmes av ...issent l'analyse et le processus de décision pour la conception avec cette méthode. Les deux axiomes utilisés sont les suivants: ...2 kio (346 mots) - 5 décembre 2023 à 17:37
- {{Ébauche|informatique théorique|mathématiques}} En [[arithmétique]], la '''méthode par divisions successives''' est la méthode la plus simple et la plus ancienne pour déterminer si un nombre [[entier na ...7 kio (1 149 mots) - 6 février 2024 à 18:04