Informatique théorique ar.hardware-architecture

1

Récemment, je suis tombé sur une construction théorique assez intéressante. Une soi-disant machine Gödel C'est un solutionneur de problèmes général qui est capable de s'auto-optimiser. Il convient aux environnements réactifs. Si je comprends bien, il peut être mis en œuvre en tant que programme pour la machine universelle de Turing, …

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

1

Accélération des avancées algorithmiques par rapport au matériel

Je me souviens avoir vu une étude ou un article il y a quelque temps affirmant que la plupart des accélérations observées dans les programmes informatiques au cours des dernières décennies provenaient de meilleurs algorithmes plutôt que de matériel plus rapide. Quelqu'un connaît-il l'étude ou l'article?

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

3

Un programme peut-il être mis en œuvre mécaniquement?

Est-il possible de construire une implémentation mécanique à but unique (non complète de Turing) de, disons, Microsoft Word? Est-il possible d'implémenter des choses comme les itérateurs, les fonctions de premier ordre, toute la gamme des techniques de programmation? Les engrenages et autres pièces mécaniques pourraient-ils représenter des structures de données …

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

1

Les gens regardent-ils l'imbrication des boucles dans les circuits booléens?

Pendant un premier cycle en EE, j'ai assisté à des conférences qui présentaient une belle caractérisation des circuits booléens en termes de nombre de boucles imbriquées. En termes de complexité, les circuits booléens sont souvent considérés comme des creux, mais dans les cycles matériels réels, ils sont courants. Maintenant, modulo …

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

Questions marquées «ar.hardware-architecture»