Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
Primary Links
Home
Events
Education
Critical Embedded Systems
System Modelling
Software and Systems Verification
Formal Methods
Software Verification and Validation
Research
Research Directions
Application Areas
Projects
Tools
Publications
Authors
Keywords
About Us
Members
Location
Partners and Sponsors
Search this site:
Autonóm és hibatűrő informatikai rendszerek - Segédanyagok
Félév: 2014. ősz
Title
Egyedi szöveg
1. Bevezetés, aut. számítástechnika alapfogalmai
20140908_Autonom_1_ea_Bevezetes.pptx
2. Szondázás alapú diagnosztika 1.
20140911_Probing_1.pptx
3. Szondázás alapú diagnosztika: inf. elm. alapfogalmak
20140915_Probing_2.pptx
4. CSP
20140922_CSP.pptx
5.-8. Hibatűrő szoftverrendszerek tervezési mintái
2014_hibaturo_szoftverek_tervezesi_mintai.pptx
9.-10. Benchmarking, teljesítménybenchmarkok felhőkben, depy benchmarking
2014_Autonom_benchmarking.pptx
11.-12. EDA
2014_Autonom_EDA.pptx
13. Kieső értékek detektálása
2014_Autonom_Outlier_Detection.pptx
ZH eredmények
ZH.pdf
14.-15. Kvalitatív EPA
2014_Autonom_kvalitativ_EPA.pptx
Pataricza - 2008 - Systematic generation of dependability cases from functional mod.pdf
16.-17. HyParView, Plumtree
20131003_Autonom_5_ea_HyParView_Plumtree.pptx
18. Nyomkövetés alapú hibadetektálás
2014_tracing.pptx
Vizsgatételek
2014_vizsgatetelek.pdf
Félév: 2013. ősz
Title
Egyedi szöveg
1. Az autonóm számítástechnika alapfogalmai
20130909_Autonom_1_ea_Bevezetes.pptx
2. Szonda alapú diagnosztika 1.
20130909_Autonom_1_gyak_Adaptiv_diag.pptx
3. Szonda alapú diagnosztika 2.
20130923_Autonom_2_ea_Adaptiv_diag.pptx
4. Bevezetés a korlátkielégítési problémákba
20130930_Autonom_3_ea_CSP.pptx
20130930_3_Eloadas_forrasok.zip
5.-6. Elosztott tagsági kép és hatékony multicast
20131003_Autonom_5_ea_HyParView_Plumtree.pptx
7.-8. Kvalitatív hibaterjedési analízis
20131014_Autonom_7_ea_kvalitativ_EPA.pptx
9.-10.-11. Hibatűrő rendszerek tervezési mintái
20131021_Autonom_9_ea_hibaturo_szoftverek_tervezesi_mintai.pptx
2013 ZH eredmények
2013_Autonom_ZH.pdf
2013 pótZH eredmények
2013_Autonom_potZH.pdf
12.-13. Benchmarkok
2013_Autonom_benchmarking_public.pptx
15.-16.-17. EDA
2013_Autonom_EDA.pptx
18.-19. Ritka események
2013_Autonom_rare_categories.pptx
1
2
next ›
last »
Languages
BME EduID Sign on
Login
User login
Username:
*
Password:
*
Leírások
Submitting homework and lab assignments
IT Services
Egyéb leírások
Navigation
Conference materials