Ön jelenleg a(z) Kormányzati Informatikai Fejlesztési Ügynökség Videotorium aloldalát böngészi. A keresési találatok, illetve az aloldal minden felülete (Főoldal, Kategóriák, Csatornák, Élő közvetítések) kizárólag az intézményi aloldal tartalmait listázza. Amennyiben a Videotorium teljes archívumát kívánja elérni, kérjük navigáljon vissza a Videotorium főoldalára!

Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata

229

Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata




Networkshop 2013 konferencia, Szuperszámítástechnika, adattárolás, felhő-rendszerek

Informatika, Elosztott számítás

Bíró Csaba (előadó)
Kovásznai Gergely (előadó)
Tajti Tibor (előadó)
Dr. Kusper Gábor (előadó)

13:46

2013. március 27.

Videotorium admin

2013. április 11.

229
<iframe width="480" height="385" src="//kifu.videotorium.hu/hu/embed/6145" frameborder="0" allowfullscreen="allowfullscreen"></iframe>

Audió letöltés