Bitbucket

Results: 212



#Item
71IST FP6PYPY Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community STREP

IST FP6PYPY Researching a Highly Flexible and Modular Language Platform and Implementing it by Leveraging the Open Source Python Language and Community STREP

Add to Reading List

Source URL: bitbucket.org

Language: English - Date: 2016-04-17 01:44:34
    72Press Release    Git Client Tower now with Enterprise Support    Tower 2.3 extends support for enterprise Git hosting services 

    Press Release    Git Client Tower now with Enterprise Support    Tower 2.3 extends support for enterprise Git hosting services 

    Add to Reading List

    Source URL: www.git-tower.com

    Language: English - Date: 2016-04-06 04:30:51
    73Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks Hongyi Zeng†∗, Shidong Zhang§ , Fei Ye§ , Vimalkumar Jeyakumar†∗ Mickey Ju§ , Junda Liu§ , Nick McKeown† , Amin Vahdat§‡ † Stanfor

    Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks Hongyi Zeng†∗, Shidong Zhang§ , Fei Ye§ , Vimalkumar Jeyakumar†∗ Mickey Ju§ , Junda Liu§ , Nick McKeown† , Amin Vahdat§‡ † Stanfor

    Add to Reading List

    Source URL: eastzone.bitbucket.org

    Language: English - Date: 2015-10-18 02:15:49
      74NITP 2013 GRAPH THEORY LAB Steffie Tomson DOWNLOADING TOOLBOXES Browse to: https://bitbucket.org/gastats/monet/downloads Click the file à gastats-monet-3bd316c81487.tar.gz to download, and save it to your Downloads

      NITP 2013 GRAPH THEORY LAB Steffie Tomson DOWNLOADING TOOLBOXES Browse to: https://bitbucket.org/gastats/monet/downloads Click the file à gastats-monet-3bd316c81487.tar.gz to download, and save it to your Downloads

      Add to Reading List

      Source URL: www.brainmapping.org

      Language: English - Date: 2013-07-16 11:27:43
        75PyPy status talk Holger Krekel Maciej Fijalkowski Merlinux GmbH PyCon UKBirmingham September

        PyPy status talk Holger Krekel Maciej Fijalkowski Merlinux GmbH PyCon UKBirmingham September

        Add to Reading List

        Source URL: bitbucket.org

        Language: English - Date: 2016-03-04 06:35:22
          76A Way Forward in Parallelising Dynamic Languages Remigius Meier Armin Rigo Department of Computer Science

          A Way Forward in Parallelising Dynamic Languages Remigius Meier Armin Rigo Department of Computer Science

          Add to Reading List

          Source URL: bitbucket.org

          Language: English - Date: 2016-03-04 05:19:55
            77Not Surveying Developers and Code About Languages Leo A. Meyerovich Ariel Rabkin UC Berkeley

            Not Surveying Developers and Code About Languages Leo A. Meyerovich Ariel Rabkin UC Berkeley

            Add to Reading List

            Source URL: asrabkin.bitbucket.org

            Language: English - Date: 2015-07-14 00:13:05
              78Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

              Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

              Add to Reading List

              Source URL: arieg.bitbucket.org

              Language: English - Date: 2016-02-12 11:17:00
                79Towards Efficient Stream Processing in the Wide Area Matvey Arye, Siddhartha Sen, Ariel Rabkin, Michael J. Freedman Princeton University {arye,ssix,asrabkin,mfreed}@cs.princeton.edu Stream processing—the processing of

                Towards Efficient Stream Processing in the Wide Area Matvey Arye, Siddhartha Sen, Ariel Rabkin, Michael J. Freedman Princeton University {arye,ssix,asrabkin,mfreed}@cs.princeton.edu Stream processing—the processing of

                Add to Reading List

                Source URL: asrabkin.bitbucket.org

                Language: English - Date: 2015-07-14 00:13:05
                  80Arie Gurfinkel Software Engineering Institute Carnegie Mellon University 4500 Fifth Ave. Pittsburgh, PA, 15213 USA

                  Arie Gurfinkel Software Engineering Institute Carnegie Mellon University 4500 Fifth Ave. Pittsburgh, PA, 15213 USA

                  Add to Reading List

                  Source URL: arieg.bitbucket.org

                  Language: English - Date: 2016-02-12 11:17:00