Author of the publication

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

, , , , , , and . IEEE Trans. Ind. Electron., 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

n PAKE+: A Tree-Based Group Password-Authenticated Key Exchange Protocol Using Different Passwords., , , , and . J. Comput. Sci. Technol., 24 (1): 138-151 (2009)A 100 pJ/bit, (32, 8) CMOS Analog Low-Density Parity-Check Decoder Based on Margin Propagation., and . IEEE J. Solid State Circuits, 46 (6): 1433-1442 (2011)MENs: Multi-user Emergency Navigation System Using., , , and . Ad Hoc Sens. Wirel. Networks, 12 (1-2): 23-53 (2011)On Theoretical Upper Bounds for Routing Estimation., , , , , and . J. Univers. Comput. Sci., 11 (6): 916-925 (2005)Subspace Iteration Randomization and Singular Value Problems.. SIAM J. Sci. Comput., (2015)Formal component-based modeling and synthesis for PLC systems., , , , , , and . Comput. Ind., 64 (8): 1022-1034 (2013)An improved divide-and-conquer algorithm for the banded matrices with narrow bandwidths., , , and . Comput. Math. Appl., 71 (10): 1933-1943 (2016)An Algorithm to Compute Sepλ., and . SIAM J. Matrix Anal. Appl., 28 (2): 348-359 (2006)The Degenerate Bounded Errors-in-Variables Model., , , and . SIAM J. Matrix Anal. Appl., 23 (1): 138-166 (2001)Randomized Complete Pivoting for Solving Symmetric Indefinite Linear Systems., , and . SIAM J. Matrix Anal. Appl., 39 (4): 1616-1641 (2018)