Informatica teorica ar.hardware-architecture

1

Di recente mi sono imbattuto in un costrutto teorico piuttosto interessante. Una cosiddetta macchina Gödel È un risolutore di problemi generali in grado di autoottimizzarsi. È adatto per ambienti reattivi. A quanto ho capito, può essere implementato come programma per la macchina Turing universale, sebbene i suoi requisiti vadano ben …

17 computability turing-machines physics machine-models ar.hardware-architecture

1

Accelerazione dai progressi algoritmici rispetto all'hardware

Ricordo di aver visto uno studio o un articolo qualche tempo fa sostenendo che la maggior parte della velocità vista nei programmi per computer negli ultimi decenni è dovuta a algoritmi migliori piuttosto che a hardware più veloce. Qualcuno conosce lo studio o l'articolo?

14 ds.algorithms reference-request big-picture ar.hardware-architecture

3

Qualche programma può essere implementato meccanicamente?

È possibile costruire un'implementazione meccanica a scopo unico (non Turing completa) di Microsoft Word? È possibile implementare cose come iteratori, funzioni di primo ordine, l'intera gamma di tecniche di programmazione? Gli ingranaggi e altre parti meccaniche potrebbero rappresentare strutture di dati o persino oggetti di programma? A un certo punto …

13 computability pl.programming-languages machine-models ar.hardware-architecture

1

Le persone osservano la nidificazione dei circuiti nei circuiti booleani?

Mentre ero un laureando in EE ho partecipato ad alcune lezioni che presentavano una bella caratterizzazione dei circuiti booleani in termini di quanti cicli nidificati hanno. Nella complessità, i circuiti booleani sono spesso pensati come punti deboli, ma nei cicli hardware reali sono comuni. Ora, modulo alcuni aspetti tecnici riguardo …

11 cc.complexity-theory reference-request circuit-complexity machine-models ar.hardware-architecture

Domande taggate «ar.hardware-architecture»