From post

A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.

, , и . J. Low Power Electron., 5 (2): 135-144 (2009)

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.

 

Другие публикации лиц с тем же именем

Rail schedule optimisation in the hunter valley coal chain., , , и . RAIRO Oper. Res., 49 (2): 413-434 (2015)Performance Analysis of Federated Learning Algorithms for Multilingual Protest News Detection Using Pre-Trained DistilBERT and BERT., , , , , и . IEEE Access, (2023)Device-Free Pedestrian Tracking Using Low-Cost Ultrawideband Devices., , , , , , и . IEEE Trans. Instrum. Meas., (2022)An overview of the competitive and adversarial approaches to designing dynamic power management strategies., , , и . IEEE Trans. Very Large Scale Integr. Syst., 13 (12): 1349-1361 (2005)Exact approaches for the orderly colored longest path problem: Performance comparison., , , и . Comput. Oper. Res., (2019)Resource constraint scheduling with a fractional shared resource., и . Oper. Res. Lett., 39 (5): 363-368 (2011)Performance of critical path type algorithms for scheduling on parallel processors.. Oper. Res. Lett., 29 (1): 17-30 (2001)SCARP: 3D Shape Completion in ARbitrary Poses for Improved Grasping., , , , , и . ICRA, стр. 3838-3845. IEEE, (2023)AppliedMicro X-Gene2., , и . Hot Chips Symposium, стр. 1-24. IEEE, (2014)A 20bit continuous-time ΣΔ modulator with a Gm-C integrator, 120dB CMRR and 15 ppm INL., , , и . ESSCIRC, стр. 385-388. IEEE, (2012)