Symbolic voter placement for dependability-aware system synthesis
暂无分享,去创建一个
Martin Lukasiewycz | Michael Glaß | Christian Haubelt | Jürgen Teich | Joachim Keinert | Felix Reimann | M. Lukasiewycz | M. Glaß | C. Haubelt | J. Teich | Felix Reimann | J. Keinert
[1] Petru Eles,et al. Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints , 2008, 2008 Design, Automation and Test in Europe.
[2] E. Fuller,et al. RADIATION CHARACTERIZATION, AND SEU MITIGATION, OF THE VIRTEX FPGA FOR SPACE-BASED RECONFIGURABLE COMPUTING , 2000 .
[3] Antoine Rauzy,et al. New algorithms for fault trees analysis , 1993 .
[4] Martin Lukasiewycz,et al. Reliability-Aware System Synthesis , 2007 .
[5] Michael J. Wirthlin,et al. The reliability of FPGA circuit designs in the presence of radiation induced configuration upsets , 2003, 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, 2003. FCCM 2003..
[6] Sorin A. Huss,et al. Specification and Design Considerations for Reliable Embedded Systems , 2008, 2008 Design, Automation and Test in Europe.
[7] Martin Lukasiewycz,et al. Reliability-Aware System Synthesis , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.
[8] Marco Laumanns,et al. SPEA2: Improving the Strength Pareto Evolutionary Algorithm For Multiobjective Optimization , 2002 .
[9] Barry W. Johnson,et al. Dependability metrics to assess safety-critical systems , 2005, IEEE Transactions on Reliability.
[10] Petru Eles,et al. Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[11] Mahmut T. Kandemir,et al. Reliability-centric high-level synthesis , 2005, Design, Automation and Test in Europe.
[12] Christian Haubelt,et al. A SystemC-Based Design Methodology for Digital Signal Processing Systems , 2007, EURASIP J. Embed. Syst..
[13] Paulo Veríssimo,et al. The Delta-4 approach to dependability in open distributed computing systems , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[14] Ying Zhang,et al. Energy-aware deterministic fault tolerance in distributed real-time embedded systems , 2004, Proceedings. 41st Design Automation Conference, 2004..
[15] Li Shang,et al. Reliable multiprocessor system-on-chip synthesis , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[16] Ahmad Patooghy,et al. A Solution to Single Point of Failure Using Voter Replication and Disagreement Detection , 2006, 2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing.
[17] Martin Lukasiewycz,et al. Efficient symbolic multi-objective design space exploration , 2008, 2008 Asia and South Pacific Design Automation Conference.
[18] Mary Jane Irwin,et al. Reliability-aware co-synthesis for embedded systems , 2004 .
[19] Arshad Jhumka,et al. A dependability-driven system-level design approach for embedded systems , 2005, Design, Automation and Test in Europe.
[20] Luigi Carro,et al. Designing and testing fault-tolerant techniques for SRAM-based FPGAs , 2004, CF '04.
[21] Martin Lukasiewycz,et al. Interactive presentation: Reliability-aware system synthesis , 2007 .
[22] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[23] Peter J. Fleming,et al. On the Evolutionary Optimization of Many Conflicting Objectives , 2007, IEEE Transactions on Evolutionary Computation.
[24] Andreas Kuehlmann,et al. A fast pseudo-Boolean constraint solver , 2003, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[25] Petru Eles,et al. Synthesis of fault-tolerant embedded systems with checkpointing and replication , 2006, Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA'06).