Author of the publication

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems.

, , , , , , , , and . SIGSOFT FSE, page 711-714. ACM, (2014)

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

Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis., , , and . AAAI, AAAI Press, (2010)Exponential Concentration for Mutual Information Estimation with Application to Forests., , and . NIPS, page 2546-2554. (2012)Multivariate Dyadic Regression Trees for Sparse Learning Problems., and . NIPS, page 1441-1449. Curran Associates, Inc., (2010)High-Speed Parallel Decimal Multiplication with Redundant Internal Encodings., and . IEEE Trans. Computers, 62 (5): 956-968 (2013)Network Coding for Information Exchange between Multiple Nodes in Wireless Networks., , , and . VTC Spring, page 51-55. IEEE, (2008)Comparison of discrimination methods for peptide classification in tandem mass spectrometry., and . CIBCB, page 160-167. IEEE, (2004)A Framework for Efficient Association Rule Mining in XML Data., , , , and . Database Technologies: Concepts, Methodologies, Tools, and Applications, IGI Global, (2009)An Extended Linear Strategy Bridging the Gap between Regression and SVD Decomposition for Modeling Peptide Tandem Mass Spectrometry Data.. METMBS, page 491. CSREA Press, (2004)SmartCanvas: Context-inferred Interpretation of Sketches for Preparatory Design Studies., , , and . Comput. Graph. Forum, 35 (2): 37-48 (2016)Local Smoothness in Variance Reduced Optimization., , and . NIPS, page 2179-2187. (2015)