( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
QDB: From Quantum Algorithms Towards Correct Quantum Programs.

, и . PLATEAU@SPLASH, том 67 из OASIcs, стр. 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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.

Margaret Ritter

Margaret Dolinsky

Margaret Ritter

Margaret Jaques

Margaret Bautz

 

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

Using configurable computing to accelerate Boolean satisfiability., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (6): 861-868 (1999)Efficient Data Supply for Parallel Heterogeneous Architectures., , и . ACM Trans. Archit. Code Optim., 16 (2): 9:1-9:23 (2019)ScaleQC: A Scalable Framework for Hybrid Computation on Quantum and Classical Processors., и . CoRR, (2022)The XTREM power and performance simulator for the Intel XScale core: Design and experiences., , , , и . ACM Trans. Embed. Comput. Syst., 6 (1): 4 (2007)Trends in Shared Memory Multiprocessing., , , , и . Computer, 30 (12): 44-50 (1997)RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification., , и . CoRR, (2020)Power-performance simulation: design and validation strategies., , и . SIGMETRICS Perform. Evaluation Rev., 31 (4): 13-18 (2004)Formal Control Techniques for Power-Performance Management., , , , и . IEEE Micro, 25 (5): 52-62 (2005)Long-Term Workload Phases: Duration Predictions and Applications to DVFS., , и . IEEE Micro, 25 (5): 39-51 (2005)SignalGuru: leveraging mobile phones for collaborative traffic signal schedule advisory., , и . MobiSys, стр. 127-140. ACM, (2011)