loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)
Asynchronous Data Path Models
Bratislava, Slovak Republic
July 10-July 13
ISBN: 0-7695-2902-X
ASCII Text
x 
 
Danil Sokolov, Ivan Poliakov, Alex Yakovlev, "Asynchronous Data Path Models," Application of Concurrency to System Design, International Conference on, pp. 197-210, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2007.45,
author = {Danil Sokolov and Ivan Poliakov and Alex Yakovlev},
title = {Asynchronous Data Path Models},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2007},
issn = {1550-4808},
pages = {197-210},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.45},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Asynchronous Data Path Models
SN - 1550-4808
SP197
EP210
A1 - Danil Sokolov,
A1 - Ivan Poliakov,
A1 - Alex Yakovlev,
PY - 2007
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Danil Sokolov, University of Newcastle, UK
Ivan Poliakov, University of Newcastle, UK
Alex Yakovlev, University of Newcastle, UK
A token-based model for asynchronous data path is formally defined and three token game semantics, spread token, antitoken and counterflow, are introduced. These semantics are studied and their advantages and drawbacks are highlighted. For analysis and comparison a software tool is developed which integrates these models into a consistent framework. The models are verified by mapping them into Petri nets and employing the existing model checking tools.
Citation:
Danil Sokolov, Ivan Poliakov, Alex Yakovlev, "Asynchronous Data Path Models," acsd, pp.197-210, Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.