Perguntas com a marcação «ar.hardware-architecture»

Recentemente me deparei com uma construção teórica bastante interessante. Uma máquina chamada Gödel É um solucionador de problemas geral capaz de auto-otimização. É adequado para ambientes reativos. Pelo que entendi, ele pode ser implementado como um programa para a máquina universal de Turing, embora seus requisitos vão muito além do …

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

Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou artigo?

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

É possível criar uma implementação mecânica de propósito único (não concluída em Turing), por exemplo, Microsoft Word? É possível implementar coisas como iteradores, funções de primeira ordem, toda a gama de técnicas de programação? As engrenagens e outras partes mecânicas representam estruturas de dados ou até objetos de programa? Em …

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

Enquanto estudante de EE, participei de algumas palestras que apresentavam uma boa caracterização de circuitos booleanos em termos de quantos ciclos aninhados eles tinham. Na complexidade, os circuitos booleanos são frequentemente vistos como dags, mas em ciclos reais de hardware são comuns. Agora, modulando alguns detalhes técnicos sobre o que …

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