"keel waitfor" - 1 õppematerjal

Arvutid II teooria eksam

Sardsüsteem: Piiratud väljendusvõime, mis põhineb hästi (suspended) kuni teise täitmine jõuab mingi Genereeritud C programmid ei ole alati valitud punktini efektiivsed arvutusmudelil: 38 Ei sobi hajusrakendustele · Peavad olema efektiivsed · Spetsifitseerida saab ainult valitud süsteeme Kontrolli-põhine sünkroniseerimine Ei ole programmilisi konstruktsioone Loodud mingi spetsiifilise ülesande jaoks. · Formaalne analüüs on võimalik Andmete põhine sünkroniseerimine Ei või...