Extended framework for system simulation with affine arithmetic
暂无分享,去创建一个
[1] Christoph Grimm,et al. Range Arithmetics to Speed up Reachability Analysis of Analog Systems , 2007, FDL.
[2] J. Stolfi,et al. Aane Arithmetic and Its Applications to Computer Graphics , 1990 .
[3] Christoph Grimm,et al. Towards more Dependable Verification of Mixed-Signal Systems , 2010, Verification over discrete-continuous boundaries.
[4] Erich Barke,et al. Analog circuit simulation using range arithmetics , 2008, 2008 Asia and South Pacific Design Automation Conference.
[5] Cassio Pennachin,et al. Robust symbolic regression with affine arithmetic , 2010, GECCO '10.
[6] Erich Barke,et al. Semi-symbolische Simulation analoger Schaltungen mit Parameterschwankungen , 2006 .
[7] Christoph Grimm,et al. Towards Abstract Analysis Techniques for Range Based System Simulations , 2010, FDL.
[8] J. Stolfi,et al. An Introduction to Affine Arithmetic , 2003 .
[9] Evgenija D. Popova,et al. On the Eciency of Interval Multiplication Algorithms , 1998 .
[10] Klaus Waldschmidt,et al. Refinement of mixed-signals systems with affine arithmetic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.