755 matches
-
pas computațional (mai târziu generalizat în [McCarthy and Hayes 1969] și [Dijkstra 1976]. Starea globală a fost continuată în teoria automatelor pentru mașinile cu stări finite și mașinile cu stive push down. Astfel de automate nondeterministice au proprietatea ca nondeterminism nelegat. Adică, dacă o mașină întotdeauna se oprește când este pornită în starea sa inițială, atunci este o limită asupră numărului de stări pe care le poate avea. Edsger Dijkstra a dezvoltat mai departe conceptul de abordare de stare globală nondeterministică
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
când este pornită în starea sa inițială, atunci este o limită asupră numărului de stări pe care le poate avea. Edsger Dijkstra a dezvoltat mai departe conceptul de abordare de stare globală nondeterministică și a generat o controversă numită "nedeterminism nelegat" (sau nedeterminare nelegată, și este o proprietate prin care cantitatea de întârziere pentru o cerere poate deveni fără limită ca un rezultat al arbitrării pentru partajarea resurselor "încă garantând că cererea va fi îndeplinită cândva". Modelul Actor conferă nondeterminism nelegat
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
în starea sa inițială, atunci este o limită asupră numărului de stări pe care le poate avea. Edsger Dijkstra a dezvoltat mai departe conceptul de abordare de stare globală nondeterministică și a generat o controversă numită "nedeterminism nelegat" (sau nedeterminare nelegată, și este o proprietate prin care cantitatea de întârziere pentru o cerere poate deveni fără limită ca un rezultat al arbitrării pentru partajarea resurselor "încă garantând că cererea va fi îndeplinită cândva". Modelul Actor conferă nondeterminism nelegat care a fost
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
nelegat" (sau nedeterminare nelegată, și este o proprietate prin care cantitatea de întârziere pentru o cerere poate deveni fără limită ca un rezultat al arbitrării pentru partajarea resurselor "încă garantând că cererea va fi îndeplinită cândva". Modelul Actor conferă nondeterminism nelegat care a fost capturat în modelul matematic de Will Clinger folosit teoria domeniilor. Deci nu este o stare globală în modelul Actor. Mesajele în modelul Actor nu sunt trecute prin buffer în mod obligatoriu. Deasemenea, mesajele sunt transmise direct și
Modelul Actor () [Corola-website/Science/322835_a_324164]
-
un raport al masei prin luminozitate de mai mult de 440 M☉/L☉, sugerând mari cantități de materie întunecată. Marea dispersie a velocității ar putea fi explicată prin fenomenul cunoscut al galaxiilor pitice care suferă un efect mareic (curenți stelari nelegați virtual de galaxii pitice perturbate prin efect mareic al Căii Lactee). Totuși, slaba lărgime de 570 de parseci nu suportă această ipoteză. Aceasta face din materia întunecată un foarte bun candidat la fenomenul de dispersie și, prin urmare, din Galaxia Pitică
Galaxia Pitică din Dragonul () [Corola-website/Science/337465_a_338794]