| Files: | Description | File size | Format | Browse |
| Fulltext | 0.42 MB | PDF (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 |
Ph.D., Lic. Theses
