( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts.

, , и . MEMOCODE, стр. 111-121. ACM / IEEE, (2023)

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.

Sheng-Yu Peng

Tung-sheng Sheng

Tung-sheng Sheng

Tung-sheng Sheng

Tung-sheng Sheng

 

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

Topological Structure and Physical Layout Codesign for Wavelength-Routed Optical Networks-on-Chip., , и . DAC, стр. 1-6. IEEE, (2020)Topological Structure and Physical Layout Co-Design for Wavelength-Routed Optical Networks-on-Chip., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (7): 2237-2249 (2022)Equivalent Capacitance Guided Dummy Fill Insertion for Timing and Manufacturability., , , и . ASP-DAC, стр. 133-138. IEEE, (2020)A Provably Good Wavelength-Division-Multiplexing-Aware Clustering Algorithm for On-Chip Optical Routing., , и . DAC, стр. 1-6. IEEE, (2020)On-Chip Optical Routing With Provably Good Algorithms for Path Clustering and Assignment., , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4653-4666 (2022)Towards Building Verifiable CPS using Lingua Franca., , , , , , , и . ACM Trans. Embed. Comput. Syst., 22 (5s): 155:1-155:24 (октября 2023)Symbiotic CPS Design-Space Exploration through Iterated Optimization., , , , , , , , , и . CPS-IoT Week Workshops, стр. 92-99. ACM, (2023)An Energy-Efficient Double Ratchet Cryptographic Processor With Backward Secrecy for IoT Devices., , , и . IEEE J. Solid State Circuits, 58 (6): 1810-1819 (2023)Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design., , , , , , , , , и 1 other автор(ы). CoRR, (2023)Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts., , и . MEMOCODE, стр. 111-121. ACM / IEEE, (2023)