메뉴 건너뛰기




Volumn 53, Issue 10, 2007, Pages 751-763

Design space exploration of reliable networked embedded systems

Author keywords

Design space exploration; Network design; Reliability; Topology optimization

Indexed keywords

BINARY DECISION DIAGRAMS; EVOLUTIONARY ALGORITHMS; PROGRAM PROCESSORS; RELIABILITY; SHAPE OPTIMIZATION; WIRELESS SENSOR NETWORKS;

EID: 34248515443     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2007.01.005     Document Type: Article
Times cited : (22)

References (19)
  • 1
    • 0031704808 scopus 로고    scopus 로고
    • System-level synthesis using evolutionary algorithms
    • Gupta R. (Ed), Kluwer Academic Publishers, Boston
    • Blickle T., Teich J., and Thiele L. System-level synthesis using evolutionary algorithms. In: Gupta R. (Ed). Design Automation for Embedded Systems 3 (1998), Kluwer Academic Publishers, Boston 23-62
    • (1998) Design Automation for Embedded Systems , vol.3 , pp. 23-62
    • Blickle, T.1    Teich, J.2    Thiele, L.3
  • 2
    • 0034821822 scopus 로고    scopus 로고
    • P. Lieverse, P. van der Wolf, E. Deprettere, A trace transformation technique for communication refinement, in: Proceedings 9th International Symposium on Hardware/Software Codesign (CODES'2001), Copenhagen, Denmark, 2001, pp. 134-139.
  • 4
    • 0036977613 scopus 로고    scopus 로고
    • S. Mohanty, V. K. Prasanna, S. Neema, J. Davis, Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation, in: Proceedings of the joint conference on languages, compilers and tools for embedded systems: software and compilers for embedded systems, Berlin, Germany, 2002, pp. 18-27.
  • 5
    • 0036044485 scopus 로고    scopus 로고
    • L. Thiele, S. Chakraborty, M. Gries, S. Künzli, A framework for evaluating design tradeoffs in packet processing architectures, in: Proceedings of the 39th Design Automation Conference (DAC 2002), New Orleans LA, USA, 2002, pp. 880-885.
  • 6
    • 11244278278 scopus 로고    scopus 로고
    • V. Kianzad, S.S. Bhattacharyya, CHARMED: A multi-objective co-synthesis framework for multi-mode embedded systems, in: Proceedings of the 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP'04), Galveston, USA, 2004, pp. 28-40.
  • 9
    • 0027004888 scopus 로고    scopus 로고
    • R. Karri, A. Orailoǧlu, Transformation-based high-level synthesis of fault-tolerant ASICs, in: Proceedings of 29th Design Automation Conference (DAC'92), ACM, IEEE, USA, 1992, pp. 662-665.
  • 11
    • 11244324452 scopus 로고    scopus 로고
    • Y. Xie, L. Li, M. Kandemir, N. Vijaykrishnan, M.J. Irwin, Reliability-aware cosynthesis for embedded systems, in: Proceedings of ASAP'04, 2004, pp. 41-50.
  • 12
    • 0036605168 scopus 로고    scopus 로고
    • Reliability properties assessment at system level: a co-design framework
    • Bolchini C., Pomante L., Salice F., and Sciuto D. Reliability properties assessment at system level: a co-design framework. Journal of Electronic Testing 18 3 (2002) 351-356
    • (2002) Journal of Electronic Testing , vol.18 , Issue.3 , pp. 351-356
    • Bolchini, C.1    Pomante, L.2    Salice, F.3    Sciuto, D.4
  • 13
    • 0030167877 scopus 로고    scopus 로고
    • Reliability optimization of series-parallel systems using a genetic algorithm
    • Coit D.W., and Smith A.E. Reliability optimization of series-parallel systems using a genetic algorithm. IEEE Transactions on Reliability 45 1 (1996) 254-260
    • (1996) IEEE Transactions on Reliability , vol.45 , Issue.1 , pp. 254-260
    • Coit, D.W.1    Smith, A.E.2
  • 14
    • 0032317818 scopus 로고    scopus 로고
    • N. Garg, J. Könemann, Faster and simpler algorithms for multicommodity flow and other fractional packing problems, in: Proceedings of 39th Annual Symposium on Foundations of Computer Science, FOCS'98, Palo Alto, California, USA, 1998.
  • 15
    • 34248567829 scopus 로고    scopus 로고
    • C. Haubelt, Automatic model-based design space exploration for embedded systems - a system level approach, Ph.D. thesis, University of Erlangen-Nuremberg, Germany (July 2005).
  • 16
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • Bryant R.E. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35 8 (1986) 677-691
    • (1986) IEEE Transactions on Computers , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 18
    • 35248851504 scopus 로고    scopus 로고
    • S. Bleuler, M. Laumanns, L. Thiele, E. Zitzler, PISA - a platform and programming language independent interface for search algorithms, in: Proceedings of the 2nd International Conference on Evolutionary Multi-Criterion Optimization, Vol. 2632, Faro, Protugal, 2003, pp. 494-508.
  • 19
    • 34248536272 scopus 로고    scopus 로고
    • LpSolve, Reference Guide. Available from: lpsolve.sourceforge.net, 2005.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.