يعرض 1 - 10 نتائج من 361 نتيجة بحث عن '"Enea, Constantin"', وقت الاستعلام: 1.00s تنقيح النتائج
  1. 1
    تقرير
    CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis

    المؤلفون: Tunç, Hünkar Can, Deshmukh, Ameya Prashant, Çirisci, Berk, Enea, Constantin, Pavlogiannis, Andreas

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2403.17818

    أضف إلى المفضلة
  2. 2
    تقرير
    Strong Linearizability using Primitives with Consensus Number 2

    المؤلفون: Attiya, Hagit, Castañeda, Armando, Enea, Constantin

    مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

    URL الوصول: http://arxiv.org/abs/2402.13618

    أضف إلى المفضلة
  3. 3
    تقرير
    Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels

    المؤلفون: Bouajjani, Ahmed, Enea, Constantin, Román-Calvo, Enrique

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Databases

    URL الوصول: http://arxiv.org/abs/2303.12606

    أضف إلى المفضلة
  4. 4
    تقرير
    A Domain Specific Language for Testing Consensus Implementations

    المؤلفون: Dragoi, Cezara, Enea, Constantin, Nagendra, Srinidhi, Srivas, Mandayam

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2303.05893

    أضف إلى المفضلة
  5. 5
    تقرير
    Quorum Tree Abstractions of Consensus Protocols

    المؤلفون: Cirisci, Berk, Enea, Constantin, Mutluergil, Suha Orhun

    مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

    URL الوصول: http://arxiv.org/abs/2301.09946

    أضف إلى المفضلة
  6. 6
    تقرير
    The Commutativity Quotients of Concurrent Objects

    المؤلفون: Enea, Constantin, Fathololumi, Parisa, Koskinen, Eric

    مصطلحات موضوعية: Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/2301.05740

    أضف إلى المفضلة
  7. 7
    تقرير
    A Pragmatic Approach to Stateful Partial Order Reduction

    المؤلفون: Cirisci, Berk, Enea, Constantin, Farzan, Azadeh, Mutluergil, Suha Orhun

    مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

    URL الوصول: http://arxiv.org/abs/2211.11942

    أضف إلى المفضلة
  8. 8
    تقرير
    Automated Synthesis of Asynchronizations

    المؤلفون: Beillahi, Sidi Mohamed, Bouajjani, Ahmed, Enea, Constantin, Lahiri, Shuvendu

    مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2209.06648

    أضف إلى المفضلة
  9. 9
    تقرير
    Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations

    المؤلفون: Attiya, Hagit, Enea, Constantin, Welch, Jennifer L.

    مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

    URL الوصول: http://arxiv.org/abs/2106.15554

    أضف إلى المفضلة
  10. 10
    مؤتمر
    Datalog-Based Scalable Semantic Diffing of Concurrent Programs

    المؤلفون: Sung, Chungha, Lahiri, Shuvendu K., Enea, Constantin, Wang, Chao

    المصدر: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2018 33rd IEEE/ACM International Conference on. :656-666 Sep, 2018

    Relation: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء