Author of the publication

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications.

, , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 184:1-184:19 (2017)

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

Managing the Performance/Error Tradeoff of Floating-point Intensive Applications., , , , and . ACM Trans. Embed. Comput. Syst., 16 (5s): 184:1-184:19 (2017)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 251-267. Springer, (2016)Accelerated Runtime Verification of LTL Specifications with Counting Semantics., , , and . CoRR, (2014)Power Redistribution for Optimizing Performance in MPI Clusters., , and . CoRR, (2014)Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints., , , and . ACM Trans. Embed. Comput. Syst., 14 (4): 79:1-79:29 (2015)Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications.. University of Waterloo, Ontario, Canada, (2017)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/12796).A framework for mining hybrid automata from input/output traces., , , and . EMSOFT, page 177-186. IEEE, (2015)Energy-Efficient Multiple Producer-Consumer., , and . IEEE Trans. Parallel Distributed Syst., 30 (3): 560-574 (2019)Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems., , , and . ICCPS, page 115-126. IEEE Computer Society, (2014)Managing the security-energy tradeoff in distributed cyber-physical systems., , and . ICCPS, page 118-128. ACM, (2019)