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
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