Files:DescriptionFile size FormatBrowse
Fulltext0.42 MBPDF (requires Acrobat Reader)Next
  
Authors:Leonidas Tsiopoulos: Department of Information Technologies, Åbo Akademi University, Turku, Finland
Publication title:Towards Dependable Placement of NoC Resources
Conference:NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Publication type: Abstract and Fulltext
Issue:041
Article No.:001
Abstract:In this paper we present an approach on how executable formal specifications of Network-on-Chip routing schemes can help on deciding efficient placement of processing resources on 3D-integrated systems. We use a routing scheme specified with the B Action Systems formalism and we execute it with the model checking and animating tool ProB in order to obtain traces of operation executions based on different data flow scenarios.
Language:English
Year:2009
No. of pages:9
Pages:1-9
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/041/001/ecp0941001.pdf
Available:2009-07-14
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Leonidas Tsiopoulos (2009). Towards Dependable Placement of NoC Resources, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=041;article=001 (accessed 4/16/2014)