Kernel

Results: 5601



#Item
131KTLS: Linux Kernel Transport Layer Security 1st Dave Watson Facebook San Francisco, USA

KTLS: Linux Kernel Transport Layer Security 1st Dave Watson Facebook San Francisco, USA

Add to Reading List

Source URL: netdevconf.org

- Date: 2016-12-12 09:57:21
    132Controlled Kernel Launch for Dynamic Parallelism in GPUs Xulong Tang1 , Ashutosh Pattnaik1 , Huaipan Jiang1 , Onur Kayiran2 , Adwait Jog3 , Sreepathi Pai4 , Mohamed Ibrahim3 , Mahmut T. Kandemir1 , Chita R. Das1 1 2 Penn

    Controlled Kernel Launch for Dynamic Parallelism in GPUs Xulong Tang1 , Ashutosh Pattnaik1 , Huaipan Jiang1 , Onur Kayiran2 , Adwait Jog3 , Sreepathi Pai4 , Mohamed Ibrahim3 , Mahmut T. Kandemir1 , Chita R. Das1 1 2 Penn

    Add to Reading List

    Source URL: adwaitjog.github.io

    - Date: 2018-04-03 12:08:14
      133Mastering the FreeRTOS™ Real Time Kernel This is thecopy which does not yet cover FreeRTOS V9.0.0, FreeRTOS V10.0.0, or low power tick-less operation.

      Mastering the FreeRTOS™ Real Time Kernel This is thecopy which does not yet cover FreeRTOS V9.0.0, FreeRTOS V10.0.0, or low power tick-less operation.

      Add to Reading List

      Source URL: www.freertos.org

      - Date: 2018-02-23 18:55:01
        134Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

        Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

        Add to Reading List

        Source URL: locore.cs.washington.edu

        - Date: 2017-10-04 19:15:09
          135An Empirical Study on The Properties of Random Bases for Kernel Methods Maximilian Alber, Pieter-Jan Kindermans, Kristof T. Schütt Technische Universität Berlin  Klaus-Robert Müller

          An Empirical Study on The Properties of Random Bases for Kernel Methods Maximilian Alber, Pieter-Jan Kindermans, Kristof T. Schütt Technische Universität Berlin Klaus-Robert Müller

          Add to Reading List

          Source URL: papers.nips.cc

          - Date: 2018-02-13 03:24:55
            136Hyperkernel: Push-Button Verification of an OS Kernel

            Hyperkernel: Push-Button Verification of an OS Kernel

            Add to Reading List

            Source URL: homes.cs.washington.edu

            - Date: 2017-11-16 17:24:33
              137JMake: Dependable Compilation for Kernel Janitors  Julia Lawall, Gilles Muller Inria/LIP6-Whisper  June 28, 2017

              JMake: Dependable Compilation for Kernel Janitors Julia Lawall, Gilles Muller Inria/LIP6-Whisper June 28, 2017

              Add to Reading List

              Source URL: pages.lip6.fr

              - Date: 2017-06-29 19:58:16
                138Random Fourier Features for Kernel Ridge Regression: Approximation Bounds and Statistical Guarantees Appendix: Proofs A. Preliminaries Our upper and lower bound analysis relies predominantly on Fourier analysis, so we no

                Random Fourier Features for Kernel Ridge Regression: Approximation Bounds and Statistical Guarantees Appendix: Proofs A. Preliminaries Our upper and lower bound analysis relies predominantly on Fourier analysis, so we no

                Add to Reading List

                Source URL: proceedings.mlr.press

                - Date: 2018-02-06 15:06:57
                  139www.iaik.tugraz.at  Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR D. Gruss, C. Maurice, A. Fogh† , M. Lipp, S. Mangard Graz University of Technology, † G DATA Advanced Analytics

                  www.iaik.tugraz.at Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR D. Gruss, C. Maurice, A. Fogh† , M. Lipp, S. Mangard Graz University of Technology, † G DATA Advanced Analytics

                  Add to Reading List

                  Source URL: gruss.cc

                  - Date: 2016-11-01 04:19:45
                    140Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang locore.cs.washington.edu/hyperkernel Goal: Fully automated ker

                    Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, Xi Wang locore.cs.washington.edu/hyperkernel Goal: Fully automated ker

                    Add to Reading List

                    Source URL: locore.cs.washington.edu

                    - Date: 2017-11-17 15:12:15