Kernel

Results: 5601



#Item
121SSD blkdev: A kernel level SSD Emulator for host-based FTL Raghavendra Rao Ananta, Jian Zhou, Jun Wang University of Central Florida Email: , {jzhou, jwang}@eecs.ucf.edu Modern days’ Solid Sta

SSD blkdev: A kernel level SSD Emulator for host-based FTL Raghavendra Rao Ananta, Jian Zhou, Jun Wang University of Central Florida Email: , {jzhou, jwang}@eecs.ucf.edu Modern days’ Solid Sta

Add to Reading List

Source URL: sddcs.github.io

- Date: 2018-01-27 01:01:11
    122Hyperkernel: 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: homes.cs.washington.edu

    - Date: 2017-11-16 17:34:46
      123Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR Daniel Gruss∗ Clémentine Maurice∗ Moritz Lipp∗

      Prefetch Side-Channel Attacks: Bypassing SMAP and Kernel ASLR Daniel Gruss∗ Clémentine Maurice∗ Moritz Lipp∗

      Add to Reading List

      Source URL: mlq.me

      - Date: 2018-03-02 04:05:47
        124UNIX Load Average Part 1: How It Works In this online article Dr. Gunther digs down into the UNIX kernel to find out how load averages (the “LA Triplets”) are calculated and how appropriate they are as capacity

        UNIX Load Average Part 1: How It Works In this online article Dr. Gunther digs down into the UNIX kernel to find out how load averages (the “LA Triplets”) are calculated and how appropriate they are as capacity

        Add to Reading List

        Source URL: www.teamquest.com

        - Date: 2016-02-26 14:37:42
          125JMake: Dependable Compilation for Kernel Janitors Julia Lawall Sorbonne Universit´es/Inria/UPMC/LIP6 Email: Abstract—The Linux kernel is highly configurable, and thus,

          JMake: Dependable Compilation for Kernel Janitors Julia Lawall Sorbonne Universit´es/Inria/UPMC/LIP6 Email: Abstract—The Linux kernel is highly configurable, and thus,

          Add to Reading List

          Source URL: pages.lip6.fr

          - Date: 2017-08-28 11:11:53
            126TRA Comparison of the Performance of SaP::GPU and Intel’s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems Ang Li, Omkar Deshmukh, Radu Serban, Dan Negrut

            TRA Comparison of the Performance of SaP::GPU and Intel’s Math Kernel Library (MKL) for Solving Dense Banded Linear Systems Ang Li, Omkar Deshmukh, Radu Serban, Dan Negrut

            Add to Reading List

            Source URL: sbel.wisc.edu

            - Date: 2015-05-24 17:07:50
              127Linux Kernel Development: Getting Started Randy Dunlap Linux Kernel Developer,

              Linux Kernel Development: Getting Started Randy Dunlap Linux Kernel Developer,

              Add to Reading List

              Source URL: conferences.oreillynet.com

              - Date: 2014-01-16 14:36:49
                128WireGuard: Next Generation Kernel Network Tunnel www.wireguard.com Jason A. Donenfeld Draft Revision

                WireGuard: Next Generation Kernel Network Tunnel www.wireguard.com Jason A. Donenfeld Draft Revision

                Add to Reading List

                Source URL: www.wireguard.com

                - Date: 2018-02-28 18:50:36
                  129Never Been KIST: Tor’s Congestion Management Blossoms with Kernel-Informed Socket Transport Rob Jansen† Chris Wacek∗

                  Never Been KIST: Tor’s Congestion Management Blossoms with Kernel-Informed Socket Transport Rob Jansen† Chris Wacek∗

                  Add to Reading List

                  Source URL: www.nrl.navy.mil

                  - Date: 2014-07-17 10:05:20
                    130Hyperkernel: 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: homes.cs.washington.edu

                    - Date: 2017-10-04 19:47:21