Teoretyczne informatyka ar.hardware-architecture

1

Ostatnio natknąłem się na dość interesującą konstrukcję teoretyczną. Tak zwana maszyna Gödela To ogólne narzędzie do rozwiązywania problemów, które jest zdolne do samooptymalizacji. Nadaje się do środowisk reaktywnych. Jak rozumiem, można go zaimplementować jako program do uniwersalnej maszyny Turinga, choć jego wymagania wykraczają daleko poza obecnie dostępny sprzęt. Nie mogłem …

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

1

Przyspieszenie dzięki postępom algorytmicznym w porównaniu ze sprzętem

Pamiętam jakiś czas temu badanie lub artykuł, w którym twierdziłem, że większość przyspieszenia obserwowanego w programach komputerowych w ciągu ostatnich kilku dekad wynika z lepszych algorytmów niż z szybszego sprzętu. Czy ktoś zna badanie lub artykuł?

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

3

Czy każdy program można wdrożyć mechanicznie?

Czy można zbudować mechaniczną implementację powiedzmy Microsoft Word w jednym celu (bez Turinga)? Czy można wdrożyć takie rzeczy jak iteratory, funkcje pierwszego rzędu, całą gamę technik programowania? Czy koła zębate i inne części mechaniczne mogą reprezentować struktury danych, a nawet obiekty programu? Czy w pewnym momencie wymaga to zbudowania maszyny …

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

1

Czy ludzie patrzą na zagęszczenie pętli w obwodach boolowskich?

Podczas studiów licencjackich EE uczestniczyłem w kilku wykładach, które przedstawiały ładną charakterystykę obwodów boolowskich pod względem liczby zagnieżdżonych pętli. Ze złożonością obwody boolowskie są często uważane za sztylety, ale w rzeczywistości cykle sprzętowe są powszechne. Teraz, modulo kilka szczegółów technicznych dotyczących tego, czym jest pętla i co stanowi zagnieżdżoną pętlę, …

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

Pytania otagowane jako ar.hardware-architecture