en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag program-optimization - This is page 4 - GeneraCodice
What formal representation is commonly used to describe compiler optimizations?
https://www.generacodice.com/en/articolo/1584486/what-formal-representation-is-commonly-used-to-describe-compiler-optimizations
semantics
-
formal-languages
-
compilers
-
operational-semantics
-
program-optimization
cs.stackexchange
Why is static-single assignment preferred over continuation passing style in many industry-used compilers?
https://www.generacodice.com/en/articolo/1582471/why-is-static-single-assignment-preferred-over-continuation-passing-style-in-many-industry-used-compilers
continuations
-
compilers
-
program-optimization
cs.stackexchange
Reference request: optimizing procedures on lists in dynamic languages by performing safety checks in advance
https://www.generacodice.com/en/articolo/1576808/reference-request-optimizing-procedures-on-lists-in-dynamic-languages-by-performing-safety-checks-in-advance
reference-request
-
type-checking
-
program-optimization
-
interpreters
cs.stackexchange
Understanding Amdahl's Law calculation
https://www.generacodice.com/en/articolo/1576563/understanding-amdahl-s-law-calculation
performance
-
program-optimization
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
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
Optimizing NFL draft picks
https://www.generacodice.com/en/articolo/1560453/optimizing-nfl-draft-picks
optimization
-
algorithms
-
knapsack-problems
-
program-optimization
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
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
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
«
1
2
3
4
5
6
»
Results found: 71