Author of the publication

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

, , , , , , and . IEEE Trans. Industrial Electronics, 62 (2): 1270-1278 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatic tracking of swimming koi using a particle filter with a center-surrounding cue., , , , , and . Mathematical and Computer Modelling, 58 (3-4): 859-867 (2013)Detecting academic experts by topic-sensitive link analysis., , and . Frontiers of Computer Science in China, 3 (4): 445-456 (2009)Bus holding strategy based on shuffled complex evolution method., and . Frontiers of Computer Science, 6 (4): 462-468 (2012)A Single-Frame Superresolution Algorithm for Lab-on-a-Chip Lensless Microfluidic Imaging., , , , and . IEEE Design & Test, 32 (6): 32-40 (2015)Buffer-aided and weight-based non-orthogonal network coding for wireless broadcasting., , , and . WCSP, page 1-6. IEEE, (2015)QoS Guarantee in Tomcat Web Server: A Feedback Control Approach., , , , and . CyberC, page 183-189. IEEE Computer Society, (2011)An Application of Pansystems Methodology to Path's Searching Problem Solving., , and . FCS, page 190-195. CSREA Press, (2008)A new hybrid PCNN for multi-objects image segmentation., , , , , and . APSIPA, page 1-6. IEEE, (2012)Robust adaptive dynamic programming for nonlinear control design., and . CDC, page 1896-1901. IEEE, (2012)iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems., , , , , and . TASE, page 193-200. IEEE Computer Society, (2014)