Question: Existe-t-il une procédure ou une théorie établie pour générer du code qui applique efficacement une multiplication matrice-vecteur, lorsque la matrice est dense et remplie uniquement de zéros et de uns? Idéalement, le code optimisé utiliserait systématiquement les informations...
Dans le livre d'Andrew W. Appel, Modern Compiler Implementation in ML , il dit au chapitre 17 que la théorie de la calculabilité montre qu'il sera toujours possible d'inventer de nouvelles transformations d'optimisation et procède pour prouver qu'un compilateur entièrement optimisé résoudra le...
J'ai un tableau de 100 000 cordes, toutes de longueur kkk . Je veux comparer chaque chaîne à chaque autre chaîne pour voir si deux chaînes différentes diffèrent d'un caractère. En ce moment, comme j'ajoute chaque chaîne au tableau, je le compare à chaque chaîne déjà dans le tableau, qui a une...
Selon la page Wikipédia sur l'attribution statique unique (SSA) , SSA est utilisée par de grands projets bien connus tels que LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey et V8 tandis que la page sur les projets utilisant le style de passage continu (CPS) fait un peu défaut en comparaison. J'ai...
Je connais l'idée de l' élimination de base de la récursivité de la queue, où les fonctions qui renvoient le résultat direct d'un appel peuvent être réécrites sous forme de boucles itératives. foo(...): # ... return foo(...) Je comprends également que, comme cas spécial, la fonction peut toujours...
J'ai lu que les systèmes d'exploitation comme Android et iOS sont en quelque sorte optimisés pour améliorer la durée de vie de la batterie. Ma compréhension est qu'un CPU exécute un certain nombre d'opérations dans un certain temps, donc je pense que vous pouvez accélérer les applications en...
Sur Wikipedia , une implémentation du schéma de programmation dynamique ascendant pour la distance d'édition est donnée. Il ne suit pas complètement la définition; les cellules internes sont calculées ainsi: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum...
@ La réponse de Babou à une question récente me rappelle qu'à un moment donné, je pense avoir lu un article sur l'équivalence (en termes à la fois des faits qui peuvent être inférés ou prouvés et de la complexité temporelle de l'exécution de l'algorithme d'inférence) de l'analyse du flux de données...
L'analyse du flux de données fonctionne sur un graphique de flux de contrôle. Lorsqu'un langage considéré prend en charge les exceptions, le graphique du flux de contrôle peut exploser. Quelles sont les techniques standard pour faire face à cette explosion? Pouvons-nous ignorer les bords induits...