Számítógéptudomány
Számítógéptudomány (1332)
Élettelen természettudományok > SzámítógéptudományKibernetika (22)
Adatbázis-kezelés (25)
Digitális rendszerek (106)
Informatika (850)
Programozás (306)
Rendszertervezés (3)
3D modellezés (3)
Számítógép-architektúra (178)
Számítógépes hardver (29)
Modellező eszközök (1)

Have we learned from the Wasa disaster?

A million lines of verified code

The ideal of program correctness

Opening & welcome
Dines Bjørner
Prof. Emer Detrekői Ákos 15 éve - 11:49

FEM25D - Egy geofizikai elektromágneses modellező
Dr. Pethő Gábor
Tóth Adrián 15 éve - 19:38

Effektív grid alkalmazás teherhordó gerendák

Szegedi mini-HPC csoport - az első három év

Szuperszámítógépek a tudományos kutatásban - a

A TITAN grid rendszer kommunikációs protokollja
Hernyák Zoltán
Tömösközi Péter 15 éve - 18:40

Grides alkalmazások támogatása multi workflow

GASuC - Grid-alkalmazás támogatás Magyarországon

Egységes Windows és Linux alapú cluster és
Lakat Máté
Dr. Török János 15 éve - 24:35