109,855 matches
-
fiecare pas al execuției este finit pentru că mulțimile formula 16, formula 17 și implicit formula 18 sunt finite. (Faptul că alternativele de execuție sunt finite permite și o ordonare a lor, astfel încât putem vorbi de prima, a doua, ș.a.m.d. cale de execuție.) Astfel, o mașină deterministă ar putea simula una nedeterministă aplicând o strategie de backtracking depth-first. Pentru că mașina deterministă revine la stări interne parcurse deja pentru ca să repornească din ele pe noi căi sugerează că execuția mașinii deterministe ia mai mult timp
Mașina Turing nedeterministă () [Corola-website/Science/323295_a_324624]
-
doua, ș.a.m.d. cale de execuție.) Astfel, o mașină deterministă ar putea simula una nedeterministă aplicând o strategie de backtracking depth-first. Pentru că mașina deterministă revine la stări interne parcurse deja pentru ca să repornească din ele pe noi căi sugerează că execuția mașinii deterministe ia mai mult timp decât execuția mașinii nedeterministe echivalente pentru aceleași date de intrare. O clasă specială de mașini Turing nedeterministe au timpul de execuție limitat superior de un polinom a cărui variabilă este dimensiunea datelor de intrare
Mașina Turing nedeterministă () [Corola-website/Science/323295_a_324624]
-
o mașină deterministă ar putea simula una nedeterministă aplicând o strategie de backtracking depth-first. Pentru că mașina deterministă revine la stări interne parcurse deja pentru ca să repornească din ele pe noi căi sugerează că execuția mașinii deterministe ia mai mult timp decât execuția mașinii nedeterministe echivalente pentru aceleași date de intrare. O clasă specială de mașini Turing nedeterministe au timpul de execuție limitat superior de un polinom a cărui variabilă este dimensiunea datelor de intrare. Acestea aparțin clasei de complexitate NP. Întrebarea dacă
Mașina Turing nedeterministă () [Corola-website/Science/323295_a_324624]
-
stări interne parcurse deja pentru ca să repornească din ele pe noi căi sugerează că execuția mașinii deterministe ia mai mult timp decât execuția mașinii nedeterministe echivalente pentru aceleași date de intrare. O clasă specială de mașini Turing nedeterministe au timpul de execuție limitat superior de un polinom a cărui variabilă este dimensiunea datelor de intrare. Acestea aparțin clasei de complexitate NP. Întrebarea dacă există întotdeauna o mașină Turing deterministă echivalentă care să se execute și ea în timp polinomial nu a putut
Mașina Turing nedeterministă () [Corola-website/Science/323295_a_324624]
-
regilor danezi. La orele prânzului, episcopii antiunioniști de Skara și Strängnäs au fost decapitați în piața mare a orașului. Paisprezece nobili, trei burgomasteri, paisprezece membri ai sfatului orașului și circa douăzeci de cetățeni de rând au fost spânzurați sau decapitați. Execuțiile au continuat și a doua zi (10 noiembrie). Conform călăului-șef Jörgen Homuth, 82 de oameni au fost executați. Se spune că Christian s-a răzbunat și pe cadavrul lui Sten Sture, pe care l-ar fi dezgropat și ars
Masacrul de la Stockholm () [Corola-website/Science/324119_a_325448]
-
pentru a evita o interdicție papală, dar, atunci când și-a cerut scuze de la Papă pentru decapitarea episcopilor, a dat vina pe trupele sale pe care le-a acuzat de acte de răzbunare neautorizate. Dacă intenția ce a stat la originea execuțiilor a fost aceea de a-i supune prin frică pe antiunioniști, strategia a fost total contraproductivă. Gustav Vasa era fiul lui Erik Johansson, una dintre victimele masacrului. După ce a aflat vestea, Vasa a călătorit în nord, în provincia Dalarna să
Masacrul de la Stockholm () [Corola-website/Science/324119_a_325448]
-
un altruism atent prescris. Acest stil de viață de constrângere face ca, foarte des, "Cetățenii" să cedeze mental și să atace pe oricine le cade în mâini. Persoanele care comit acest lucru sau oricare altă infracțiune au de înfruntat ritualul execuției. O mică parte a populației, care încă mai păstrează natura lor agresivă sunt numiți "Lupi". Aceștia sunt considerați a fi o amenințare directă pentru restul societății. Acești Lupi se consideră superiori celorlalți și îi numesc pe "Cetățeni" ca fiind "Oi
Semnul Lupului () [Corola-website/Science/324347_a_325676]
-
îndrepte ușor-ușor pe soția sa, Gala, spre o perspectivă mai "Lupească". În ciuda acestei atitudini rebele, el a continuat să fie interesat în mod sincer de meditație. Glenn Tropile este demascat ca fiind un "Lup" în timp ce fura pâine. El scapă de execuție și este luat de către o comunitate de "Lupi" care trăiesc în orașul Princeton. Aceștia consideră Glenn nu aparține cu totul nici "Lupilor", dar aceștia speră ca el să fie luat de un "Ochi", oferindu-le astfel o șansă pentru a
Semnul Lupului () [Corola-website/Science/324347_a_325676]
-
de microprocesoare și FPGA-uri multiple. FPGA-urile sunt co-procesoare ce au sarcina de a executa mici părți din aplicații care iau cel mai mult timp, după regula 10-90, de exemplu 10% din cod care ia 90% din timpul de execuție. Calculul reconfigurabil mai este cunoscut și sub numele de calcul configurabil sau calcul personalizat. Are de cele mai multe ori performante impresionante, după cum se poate vedea în exemplul următor. Pentru o cheie de dimensiune de 270 de biți, o înmulțire cu punct
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
atât mai mult, problemele de portabilitate ale aplicațiilor fac necesara o explorare mai în detaliu. FPGA-urile tind sa ofere o performanta incredibila. Acestea pot suporta un număr mare de aplicații paralele diferite și implementate în timpul unui singur ceas de execuție. Daca FPGA-urile sunt programabile atunci ele pot oferi funcționalitate într-un singur chip pentru un număr mare de aplicații. Datorita prezentei memoriei de pe cip se facilitează accesul co procesorului și nu este restrâns la numărul de pini de intrare
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
ziua de azi, acestea pot servi ca hardware pentru o gama mare de aplicații. Dupa cum se poate vedea în tabel, niște exemple practice ale aplicațiilor arata ca se obțin performante de cel putin 10 ori mai bune în timpul de execuție comparând cu structurile cu un singur processor. Herbordt descria tehnici de dezvoltare ale aplicațiilor care permit o accelerare substanțiala: O tehnica cunoscuta în îmbunătățirea performantei unei singure unități este sa se construiască un grup care sa lucreze în paralel format
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
În informatică, concurența este o proprietate a sistemelor în care mai multe operații sunt executate simultan, eventual interacționând unele cu altele. Operațiile pot fi executate pe mai multe nuclee ale aceluiași chip (multi-core), de către fire de execuție planificate in avans ("preemptively time-shared threads") ale aceluiași procesor sau chiar pe procesoare separate fizic. Mai multe modele matematice au fost dezvoltate pentru calculul concurent, cum ar fi rețelele Petri, "Process calculus", modelul mașinii paralele cu acces aleator ("Parallel Random
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
fi rețelele Petri, "Process calculus", modelul mașinii paralele cu acces aleator ("Parallel Random Access Machine"), modelul Actor și limbajul de coordonare Reo. Deoarece calculele dintr-un sistem concurent pot interacționa unele cu altele în timp ce sunt executate, numărul de căi de execuție în sistem poate fi extrem de mare, iar rezultatul obținut nu poate fi determinat aprioric. Folosirea concurentă de resurse partajate poate fi o sursă de nedeterminare ce duce la probleme precum ajungerea într-un punct mort ("deadlock"), în care două sau
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
rezultatul obținut nu poate fi determinat aprioric. Folosirea concurentă de resurse partajate poate fi o sursă de nedeterminare ce duce la probleme precum ajungerea într-un punct mort ("deadlock"), în care două sau mai multe acțiuni se așteaptă reciproc blocând execuția, sau blocarea unei acțiuni din lipsa accesului la resurse ("resource starvation"). Proiectarea sistemelor concurente implică de cele mai multe ori găsirea unor tehnici solide de coordonare a execuției, schimburilor de date, alocării memoriei și planificării execuției în vederea minimizării timpului de răspuns și
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
punct mort ("deadlock"), în care două sau mai multe acțiuni se așteaptă reciproc blocând execuția, sau blocarea unei acțiuni din lipsa accesului la resurse ("resource starvation"). Proiectarea sistemelor concurente implică de cele mai multe ori găsirea unor tehnici solide de coordonare a execuției, schimburilor de date, alocării memoriei și planificării execuției în vederea minimizării timpului de răspuns și maximizării volumului de date procesate în unitatea de timp. Teoria concurenței a fost un domeniu activ de cercetare în informatica teoretică. Una dintre primele lucrări a
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
multe acțiuni se așteaptă reciproc blocând execuția, sau blocarea unei acțiuni din lipsa accesului la resurse ("resource starvation"). Proiectarea sistemelor concurente implică de cele mai multe ori găsirea unor tehnici solide de coordonare a execuției, schimburilor de date, alocării memoriei și planificării execuției în vederea minimizării timpului de răspuns și maximizării volumului de date procesate în unitatea de timp. Teoria concurenței a fost un domeniu activ de cercetare în informatica teoretică. Una dintre primele lucrări a fost cea a lui Carl Adam Petri despre
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
nelimitat, care ridică probleme cu verificarea modelului, provocând o explozie în spațiul stărilor și poate duce chiar la modele cu un număr infinit de stări. Unele modele concurente de programare includ co-procese și concurență deterministă. În aceste modele, fire de execuție de control oferă în mod explicit timpul lor de execuție fie sistemului de operare, fie altui proces.
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
în spațiul stărilor și poate duce chiar la modele cu un număr infinit de stări. Unele modele concurente de programare includ co-procese și concurență deterministă. În aceste modele, fire de execuție de control oferă în mod explicit timpul lor de execuție fie sistemului de operare, fie altui proces.
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
actori din Beijing au fost aduși în Statele Unite ale Americii, fiindu-le acordate vize pentru filmare. Scenele de la tribunal și de la penitenciar au fost recreate pe baza descrierilor date de avocați și judecători din China, iar secvența video care arată execuția prizonierilor chinezi a fost o execuție reală. Persoanele care au oferit secvențele video și au furnizat descrieri lui Avnet și personalului său au avut parte de un risc semnificativ prin furnizarea acestora. După lansarea sa în cinematografele din Statele Unite, "Temnița
Temnița roșie () [Corola-website/Science/326541_a_327870]
-
în Statele Unite ale Americii, fiindu-le acordate vize pentru filmare. Scenele de la tribunal și de la penitenciar au fost recreate pe baza descrierilor date de avocați și judecători din China, iar secvența video care arată execuția prizonierilor chinezi a fost o execuție reală. Persoanele care au oferit secvențele video și au furnizat descrieri lui Avnet și personalului său au avut parte de un risc semnificativ prin furnizarea acestora. După lansarea sa în cinematografele din Statele Unite, "Temnița roșie" a primit, în general, recenzii
Temnița roșie () [Corola-website/Science/326541_a_327870]
-
primii voievozi până la Unirea Principatelor, se perindă pe fundalul unei istorii zbuciumate. Memorabile rămân, de pildă, figura Chiajnei sau a Elisabetei Movilă ori sfârșitul cumplit al domniței Ruxanda, frumoasa fiică a lui Vasile Lupu. Povești de dragoste, răpiri și răscumpărări, execuții spectaculoase (ca aceea a familiei Brâncoveanu), înălțări și căderi se succed în imagini ritmate alert, capabile să restituie atmosfera specifică epocii. Gane a lăsat și un roman istoric, Rădăcini (1947), fără prea mult ecou (Perpessicius îi consacră, totuși, o recenzie
Constantin Gane () [Corola-website/Science/326580_a_327909]
-
o detonează în timp ce Gustave îl atacă în încercarea de a-l omorî, dar nu reușește. Un elicopter ajunge pentru a lua supraviețuitorii, dar oamenii Micului Gustave încearcă să-l arunce în aer pentru a pune mâna pe caseta video cu execuția filmată de Steven. Matt este lovit de o mașină și împușcat mortal de oamenii Micului Gustave, iar grupul se împrăștie. În timp ce Gustave îi vânează pe Steven, Maria și Tim, Aviva rămâne cu Jojo care fusese rănit. Ei găsesc doar camera
Monstrul preistoric () [Corola-website/Science/326600_a_327929]
-
jafuri armate, în mod special pentru crimele petrecute în timpul Masacrului din Martie. Comuna a fost înlocuită de Dictatura Centrocaspică. Spre deosebire de ceea ce s-a întâmplat în alte regiuni unde au ajuns la putere, bolșevicii din Baku nu s-au dedat la execuții în masă. CEKA din Baku a executat doar două persoane, membri ai sovietului acuzați de nereguli financiare - comisarul pentru finanțe Alexandr Kireev și comisarul vaporului Meve, Serghei Pokrovskii. După căderea sovietului din Baku în iulie 1918, liderii sovietici locali și
Comuna din Baku () [Corola-website/Science/326601_a_327930]
-
propunerea lui Malleson, afirmând că fusese luată deja o decizie . Mai mult, el a afirmat că a aflat doar a doua zi despre faptul că cei 26 urmau să fie executați. Istoricul Richard H. Ullman, Teague-Jones ar fi putut opri execuțiile cu ușurință, dat fiind faptul ca autoritățile din Așhabad erau dependente de sprijinul britanic și nu puteau refuza cererea unui aliat puternic, dar nu a întrerprins nicio acșiune în acest sens. În noaptea de 20 septembrie, la trei zile după ce
Comuna din Baku () [Corola-website/Science/326601_a_327930]
-
căii ferate transcaspice. Este neclar cum a reușit să supraviețuiască Anastas Mikoyan, care făcea parte din grup, și de ce i-a fost cruțată viața. În 1922, V. Chaikin, un ziarist eser, a publicat o descriere a momentelor care au precedat execuția. În timpul evacuării orașului Baku, în condițiile în care forțele otomane se aflau în ofensivă, bolșevicul Anastas Mikoian a recurs la amenințări pentru ca să obțină custodia membrilor Comunei, aceștia urmând să fie cercetați și judecați la Astrahan, unde se îndreptau toate forțele
Comuna din Baku () [Corola-website/Science/326601_a_327930]