Milo

Results: 480



#Item
101

130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2006-06-22 11:47:09
    102

    An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1

    Add to Reading List

    Source URL: www.cis.upenn.edu

    - Date: 2012-04-23 09:23:35
      103

      Answering Regular Path Queries on Workflow Provenance Xiaocheng Huang*, Zhuowei Bao, Susan B. Davidson, Tova Milo, Xiaojie Yuan Genome Institute of Singapore, Facebook Inc., U of Pennsylvania, Tel Aviv U, Nankai U Abstra

      Add to Reading List

      Source URL: www.icde2015.kr

      - Date: 2015-04-11 18:55:27
        104

        T RANSIT: Specifying Protocols with Concolic Snippets ∗ Abhishek Udupa Sela Mador-Haim Arun Raghavan Milo M. K. Martin

        Add to Reading List

        Source URL: www.cis.upenn.edu

        - Date: 2013-04-11 14:34:24
          105

          Mulch mats - their potential in establishing forest and other tree crops Nick Mc Carthy, Claire Mc Carthy and Milo O Rathaille COFORD, National Council for Forest Research and Development Arena House

          Add to Reading List

          Source URL: www.coford.ie

          - Date: 2014-07-28 13:41:26
            106

            wegewerk_DGB_Logo_Milo-dran-bleiben-Claim_4c

            Add to Reading List

            Source URL: www.ngg.net

            Language: German - Date: 2015-01-21 02:48:09
              107

              Synthesizing Finite-state Protocols from Scenarios and Requirements? Rajeev Alur1 , Milo Martin1 , Mukund Raghothaman1 , Christos Stergiou1,2 , Stavros Tripakis2,3 , and Abhishek Udupa1 1

              Add to Reading List

              Source URL: www.seas.upenn.edu

              Language: English - Date: 2014-02-28 01:07:10
                108

                wegewerk_DGB_Logo_Milo-dran-bleiben-Claim_4c

                Add to Reading List

                Source URL: www.ngg.net

                Language: German - Date: 2015-01-14 07:39:14
                  109

                  Minutes
for
GSC
BoD
Meeting,
Wednesday
April
6th,
2011
–
Schlinger
101
 
 Attendance:

Artemis
Ailianou,
Jai
Shanata,
Milo
Lin,
Paul
Nelson,
Jacob
Sendowski,
 Gloria


                  Add to Reading List

                  Source URL: gsc.caltech.edu

                  Language: English - Date: 2014-09-19 22:02:44
                    110

                    EN TIDNING FRÅN SKÄRGÅRDSSTIFTELSEN NRPassbåt till Arholma Milo har mulltoa i båten

                    Add to Reading List

                    Source URL: skargardsstiftelsen.se

                    Language: Swedish - Date: 2012-05-22 18:11:26
                      UPDATE