Pregunta: ¿Existe algún procedimiento o teoría establecida para generar código que aplique eficientemente una multiplicación matriz-vector, cuando la matriz es densa y está llena de ceros y unos? Idealmente, el código optimizado haría un uso sistemático de la información previamente calculada para...
En el libro de Andrew W. Appel, Modern Compiler Implementation in ML , dice en el capítulo 17 que la teoría de la computabilidad muestra que siempre será posible inventar nuevas transformaciones optimizadoras y procede a demostrar que un compilador completamente optimizador resolverá el problema de...
Tengo una matriz de 100,000 cadenas, todas de longitud kkk . Quiero comparar cada cadena con todas las demás para ver si dos cadenas difieren en 1 carácter. En este momento, a medida que agrego cada cadena a la matriz, la estoy verificando con cada cadena que ya está en la matriz, que tiene una...
De acuerdo con la página de Wikipedia sobre asignación única estática (SSA) , SSA es utilizada por proyectos grandes y conocidos como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey y V8, mientras que la página de proyectos utiliza un estilo de paso continuo. (CPS) es un poco deficiente en...
Estoy familiarizado con la idea de la eliminación básica de la recursividad de la cola, donde las funciones que devuelven el resultado directo de una llamada pueden reescribirse como bucles iterativos. foo(...): # ... return foo(...) También entiendo que, como un caso especial, la función aún...
He leído que los sistemas operativos como Android e iOS están optimizados de alguna manera para mejorar la duración de la batería. Según tengo entendido, una CPU ejecuta una cierta cantidad de operaciones en un tiempo determinado, por lo que creo que puede acelerar las aplicaciones reduciendo la...
En Wikipedia , se proporciona una implementación para el esquema de programación dinámica ascendente para la distancia de edición. No sigue la definición completamente; Las células internas se calculan así: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] :=...
La respuesta de @ Babou a una pregunta reciente me recuerda que en un momento creo que leí un artículo sobre la equivalencia (en términos de los hechos que se pueden inferir o probar y la complejidad del tiempo de ejecutar el algoritmo de inferencia) del análisis de flujo de datos , interpretación...
El análisis de flujo de datos funciona sobre un gráfico de flujo de control. Cuando un idioma considerado admite excepciones, el gráfico de flujo de control puede explotar. ¿Cuáles son las técnicas estándar para lidiar con esta explosión? ¿Podemos ignorar los bordes inducidos por la excepción? Los...