Search results
Title Efficient diagnostics algorithms for regular computing structures Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Co-authors Gramatová Elena 1949- Source document 2011 IEEE 14th International Symposium on Design and Diagnostics of Electronic Circuits & Systems : DDECS 2011. P. 87-92. - : IEEE, 2011 ; 2011 IEEE 14th International Symposium on Design and Diagnostics of Electronic Circuits & Systems DDECS 2011 Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2011 DOI 10.1109/DDECS.2011.5783054 Title System level diagnostics over the PMC model Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Source document Information sciences and technologies : bulletin of the ACM Slovakia. Vol. 2, no. 2 (2010) p. 24-29 Category ADFB - Scientific papers in other domestic journals not registered in Current Contents Connect without IF (non-impacted) Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2011 URL URL link Title Systémová diagnostika regulárnych štruktúr Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Source document / Vlček Karel ; Běhal Ladislav ; Giesl Jiří ; Ježková Kateřina ; Podoba Tomáš Počítačové architektury a diagnostika 2009 - PAD : česko-slovenský seminář pro studenty doktorského studia. P. 112-117. - Zlín : Univerzita Tomáše Bati ve Zlíně, 2009 ; Počítačové architektury a diagnostika 2009 4esko-slovenský seminář pro studenty doktorského studia Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2009 Title Diagnosis of faulty units in regular graphs under the PMC model Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Co-authors Gramatová Elena 1949- SAVINFO - Ústav informatiky SAV Source document / Ronovell Michel ; Manhaeve Hans ; Drábková Jindra ; Rozkovec Martin ; Novák Ondřej ; Plíva Zdeněk ; Jeníček Jiří 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : proceedings. P. 202-205. - Piscataway, NJ : Institute of Electrical and Electronic Engineers, Inc., 2009 ; 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems DDECS 2009 Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2009 DOI 10.1109/DDECS.2009.5012128 Title Boolean formalisation of the PMC model for faulty units diagnosis in regular multi-processor systems Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Co-authors Gramatová Elena 1949- SAVINFO - Ústav informatiky SAV Source document / Straube B. ; Drutarovský M. ; Renovell M. ; Gramata P. ; Fischerová Mária 1955- 2008 IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems : proceedings. P. 144-145. - Bratislava : The Institute of Electrical and Electronic Engineers, 2008 ; IEEE Design and Daignostics of Electronic Circuits and Systems Workshop IEEE DDECS Workshop Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2008 DOI 10.1109/DDECS.2008.4538773 Title An extended Boolean method in the PMC system model for faulty units identification Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Source document / Brenkuš Juraj ; Stopjaková Viera ECS´07 : proceedings of the 6th Electronic Circuits and Systems Conference. P. 155-158. - Bratislava : Vydavateľstvo STU, 2007 ; Electronic Circuits and Systems Conference ECS´07 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2007 Title An extended formalisation in the PMC system model for faulty units identification Author Mánik Miroslav SAVINFO - Ústav informatiky SAV Co-authors Gramatová Elena 1949- SAVINFO - Ústav informatiky SAV Source document BEC 2004 : proceedings of the 9th Biennial Baltic Electronics Conference. s.213-216. - Tallinn : Tallinn University of Technology, 2004 ; Baltic Electronics Conference Category AEC - Scientific papers in foreign peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2004