Tag program-optimization - This is page 5 - GeneraCodice

Understanding Amdahl's Law calculation

https://www.generacodice.com/en/articolo/1576563/understanding-amdahl-s-law-calculation
  performance  -  program-optimization
cs.stackexchange cs.stackexchange

Best improvements to do to the DPLL SAT algorithm

https://www.generacodice.com/en/articolo/1573722/best-improvements-to-do-to-the-dpll-sat-algorithm
  satisfiability  -  sat-solvers  -  algorithms  -  program-optimization
cs.stackexchange cs.stackexchange

Data Flow Analysis with exceptions

https://www.generacodice.com/en/articolo/1570048/data-flow-analysis-with-exceptions
  programming-languages  -  software-verification  -  program-optimization
cs.stackexchange cs.stackexchange

Optimizing NFL draft picks

https://www.generacodice.com/en/articolo/1560453/optimizing-nfl-draft-picks
  optimization  -  algorithms  -  knapsack-problems  -  program-optimization
cs.stackexchange cs.stackexchange

Automated optimization of 0-1 matrix vector multiplication

https://www.generacodice.com/en/articolo/1549229/automated-optimization-of-0-1-matrix-vector-multiplication
  linear-algebra  -  matrices  -  program-optimization
cs.stackexchange cs.stackexchange

Second order function formalization

https://www.generacodice.com/en/articolo/1530012/second-order-function-formalization
  functional-programming  -  programming-languages  -  formal-methods  -  program-optimization  -  abstract-data-types
cs.stackexchange cs.stackexchange

Equivalence of data-flow analysis, abstract interpretation and type inference?

https://www.generacodice.com/en/articolo/1519142/equivalence-of-data-flow-analysis-abstract-interpretation-and-type-inference
  type-inference  -  reference-request  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

Why is the OS design able to reduce power consumption?

https://www.generacodice.com/en/articolo/1517924/why-is-the-os-design-able-to-reduce-power-consumption
  performance  -  computer-architecture  -  operating-systems  -  program-optimization
cs.stackexchange cs.stackexchange

Difference between symbolic execution and reachability analysis

https://www.generacodice.com/en/articolo/1125899/difference-between-symbolic-execution-and-reachability-analysis
  algorithm-analysis  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange

Do fully optimizing compilers for terminating programs exist?

https://www.generacodice.com/en/articolo/1125519/do-fully-optimizing-compilers-for-terminating-programs-exist
  computability  -  compilers  -  program-optimization
cs.stackexchange cs.stackexchange
Results found: 71
scroll top