Parallel software design enabling high-speed reliability testing of inkjet printheads
暂无分享,去创建一个
[1] Lee,et al. [IEEE 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing - Orlando, FL, USA (2008.05.5-2008.05.7)] 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) - Cyber Physical Systems: Design Cha , 2008 .
[2] Gonzalo R. Arce,et al. Nonlinear Signal Processing - A Statistical Approach , 2004 .
[3] George Ungureanu,et al. Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors , 2013 .
[4] H. Wijshoff,et al. The dynamics of the piezo inkjet printhead operation , 2010 .
[5] Edward A. Lee. Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[6] Alan V. Oppenheim,et al. Discrete-time Signal Processing. Vol.2 , 2001 .
[7] Axel Jantsch,et al. System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[8] Ingo Sander,et al. Towards a Formal Software Synthesis Methodology for Embedded Multiprocessor Systems , 2011 .
[9] Alan V. Oppenheim,et al. Discrete-Time Signal Pro-cessing , 1989 .
[10] Seyed-Hosein Attarzadeh-Niaki,et al. Semi-formal refinement of heterogeneous embedded systems by foreign model integration , 2011, FDL 2011 Proceedings.