Publication result detail

Instruction Pipeline Modeling using Petri Nets

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

Original Title

Instruction Pipeline Modeling using Petri Nets

English Title

Instruction Pipeline Modeling using Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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

English abstract

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

Keywords

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

Key words in English

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

Authors

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

RIV year

2012

Released

28.07.2010

Publisher

Technical Universityt Hamburg-Harburg

Location

Universität Hamburg

ISBN

978-972-8692-55-1

Book

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

Edition

Proceedings of the International Workshop on Petri Nets and Software

Pages from

163

Pages to

164

Pages count

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