Stories tagged as pdf – Link to a PDF document
  1. 4
    OpenFastPath: Open-Source, User-Space, Fast-Path, TCP/IP Stack pdf slides networking performance events.static.linuxfound.org
    nickpsecurity avatar via nickpsecurity 23 days ago | cached | no comments
  2. 6
    RenderMan: An Advanced Path Tracing Architecture for Movie Rendering pdf graphics graphics.pixar.com
    calvin avatar via calvin 23 days ago | cached | no comments
  3. 2
    Advantages and Disadvantages of a Monolithic Repository pdf devops storage.googleapis.com
    cleong avatar via cleong 23 days ago | cached | no comments
  4. 1
    From singularities to graphs pdf math philosophy arxiv.org
    lainon avatar via lainon 24 days ago | cached | no comments
  5. 2
    BrainCoqulus: A Formally Verified Optimizing Compiler of Lambda Calculus to Brainfuck ☶ pdf compilers formalmethods read.seas.harvard.edu
    nickpsecurity avatar via nickpsecurity 24 days ago | cached | no comments
  6. 13
    Chaff Bugs: Deterring Attackers by Making Software Buggier ☶ pdf security arxiv.org
    mjn avatar via mjn 24 days ago | cached | 6 comments
  7. 4
    Control Flow Hijacking: Are We Making Progress? pdf security nebelwelt.net
    lattera avatar via lattera 24 days ago | cached | no comments
  8. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 24 days ago | cached | 1 comment
  9. 6
    An introduction to C++ template programming (2016) pdf book c++ cs.bham.ac.uk
    pushcx avatar via pushcx 25 days ago | cached | 1 comment
  10. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 26 days ago | cached | no comments
  11. 3
    Survey of Contemporary, Real-Time, Operating Systems (2004) ☶ pdf compsci osdev eng.auburn.edu
    nickpsecurity avatar via nickpsecurity 26 days ago | cached | no comments
  12. 17
    A Practical Theory Of Programming pdf book compsci programming cs.toronto.edu
    zdsmith avatar via zdsmith 26 days ago | cached | 4 comments
  13. 8
    Bonsai: Synthesis-based Reasoning for Type Systems (2017) ☶ pdf formalmethods plt programming arxiv.org
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  14. 2
    Embedded Linux in a Partitioned Architecture for Aerospace Applications (2009) ☶ pdf linux osdev air.di.fc.ul.pt
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  15. 2
    Race Detection for Event-Driven Mobile Applications (2014) ☶ pdf mobile programming security web.eecs.umich.edu
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  16. 2
    ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016) ☶ pdf formalmethods programming esug.org
    nickpsecurity avatar via nickpsecurity 28 days ago | cached | no comments
  17. 2
    Back To The Epilogue: Evading Control Flow Guard via Unaligned Targets pdf security wp.internetsociety.org
    fro avatar via fro 28 days ago | cached | no comments
  18. 1
    On the Weaknesses of Function Table Randomization pdf security ei.ruhr-uni-bochum.de
    fro avatar via fro 28 days ago | cached | no comments
  19. 4
    Declarative GUIs: Simple, Consistent, and Verified pdf formalmethods cs.swan.ac.uk
    afarnham avatar via afarnham 28 days ago | cached | no comments
  20. 1
    Reactor An Object Behavioral Pattern for Demultiplexing and Dispatching Handles pdf programming dre.vanderbilt.edu
    friendlysock avatar via friendlysock 29 days ago | cached | no comments
  21. 4
    The Design and Implementation of Hyperupcalls ☶ pdf performance security virtualization usenix.org
    ceh avatar via ceh 29 days ago | cached | no comments
  22. 6
    The Case for Teaching Functional Programming in Discrete Math (2011) ☶ pdf education math programming cs.wheaton.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 9
    The Site Reliability Workbook: Practical Ways to Implement SRE ☶ pdf devops services.google.com
    lordgilman avatar via lordgilman 1 month ago | cached | no comments
  24. 2
    A NEaT Design for Reliable and Scalable Network Stacks (2016) ☶ pdf networking security cs.vu.nl
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  25. 2
    RSSAC023: History of the Root Server System ☶ pdf historical networking icann.org
    mjturner avatar via mjturner 1 month ago | cached | no comments
<< Page 2 | Page 4 >>