SWS

Results: 2096



#Item
51

Vulnerability Bounds and Leakage Resilience of Blinded Cryptography under Timing Attacks Boris K¨opf MPI-SWS

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2010-09-02 11:11:48
    52

    8 Aufbauseminar 2 SWS Vorlesung (oder)

    Add to Reading List

    Source URL: www.romanistik.hhu.de

    Language: German
      53

      SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration Pedro Fonseca (MPI-SWS) Rodrigo Rodrigues

      Add to Reading List

      Source URL: homes.cs.washington.edu

      Language: English - Date: 2018-08-13 13:02:12
        54

        Typed Open Programming A higher-order, typed approach to dynamic modularity and distribution Andreas Rossberg

        Add to Reading List

        Source URL: people.mpi-sws.org

        Language: German - Date: 2008-05-02 03:55:13
          55

          住友電装株式会社 ２０１８年５月１６日 【人事異動】 発令日：２０１８年６月１日 新　　　　　　　　　　職 ▽

          Add to Reading List

          Source URL: www.sws.co.jp

          - Date: 2018-05-15 20:31:25
            56

            Scalable Testing of File System Checkers Jo˜ao Carreira†§ , Rodrigo Rodrigues† , George Candea‡ , Rupak Majumdar† § † Max Planck Institute for Software Systems (MPI-SWS),

            Add to Reading List

            Source URL: dslab.epfl.ch

            Language: English - Date: 2018-08-14 09:29:24
              57

              Bachelor-Abschlussseminar Seminar (2 SWS, 12 ECTS) im Sommersemester 2018 Lehrstuhl für Betriebswirtschaftliche Steuerlehre Prof. Dr. Sebastian Eichfelder Dipl.-Kffr. Nadine Kalbitz Dipl.-Kffr. Sandra Dreher

              Add to Reading List

              Source URL: www.bwl3.ovgu.de

              Language: German - Date: 2018-04-24 04:36:58
                58

                Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

                Add to Reading List

                Source URL: people.mpi-sws.org

                Language: English - Date: 2015-04-27 12:03:31
                  59

                  graph-advertiser-ranking.eps

                  Add to Reading List

                  Source URL: adresearch.mpi-sws.org

                  Language: English - Date: 2013-05-23 05:59:26
                    60

                    Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

                    Add to Reading List

                    Source URL: people.mpi-sws.org

                    Language: English - Date: 2018-05-16 11:46:35
                      UPDATE