Instruction Pipeline Modeling using Petri Nets
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89692" target="_blank" >RIV/00216305:26230/10:PU89692 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Instruction Pipeline Modeling using Petri Nets
Original language description
This paper deals with instruction pipeline modeling using Petri Nets. Such model would be useful for processor pipeline design, verification and also for instruction scheduling in C compiler backend. This paper presents ongoing work and mainly states what requirements we have on such model.<br>
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
ISBN
978-972-8692-55-1
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
—
Publisher name
Technical Universityt Hamburg-Harburg
Place of publication
Universität Hamburg
Event location
Braga
Event date
Jun 21, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—