loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
Turku, Finland
June 28-June 30
ISBN: 0-7695-2556-3
ASCII Text
x 
 
Victor Khomenko, Agnes Madalinski, Alex Yakovlev, "Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings," Application of Concurrency to System Design, International Conference on, pp. 57-68, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2006.21,
author = {Victor Khomenko and Agnes Madalinski and Alex Yakovlev},
title = {Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2006},
issn = {1550-4808},
pages = {57-68},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.21},
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 - Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
SN - 1550-4808
SP57
EP68
A1 - Victor Khomenko,
A1 - Agnes Madalinski,
A1 - Alex Yakovlev,
PY - 2006
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Victor Khomenko, University of Newcastle upon Tyne, UK.
Agnes Madalinski, University of Newcastle upon Tyne, UK.
Alex Yakovlev, University of Newcastle upon Tyne, UK.
A combined framework for the resolution of encoding conflicts in STG unfoldings is presented, which extends previous work by incorporating concurrency reduction in addition to signal insertion. Furthermore, a novel validity condition is proposed to justify these transformations. The method has been implemented in the CONFRES tool and applied to a number of case studies. The experimental results show that the combined framework enlarges the design space and allows better exploration of the speed/area tradeoff.
Citation:
Victor Khomenko, Agnes Madalinski, Alex Yakovlev, "Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings," acsd, pp.57-68, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.