Cis

Results: 5683



#Item
231

Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be?∗ Sela Mador-Haim Rajeev Alur

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2011-04-06 09:10:35
    232

    ‫עוזר למינהל‬ ‫ממונה אבטחת מידע‬ ‫משה גליקשטיין‬ ‫ראש אגף מחשוב‬

    Add to Reading List

    Source URL: cis.technion.ac.il

    - Date: 2017-11-20 06:13:20
      233

      Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

      Add to Reading List

      Source URL: www.cis.upenn.edu

      - Date: 2017-03-29 15:09:42
        234

        Automated Bug Removal for Software-Defined Networks Yang Wu? , Ang Chen? , Andreas Haeberlen? , Wenchao Zhou† , Boon Thau Loo? ? University of Pennsylvania, † Georgetown University

        Add to Reading List

        Source URL: www.cis.upenn.edu

        - Date: 2017-02-23 23:03:39
          235

          Weak Keys Remain Widespread in Network Devices Marcella Hastings Joshua Fried Nadia Heninger

          Add to Reading List

          Source URL: www.cis.upenn.edu

          - Date: 2017-01-10 09:33:37
            236

            One Primitive to Diagnose Them All: Architectural Support for Internet Diagnostics Ang Chen? Wenchao Zhou†

            Add to Reading List

            Source URL: www.cis.upenn.edu

            - Date: 2017-03-16 06:58:25
              237

              Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi

              Add to Reading List

              Source URL: www.cis.upenn.edu

              - Date: 2015-03-25 22:46:28
                238

                Declarative Networking Boon Thau Loo Tyson Condie Minos Garofalakis David E. Gay Joseph M. Hellerstein Petros Maniatis Raghu Ramakrishnan Timothy Roscoe Ion Stoica University of California-Berkeley University of Pennsylv

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2009-09-16 08:57:41
                  239

                  Towards a Declarative Language and System for Secure Networking ∗ Mart´ın Abadi∗† and Boon Thau Loo‡∗ Microsoft Research † UC Santa Cruz ‡ University of Pennsylvania

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  - Date: 2007-03-14 07:34:53
                    240

                    Economic situation in Russia and CIS impacts results - performance in western markets improved

                    Add to Reading List

                    Source URL: dc602r66yb2n9.cloudfront.net

                    - Date: 2016-11-01 02:02:30
                      UPDATE