Author of the publication

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

Using configurable computing to accelerate Boolean satisfiability., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (6): 861-868 (1999)Efficient Data Supply for Parallel Heterogeneous Architectures., , and . ACM Trans. Archit. Code Optim., 16 (2): 9:1-9:23 (2019)Locomotive: Optimizing mobile web traffic using selective compression., , and . WoWMoM, page 1-4. IEEE, (2017)RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification., , and . CoRR, (2020)ScaleQC: A Scalable Framework for Hybrid Computation on Quantum and Classical Processors., and . CoRR, (2022)Formal Control Techniques for Power-Performance Management., , , , and . IEEE Micro, 25 (5): 52-62 (2005)Human Mobility Characterization from Cellular Network Data, , , , , , , , , and . Communications of the ACM, 56 (1): 74--82 (January 2013)Power-performance simulation: design and validation strategies., , and . SIGMETRICS Perform. Evaluation Rev., 31 (4): 13-18 (2004)Trends in Shared Memory Multiprocessing., , , , and . Computer, 30 (12): 44-50 (1997)An Adaptive Globally-Synchronizing Clock Algorithm and its Implementation on a Myrinet-based PC Cluster., , and . SIGMETRICS, page 200-201. ACM, (1999)