Detail publikace

Instruction Pipeline Modeling using Petri Nets

HUSÁR, A. HRUŠKA, T. MASAŘÍK, K. PŘIKRYL, Z.

Originální název

Instruction Pipeline Modeling using Petri Nets

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.

Klíčová slova

Petri Nets, ISAC, Lissom, pipeline modeling, instruction pipeline, microarchitecture

Autoři

HUSÁR, A.; HRUŠKA, T.; MASAŘÍK, K.; PŘIKRYL, Z.

Rok RIV

2010

Vydáno

28. 7. 2010

Nakladatel

Technical Universityt Hamburg-Harburg

Místo

Universität Hamburg

ISBN

978-972-8692-55-1

Kniha

Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10

Edice

Proceedings of the International Workshop on Petri Nets and Software

Strany od

163

Strany do

164

Strany počet

2

BibTex

@inproceedings{BUT34421,
  author="Adam {Husár} and Tomáš {Hruška} and Karel {Masařík} and Zdeněk {Přikryl}",
  title="Instruction Pipeline Modeling using Petri Nets",
  booktitle="Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
  year="2010",
  series="Proceedings of the International Workshop on Petri Nets and Software",
  pages="163--164",
  publisher="Technical Universityt Hamburg-Harburg",
  address="Universität Hamburg",
  isbn="978-972-8692-55-1"
}