Instruction Pipeline Modeling using Petri Nets

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Instruction Pipeline Modeling using Petri Nets
Popis výsledku v původním jazyce
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>
Název v anglickém jazyce
Instruction Pipeline Modeling using Petri Nets
Popis výsledku anglicky
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>

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
ISBN
978-972-8692-55-1
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
—
Název nakladatele
Technical Universityt Hamburg-Harburg
Místo vydání
Universität Hamburg
Místo konání akce
Braga
Datum konání akce
21. 6. 2010
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)