Вопросы с тегом «ar.hardware-architecture»

Недавно я наткнулся на довольно интересную теоретическую конструкцию. Так называемая машина Гёделя Это общее решение проблем, способное к самооптимизации. Подходит для реактивных сред. Как я понимаю, он может быть реализован как программа для универсальной машины Тьюринга, хотя его требования выходят далеко за рамки имеющегося оборудования. Я не мог найти много …

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

Я вспоминаю, как видел исследование или статью, где недавно утверждалось, что большая часть ускорения, наблюдаемого в компьютерных программах за последние несколько десятилетий, происходит от более совершенных алгоритмов, а не от более быстрого аппаратного обеспечения. Кто-нибудь знает исследование или статью?

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

Можно ли создать единственную (не полную по Тьюрингу) механическую реализацию, скажем, Microsoft Word? Можно ли реализовать такие вещи, как итераторы, функции первого порядка, весь спектр методов программирования? Могут ли шестерни и другие механические части представлять структуры данных или даже программные объекты? В какой-то момент это требует создания машины общего назначения, …

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

В то время как EE старшекурсник я посетил некоторые лекции, которые представили хорошую характеристику булевых схем с точки зрения, сколько у них вложенных циклов. По своей сложности булевы схемы часто считаются дагами, но в реальных аппаратных циклах это обычное явление. Теперь, по модулю некоторых технических моментов, касающихся того, что представляет …

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