Physical sciences
Temporal annotations and their validation
Amir Pnueli
14 years ago - 47:40
Have we learned from the Wasa disaster?
Jean-Raymond Abrial
14 years ago - 38:02
A million lines of verified code
Jim Woodcock
14 years ago - 40:26
The ideal of program correctness
Prof. Sir Tony Hoare
14 years ago - 42:46
Opening & welcome
Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői 14 years ago - 11:49
Dines Bjørner
Prof. Emer Ákos Detrekői 14 years ago - 11:49
FEM25D - Egy geofizikai elektromágneses modellező
Lajos Ficsor
Dr. Gábor Pethő
Adrián Tóth 14 years ago - 19:38
Dr. Gábor Pethő
Adrián Tóth 14 years ago - 19:38
Effektív grid alkalmazás teherhordó gerendák
Dr. János Török
14 years ago - 18:22
Szegedi mini-HPC csoport - az első három év
Dr. Zoltán Fekete
14 years ago - 32:59
Szuperszámítógépek a tudományos kutatásban - a
Dr. Béla Viskolcz
14 years ago - 35:00
A TITAN grid rendszer kommunikációs protokollja
Roland Király
Zoltán Hernyák
Péter Tömösközi 14 years ago - 18:40
Zoltán Hernyák
Péter Tömösközi 14 years ago - 18:40
Grides alkalmazások támogatása multi workflow
Krisztián Karóczkai
14 years ago - 22:35
GASuC - Grid-alkalmazás támogatás Magyarországon
Ákos Balaskó
14 years ago - 34:33