Detail publikace

Instruction Pipeline Modeling using Petri Nets

HUSÁR Adam, HRUŠKA Tomáš, MASAŘÍK Karel a PŘIKRYL Zdeněk. Instruction Pipeline Modeling using Petri Nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. Proceedings of the International Workshop on Petri Nets and Software. Universität Hamburg: Technische Universitat Hamburg-Harburg, 2010, s. 163-164. ISBN 978-972-8692-55-1.
Název česky
Modelování instrukčních linek pomocí Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Husár Adam, Ing., Ph.D., MBA (VCIT FIT VUT)
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT)
Masařík Karel, Ing., Ph.D. (UIFS FIT VUT)
Přikryl Zdeněk, Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Tento článek popisuje modelování instrukčních linek pomocí Petriho sítí s cílem nalézt vhodný formalizmus pro jejich popis.

Anotace

Tento článek popisuje modelování instrukčních linek pomocí Petriho sítí. Takový model je vhodný pro návrh a verifikaci instrukčních linek a pro získání informací pro plánovač instrukcí v backendu překladače. Článek popisuje průběžnou práci a především stanovuje požadavky na takový model.

Rok
2010
Strany
163-164
Sborník
Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Řada
Proceedings of the International Workshop on Petri Nets and Software
Konference
International Workshop on Petri Nets and Software Engineering 2010, Braga, PT
ISBN
978-972-8692-55-1
Vydavatel
Technische Universitat Hamburg-Harburg
Místo
Universität Hamburg, DE
BibTeX 
@INPROCEEDINGS{FITPUB9271,
   author = "Adam Hus\'{a}r and Tom\'{a}\v{s} Hru\v{s}ka and Karel Masa\v{r}\'{i}k and Zden\v{e}k P\v{r}ikryl",
   title = "Instruction Pipeline Modeling using Petri Nets",
   pages = "163--164",
   booktitle = "Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
   series = "Proceedings of the International Workshop on Petri Nets and Software",
   year = 2010,
   location = "Universit{\"{a}}t Hamburg, DE",
   publisher = "Technical Universityt Hamburg-Harburg",
   ISBN = "978-972-8692-55-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9271"
}
Nahoru