يعرض 1 - 10 نتائج من 98 نتيجة بحث عن '"Hicks, Michael"', وقت الاستعلام: 1.04s تنقيح النتائج
  1. 1
    دورية أكاديمية
    A Verified Optimizer for Quantum Circuits.

    المؤلفون: HIETALA, KESHA, RAND, ROBERT, LIYI LI, SHIH-HAN HUNG, XIAODI WU, HICKS, MICHAEL

    المصدر: ACM Transactions on Programming Languages & Systems; Sep2023, Vol. 45 Issue 3, p1-35, 35p

    مصطلحات موضوعية: QUBITS, QUANTUM computing, QUANTUM numbers


    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Fuzzing Configurations of Program Options.

    المؤلفون: ZENONG ZHANG, KLEES, GEORGE, ERIC WANG, HICKS, MICHAEL, SHIYI WEI

    المصدر: ACM Transactions on Software Engineering & Methodology; Mar2023, Vol. 32 Issue 2, p1-21, 21p

    مصطلحات موضوعية: CONFIGURATION space, EMPIRICAL research


    أضف إلى المفضلة
  3. 3
    دورية
    Conferences in an Era of Expensive Carbon.

    المؤلفون: Pierce, Benjamin C.1 bcpierce@cis.upenn.edu, Hicks, Michael2 mwh@cs.umd.edu, Lopes, Crista3 lopes@uci.edu, Palsberg, Jens4 palsberg@cs.ucla.edu

    المصدر: Communications of the ACM. Mar2020, Vol. 63 Issue 3, p35-37. 3p. 1 Color Photograph, 1 Map.

    مصطلحات موضوعية: *CONFERENCES & conventions, *ECOLOGICAL impact, SCIENCE associations, SUSTAINABILITY, CLIMATE change mitigation

    الشركة/الكيان: ASSOCIATION for Computing Machinery


    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Build It, Break It, Fix It: Contesting Secure Development.

    المؤلفون: PARKER, JAMES, HICKS, MICHAEL, RUEF, ANDREW, MAZUREK, MICHELLE L., LEVIN, DAVE, VOTIPKA, DANIEL, MARDZIEL, PIOTR, FULTON, KELSEY R.

    المصدر: ACM Transactions on Privacy & Security; May2020, Vol. 23 Issue 2, p1-36, 36p

    مصطلحات موضوعية: COMPUTER security, COMPUTER software, C++, C (Computer program language), SOFTWARE engineering


    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    Decomposition instead of self-composition for proving the absence of timing channels.

    المؤلفون: Antonopoulos, Timos, Gazzillo, Paul, Hicks, Michael, Koskinen, Eric, Terauchi, Tachio, Wei, Shiyi

    المصدر: ACM / SIGPLAN Notices; Jun2017, Vol. 52 Issue 6, p362-375, 14p


    أضف إلى المفضلة
  6. 6
    دورية
    Computing's Role in Climate Warming.

    المؤلفون: Ouellette, Daniel, Pierce, Benjamin C., Palsburg, Jens, Hicks, Michael, Lopes, Crista, Chien, Andrew A., Sizemore, N. L., Singer, Carl A.

    المصدر: Communications of the ACM; Jul2020, Vol. 63 Issue 7, p9-9, 1p

    مصطلحات موضوعية: ENVIRONMENT & technology, CLIMATE change, SUSTAINABILITY, INTERNET privacy, DIGITAL footprint


    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Incremental computation with names.

    المؤلفون: Hammer, Matthew A., Dunfield, Joshua, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S., Hicks, Michael, Van Horn, David

    المصدر: ACM / SIGPLAN Notices; Oct2015, Vol. 50 Issue 10, p748-766, 19p


    أضف إلى المفضلة
  8. 8
    مؤتمر
    Adapton.

    المؤلفون: Hammer, Matthew A., Phang, Khoo Yit, Hicks, Michael, Foster, Jeffrey S.

    المصدر: Proceedings of the 35th ACM SIGPLAN Conference Programming Language Design & Implementation; 6/9/2014, p156-166, 11p


    أضف إلى المفضلة
  9. 9
    مؤتمر
    Authenticated data structures, generically.

    المؤلفون: Miller, Andrew, Hicks, Michael, Katz, Jonathan, Shi, Elaine

    المصدر: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium Principles of Programming Languages; 1/11/2014, p411-423, 13p


    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    GhostRider.

    المؤلفون: Liu, Chang, Harris, Austin, Maas, Martin, Hicks, Michael, Tiwari, Mohit, Shi, Elaine

    المصدر: ACM / SIGPLAN Notices; Apr2015, Vol. 50 Issue 4, p87-101, 15p


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث