Design space exploration of reliable networked embedded systems
暂无分享,去创建一个
[1] Mahmut T. Kandemir,et al. Reliability-centric high-level synthesis , 2005, Design, Automation and Test in Europe.
[2] Mary Jane Irwin,et al. Reliability-aware co-synthesis for embedded systems , 2004 .
[3] Alessandro Birolini. Reliability Engineering: Theory and Practice , 1999 .
[4] Christian Haubelt. Automatic model based design space exploration for embedded systems: a system level approach , 2005 .
[5] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[6] Ed F. Deprettere,et al. A trace transformation technique for communication refinement , 2001, CODES '01.
[7] Ramesh Karri,et al. Transformation-based high-level synthesis of fault-tolerant ASICs , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.
[8] Ed F. Deprettere,et al. Exploring Embedded-Systems Architectures with Artemis , 2001, Computer.
[9] David W. Coit,et al. Reliability optimization of series-parallel systems using a genetic algorithm , 1996, IEEE Trans. Reliab..
[10] Marco Laumanns,et al. PISA: A Platform and Programming Language Independent Interface for Search Algorithms , 2003, EMO.
[11] Viktor K. Prasanna,et al. Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation , 2002, LCTES/SCOPES '02.
[12] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[13] Shuvra S. Bhattacharyya,et al. CHARMED: a multi-objective co-synthesis framework for multi-mode embedded systems , 2004, Proceedings. 15th IEEE International Conference on Application-Specific Systems, Architectures and Processors, 2004..
[14] Lothar Thiele,et al. A framework for evaluating design tradeoffs in packet processing architectures , 2002, DAC '02.
[15] Jürgen Teich,et al. System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..
[16] Jochen Könemann,et al. Faster and simpler algorithms for multicommodity flow and other fractional packing problems , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).
[17] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[18] Donatella Sciuto,et al. Reliability properties assessment at system level: a co-design framework , 2001, Proceedings Seventh International On-Line Testing Workshop.