Запитання з тегом «ar.hardware-architecture»

Нещодавно я натрапив на досить цікавий теоретичний конструкт. Так звана машина Gödel Це загальне вирішення проблем, яке здатне до самооптимізації. Він підходить для реактивних середовищ. Як я розумію, вона може бути реалізована як програма для універсальної машини Тьюрінга, хоча її вимоги виходять далеко за межі апаратних засобів, які є в …

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 undergrad, я відвідував деякі лекції, в яких було представлено приємну характеристику булевих схем з точки зору кількості вкладених циклів. За складністю булеві схеми часто розглядаються як даги, але в реальних апаратних циклах поширені. Тепер, з точки зору деяких технічних можливостей щодо того, що таке цикл, …

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