Szoftver szekció

kulcsszavak

algoritmus (1) · Android (1) · best-first search (1) · boolean satisfiability (1) · cloud computing (1) · CUDA (1) · eclipse (1) · elosztott lekérdezések (1) · emf (1) · felhőalapú számítástechnika (1) · forgalmi mátrix (1) · gépi látás (1) · GPGPU (1) · gráfmintaillesztés (1) · gráfminták (1) · incrementális szinkronizáció (1) · ip (1) · Java (1) · költség csökkentés (1) · mde (1) · minisat (1) · modell karbantartás (1) · modellekérdezések (1) · modellgenerálás (1) · objektum felismerés (1) · ocl (1) · okostelefon (1) · opencv (1) · optimalizálás (1) · sat (1) · sat-probléma (1) · skálázás (1) · smt megoldók (1) · szakterület-specifikus nyelvek (1) · számítási felhő (1) · szimbolikus végrehajtás (1) · szimplex (1) · szoftverellenőrzés (1) · teljesítmény mérés (1) · teljesítmény-karakterisztikák (1) · tesztbemenet-generálás (1) · tesztelés (1)

konzulensek

• 
  Varró Dániel Dr.
  (3 dolgozat)
• 
  Horváth Ákos Dr.
  (2 dolgozat)
• 
  Izsó Benedek
  (1 dolgozat)
• 
  Jakab Tivadar István
  (1 dolgozat)
• 
  Kővári Bence Dr.
  (1 dolgozat)
• 
  Mann Zoltán Dr.
  (1 dolgozat)
• 
  Micskei Zoltán Dr.
  (1 dolgozat)
• 
  Ráth István Dr.
  (1 dolgozat)
• 
  Szatmári Zoltán
  (1 dolgozat)
• 
  Csorba Kristóf Dr.
  (1 dolgozat)