Alexey

Results: 471



#Item
21

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
    22

    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
      23

      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
        24

        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

          Add to Reading List

          Source URL: russia.emc.com

            26

            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
              27

              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
                28

                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
                  29

                  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
                    30

                    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
                      UPDATE