Sophia

Results: 1797



#Item
81

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

Add to Reading List

Source URL: www.ponylang.org

    82

    Advanced Software Engineer REF: OAFS-ASE JOB TITLE: ADVANCED SOFTWARE ENGINEER Location: France, Sophia-Antipolis

    Add to Reading List

    Source URL: www.oneaccess-net.com

    - Date: 2017-07-19 06:12:50
      83

      Deny Capabilities for Safe, Fast Actors Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil Causality Ltd., Imperial College London {sylvan, sophia, sebastian, andy}@causality.io Abstract

      Add to Reading List

      Source URL: www.ponylang.org

        84

        Microsoft Word - sophia_esp_conference_invited_lecture_2009_abstract_fin.doc

        Add to Reading List

        Source URL: www.laurenceanthony.net

        - Date: 2014-08-28 19:32:32
          85

          Program Thursday, March 5, : 00 – Registration 10 : 30 – 10 : 40 Opening: Yoshiaki Ishizawa (The President, Sophia University)

          Add to Reading List

          Source URL: www.laurenceanthony.net

          - Date: 2014-08-28 19:32:37
            86

            Compiling Scheme programs to .NET Common Intermediate Language Yannis Bres, Bernard Paul Serpette, Manuel Serrano Inria Sophia-Antipolis 2004 route des Lucioles - BP 93, FSophia Antipolis, Cedex, France {Yannis.Br

            Add to Reading List

            Source URL: www-sop.inria.fr

            - Date: 2004-06-07 02:16:56
              87

              Internship placement for University engineering student, In Sophia Antipolis, FRANCE The European Telecommunications Standards Institute (ETSI) is a non-profit organisation that produces globally-applicable standards for

              Add to Reading List

              Source URL: www.etsi.org

              - Date: 2018-02-23 10:18:59
                88

                Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant Gilles Barthe1 , Julien Forest1 , David Pichardie1 , and Vlad Rusu2 1 EVEREST Team, INRIA Sophia-Antipolis, France

                Add to Reading List

                Source URL: people.irisa.fr

                - Date: 2016-12-12 04:14:29
                  89

                  Accumulators with Applications to Anonymity-Preserving Revocation Foteini Baldimtsi1 , Jan Camenisch2 , Maria Dubovitskaya2 , Anna Lysyanskaya3 , Leonid Reyzin4 , Kai Samelin2,5 , and Sophia Yakoubov4 1

                  Add to Reading List

                  Source URL: eprint.iacr.org

                  - Date: 2017-01-24 07:22:35
                    90

                    Neuerscheinung Im Kehrer Verlag Werner Bartsch AIRTROPOLIS Texte von Werner Bartsch, Sophia Greiff

                    Add to Reading List

                    Source URL: www.artbooksheidelberg.de

                    - Date: 2013-09-23 10:05:50
                      UPDATE