Author of the publication

Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques.

, , , , , , and . IEEE Trans. Industrial Electronics, 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

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems., , , and . RTAS, page 85-88. IEEE Computer Society, (2018)Path compression kd-trees with multi-layer parallel construction a case study on ray tracing., , and . I3D, page 16:1-16:8. ACM, (2017)Toward Real-Time Ray Tracing: A Survey on Hardware Acceleration and Microarchitecture Techniques., , , , and . ACM Comput. Surv., 50 (4): 58:1-58:41 (2017)FastLanes: An FPGA accelerated GPU microarchitecture simulator., , , , , and . ICCD, page 241-248. IEEE Computer Society, (2013)RadixBoost: A hardware acceleration structure for scalable radix sort on graphic processors., , , , , and . ISCAS, page 1174-1177. IEEE, (2015)FastTree: a hardware KD-tree construction acceleration engine for real-time ray tracing., , , and . DATE, page 1595-1598. ACM, (2015)Dynamically Optimizing End-to-End Latency for Time-Triggered Networks., , , , and . NEAT@SIGCOMM, page 36-42. ACM, (2019)Fully parallel kd-tree construction for real-time ray tracing., , and . I3D, page 159. ACM, (2014)An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks., , , , , , , , and . IEEE/ACM Trans. Netw., 27 (3): 1124-1137 (2019)Design and optimization of multi-clocked embedded systems using formal technique., , , , , , and . ESEC/SIGSOFT FSE, page 703-706. ACM, (2013)