Author of the publication

PN-based Formal Modeling and Verification for ASIP Architecture.

, , , and . ICESS, volume 3605 of Lecture Notes in Computer Science, page 203-209. Springer, (2004)

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

Single-Layer Dual-Band Wide Band-Ratio Reflectarray With Orthogonal Linear Polarization., , and . IEEE Access, (2020)3D object retrieval based on multi-view convolutional neural networks., , and . Multimedia Tools Appl., 76 (19): 20111-20124 (2017)Heterothread: hybrid thread level parallelism on heterogeneous multicore architectures., , and . SIGBED Review, 10 (2): 14 (2013)Structure-Aware Slow Feature Analysis for Age Estimation., , , , , and . IEEE Signal Process. Lett., 23 (12): 1702-1706 (2016)Compile-Time Energy Reduction Techniques based on Voltage Scaling Characteristic., , , and . IASTED Conf. on Software Engineering, page 293-298. IASTED/ACTA Press, (2005)Robust object tracking using a spatial pyramid heat kernel structural information representation., , , and . Neurocomputing, 73 (16-18): 3179-3190 (2010)Many-objective optimization with dynamic constraint handling for constrained optimization problems., , , and . Soft Comput., 21 (24): 7435-7445 (2017)Contextual Hypergraph Modelling for Salient Object Detection., , , , and . CoRR, (2013)Detecting Zimbabwe's Decadal Economic Decline Using Nighttime Light Imagery., , and . Remote Sensing, 5 (9): 4551-4570 (2013)Mining Regulatory Elements in Non-coding Regions of Arabidopsis thaliana., and . CSBio, volume 115 of Communications in Computer and Information Science, page 94-105. Springer, (2010)