Alexey

Results: 471



#Item
21A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2

A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2

Add to Reading List

Source URL: software.imdea.org

- Date: 2016-09-06 10:47:26
    22Smoothie Spark ML Alexey Zinovyev, Java/BigData Trainer in EPAM With IT since 2007 With Java since 2009

    Smoothie Spark ML Alexey Zinovyev, Java/BigData Trainer in EPAM With IT since 2007 With Java since 2009

    Add to Reading List

    Source URL: assets.ctfassets.net

    - Date: 2018-03-04 02:58:48
      23A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

      A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

      Add to Reading List

      Source URL: software.imdea.org

      - Date: 2016-09-06 10:47:15
        24Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

        Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia

        Add to Reading List

        Source URL: refal.botik.ru

        - Date: 2017-03-12 03:19:31
          25Г-н Алексей Романовский (Alexey Romanovskiy) Инженер-консультант Санкт-Петербургского центра разработок корпорации ЕМС (Russia Center

          Г-н Алексей Романовский (Alexey Romanovskiy) Инженер-консультант Санкт-Петербургского центра разработок корпорации ЕМС (Russia Center

          Add to Reading List

          Source URL: russia.emc.com

            26Horizon-Independent Optimal Pricing in Repeated Auctions with Truthful and Strategic Buyers Alexey Drutsa Yandex, 16, Leo Tolstoy St. Moscow, Russia

            Horizon-Independent Optimal Pricing in Repeated Auctions with Truthful and Strategic Buyers Alexey Drutsa Yandex, 16, Leo Tolstoy St. Moscow, Russia

            Add to Reading List

            Source URL: papers.www2017.com.au.s3-website-ap-southeast-2.amazonaws.com

            - Date: 2017-04-03 10:44:15
              27Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

              Paxos Consensus, Deconstructed and Abstracted ´ Alvaro Garc´ıa-P´erez1 , Alexey Gotsman1 , Yuri Meshman1 , and Ilya Sergey2 1

              Add to Reading List

              Source URL: ilyasergey.net

              - Date: 2018-03-26 18:04:21
                28Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

                Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

                Add to Reading List

                Source URL: software.imdea.org

                - Date: 2018-02-01 06:29:20
                  29Consistency Models with Global Operation Sequencing and their Composition Alexey Gotsman∗1 and Sebastian Burckhardt2 1 2

                  Consistency Models with Global Operation Sequencing and their Composition Alexey Gotsman∗1 and Sebastian Burckhardt2 1 2

                  Add to Reading List

                  Source URL: software.imdea.org

                  - Date: 2017-10-15 09:05:33
                    30Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

                    Compositional Verification of Compiler Optimisations on Relaxed Memory Mike Dodds1 , Mark Batty2 , and Alexey Gotsman3 1 Galois Inc.

                    Add to Reading List

                    Source URL: software.imdea.org

                    - Date: 2018-02-20 03:41:12