You are currently browsing the Videotorium site of the organization Governmental Information-Technology Development Agency. The content of the search results and listing pages of the site (Main page, Categories, Channels, Live events) are limited to this organization. In case you wish to browse the whole archive of Videotorium, please, navigate back to the main Videotorium site.

Tisztelt Felhasználók!
Ezúton tájékoztatjuk Önöket, hogy 2026.02.24.-től kezdődően a videófeltöltés-, valamint módosítás szolgáltatásunk átmenetileg szünetel, de a már korábban feltöltött videók továbbra is megtekinthetők maradnak. Munkatársaink mindent megtesznek annak érdekében, hogy az átállás a lehető legrövidebb időn belül, zökkenőmentesen megtörténjen.

Az átállás során Önnek nincs teendője, a meglévő tartalmak az új rendszer indulását követően változatlanul továbbra is elérhetők lesznek.

Az átmeneti időszakra türelmét és megértését kérjük.

Computer science


Have we learned from the Wasa disaster?

Jean-Raymond Abrial 16 years ago - 38:02

A million lines of verified code

Jim Woodcock 16 years ago - 40:26

The ideal of program correctness

Prof. Sir Tony Hoare 16 years ago - 42:46

Opening & welcome

Dr. Péter Szeredi
Dines Bjørner
Prof. Emer Ákos Detrekői
16 years ago - 11:49

FEM25D - Egy geofizikai elektromágneses modellező

Lajos Ficsor
Dr. Gábor Pethő
Adrián Tóth
16 years ago - 19:38

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

Dr. János Török 16 years ago - 18:22

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

Dr. Zoltán Fekete 16 years ago - 32:59

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

Dr. Béla Viskolcz 16 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
16 years ago - 18:40

Grides alkalmazások támogatása multi workflow

Krisztián Karóczkai 16 years ago - 22:35

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

Ákos Balaskó 16 years ago - 34:33

Egységes Windows és Linux alapú cluster és

Dénes Németh
Máté Lakat
Dr. János Török
16 years ago - 24:35