Perguntas com a marcação «program-optimization»

Questão: Existe procedimento ou teoria estabelecida para gerar código que aplique eficientemente uma multiplicação de vetor de matriz, quando a matriz é densa e preenchida apenas com zeros e uns? Idealmente, o código otimizado faria uso sistemático de informações previamente calculadas para reduzir o trabalho duplicado. Em outras palavras, eu …

22 linear-algebra  matrices  program-optimization 

No livro de Andrew W. Appel, Modern Compiler Implementation in ML , ele diz no capítulo 17 que a teoria da Computabilidade mostra que sempre será possível inventar novas transformações de otimização e prossegue para provar que um compilador totalmente otimizado resolverá o problema de parada: Um programa Q que …

20 computability  compilers  program-optimization 

Eu tenho uma matriz de 100.000 cordas, todas de comprimento . Eu quero comparar cada seqüência de caracteres com todas as outras para ver se existem duas seqüências diferentes por 1 caractere. No momento, enquanto adiciono cada string à matriz, eu a comparo com todas as strings já existentes na …

19 algorithms  data-structures  program-optimization  comparison 

De acordo com a página da Wikipedia sobre atribuição estática-única (SSA) , o SSA é usado por projetos grandes e conhecidos, como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey e V8, enquanto a página em projetos usa o estilo de passagem de continuação (CPS) é um pouco ausente em comparação. Eu …

15 compilers  program-optimization  continuations 

Estou familiarizado com a idéia de eliminação básica da recursão da cauda, ​​em que funções que retornam o resultado direto de uma chamada para elas mesmas podem ser reescritas como loops iterativos. foo(...): # ... return foo(...) Também entendo que, como um caso especial, a função ainda pode ser reescrita …

14 compilers  recursion  program-optimization  tail-recursion 

Eu li que sistemas operacionais como Android e iOS são de alguma forma otimizados para melhorar a vida útil da bateria. Meu entendimento é que uma CPU executa um certo número de operações em um determinado período de tempo, então eu acho que você pode acelerar os aplicativos reduzindo o …

11 computer-architecture  operating-systems  performance  program-optimization 

Na Wikipedia , é fornecida uma implementação para o esquema de programação dinâmica de baixo para cima para a distância de edição. Não segue a definição completamente; as células internas são calculadas assim: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] …

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

A resposta de @ Babou a uma pergunta recente me lembra que, uma vez, acho que li um artigo sobre a equivalência (em termos de fatos que podem ser inferidos ou provados e a complexidade do tempo de execução do algoritmo de inferência) da análise de fluxo de dados , …

9 reference-request  compilers  type-inference  program-optimization 

A análise de fluxo de dados funciona sobre um gráfico de fluxo de controle. Quando um idioma em consideração suporta exceções, o gráfico de fluxo de controle pode explodir. Quais são as técnicas padrão para lidar com essa explosão? Podemos ignorar profundamente as arestas induzidas pela exceção? As análises de …

8 programming-languages  program-optimization  software-verification 

Para o meu projeto da feira de ciências, implementei uma otimização na rotina de classificação do Python. A idéia é mover as verificações de segurança que precisam ser realizadas durante cada comparação, por exemplo, verificações de tipo e verificações de largura de caracteres, fora do loop de classificação e realizar …

7 reference-request  type-checking  program-optimization  interpreters 

Alguns compiladores têm funções utilitárias que dividem arestas críticas no gráfico de fluxo de controle. Suponho que isso não seja feito como uma otimização em si, mas para simplificar outras análises e transformações. Em que casos a divisão de arestas críticas seria útil?

7 compilers  program-optimization  data-flow-analysis 

É possível projetar um compilador que otimiza um loop no qual matrizes são acessadas de maneira alternativa? Por exemplo, assim: // int[] a,b int sum = 0; for(int i = 0; i < n; i++) { sum += a[i] + b[i]; } Com o armazenamento seqüencial usual do array a[i]e …

7 compilers  arrays  program-optimization  memory-management