Scienza del computer program-optimization

4

Ottimizzazione automatizzata della moltiplicazione vettoriale a matrice 0-1

Domanda: Esiste una procedura o teoria consolidata per la generazione di codice che applica efficacemente una moltiplicazione matrice-vettore, quando la matrice è densa e piena solo di zeri e di quelli? Idealmente, il codice ottimizzato farebbe un uso sistematico delle informazioni precedentemente calcolate per ridurre il lavoro duplicato. In altre …

22 linear-algebra matrices program-optimization

1

Esistono compilatori completamente ottimizzati per la chiusura dei programmi?

Nel libro di Andrew W. Appel, Modern Compiler Implementation in ML , afferma nel capitolo 17 che la teoria della computabilità mostra che sarà sempre possibile inventare nuove trasformazioni di ottimizzazione e procede per dimostrare che un compilatore completamente ottimizzato risolverà il problema di arresto: un programma Q che non …

20 computability compilers program-optimization

12

Struttura dei dati o algoritmo per trovare rapidamente le differenze tra le stringhe

Ho un array di 100.000 stringhe, tutte di lunghezza . Voglio confrontare ogni stringa con ogni altra stringa per vedere se due stringhe differiscono di 1 carattere. In questo momento, quando aggiungo ogni stringa all'array, la sto confrontando con ogni stringa già presente nell'array, che ha una complessità temporale di …

19 algorithms data-structures program-optimization comparison

2

Perché l'assegnazione statica-singola è preferita rispetto allo stile di passaggio di continuazione in molti compilatori utilizzati nel settore?

Secondo la pagina di Wikipedia sull'assegnazione statica-singola (SSA) , SSA viene utilizzata da progetti di grandi dimensioni e ben noti come LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey e V8 mentre la pagina su progetti utilizza lo stile di passaggio di continuazione (CPS) è un po 'carente in confronto. Ho questa …

16 compilers program-optimization continuations

2

Quali proprietà dei contro consentono l'eliminazione dei contro modulo di ricorsione della coda?

Conosco l'idea dell'eliminazione di base della ricorsione della coda, in cui le funzioni che restituiscono il risultato diretto di una chiamata a se stesse possono essere riscritte come cicli iterativi. foo(...): # ... return foo(...) Comprendo anche che, come caso speciale, la funzione può ancora essere riscritta se la chiamata …

14 compilers recursion program-optimization tail-recursion

5

Perché la progettazione del sistema operativo è in grado di ridurre il consumo energetico?

Ho letto che i sistemi operativi come Android e iOS sono in qualche modo ottimizzati per migliorare la durata della batteria. La mia comprensione è che una CPU esegue un certo numero di operazioni in un determinato momento, quindi penso che sia possibile accelerare le applicazioni riducendo il numero di …

11 computer-architecture operating-systems performance program-optimization

1

Micro-ottimizzazione per il calcolo della distanza di modifica: è valida?

Su Wikipedia , viene fornita un'implementazione per lo schema di programmazione dinamica dal basso verso l'alto per la distanza di modifica. Non segue completamente la definizione; le cellule interne sono calcolate così: 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

3

Equivalenza dell'analisi del flusso di dati, interpretazione astratta e inferenza del tipo?

@La risposta di Babou a una domanda recente mi ricorda che un tempo penso di aver letto un documento sull'equivalenza (in termini di entrambi i fatti che possono essere inferiti o dimostrati e la complessità temporale dell'esecuzione dell'algoritmo di inferenza) dell'analisi del flusso di dati , interpretazione astratta e inferenza …

9 reference-request compilers type-inference program-optimization

1

Analisi del flusso di dati con eccezioni

L'analisi del flusso di dati funziona su un grafico del flusso di controllo. Quando una lingua in esame supporta le eccezioni, il grafico del flusso di controllo può esplodere. Quali sono le tecniche standard per affrontare questa esplosione? Possiamo ignorare profondamente i bordi indotti dall'eccezione? Le analisi del flusso di …

8 programming-languages program-optimization software-verification

Domande taggate «program-optimization»