Preguntas etiquetadas con program-optimization

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 reducir el trabajo duplicado. En otras palabras, tengo …

22 linear-algebra  matrices  program-optimization 

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 detención: un programa Q …

20 computability  compilers  program-optimization 

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 …

19 algorithms  data-structures  program-optimization  comparison 

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 comparación. Tengo …

16 compilers  program-optimization  continuations 

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 se puede reescribir si …

14 compilers  recursion  program-optimization  tail-recursion 

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 cantidad de …

11 computer-architecture  operating-systems  performance  program-optimization 

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] := minimum ( …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

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 …

9 reference-request  compilers  type-inference  program-optimization 

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 análisis de flujo …

8 programming-languages  program-optimization  software-verification