Stories tagged as pdf – Link to a PDF document

Tip: read stories across multiple tags with /t/tag1,tag2

  1. 8
    Ara: A 1 GHz+ Scalable and Energy-Efficient RISC-V Vector Processor w/ Multi-Precision F.P. Support ☶ pdf hardware performance arxiv.org
    nickpsecurity avatar via nickpsecurity 9 hours ago | cached | no comments
  2. 8
    The truth about Unix (1981) pdf design historical unix ceri.memphis.edu
    calvin avatar via calvin 22 hours ago | cached | 8 comments
  3. 2
    Counting Complexity pdf math github.com
    breck avatar authored by breck 2 days ago | cached | 2 comments
  4. 2
    Using Pairwise Testing to Verify Automatically-Generated Formal Specifications (2015) ☶ pdf formalmethods programming testing cs.utep.edu
    nickpsecurity avatar via nickpsecurity 2 days ago | cached | 1 comment
  5. 1
    Deep Representation Learning with Genetic Programming (2018) ☶ pdf ai python ccc.inaoep.mx
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 1 comment
  6. 2
    StackVault: Protection from Untrusted Functions pdf security arxiv.org
    fro avatar via fro 5 days ago | cached | no comments
  7. 1
    Locating Vulnerabilities in Binaries via Memory Layout Recovering pdf security research.tees.ac.uk
    fro avatar via fro 5 days ago | cached | no comments
  8. 7
    CAST Handbook: How to Learn More from Incidents and Accidents pdf practices psas.scripts.mit.edu
    ToKi avatar via ToKi 7 days ago | cached | no comments
  9. 1
    Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs pdf plt stefan-marr.de
    355E3B avatar via 355E3B 8 days ago | cached | no comments
  10. 2
    FaCT - A DSL for Timing-Sensitive Computation (Ext. Version) ☶ pdf crypto plt programming security github.com
    nickpsecurity avatar via nickpsecurity 9 days ago | cached | no comments
  11. 7
    Augmenting Human Intellect: A Conceptual Framework pdf historical philosophy practices dougengelbart.org
    enkiv2 avatar via enkiv2 9 days ago | cached | no comments
  12. 3
    The art of bots: A practice-based study of the multiplicity, entanglements and figuration of pdf art research.gold.ac.uk
    enkiv2 avatar via enkiv2 9 days ago | cached | no comments
  13. 5
    Grey-box Concolic Testing on Binary Code ☶ pdf assembly security testing softsec.kaist.ac.kr
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | 1 comment
  14. 5
    From Punched Cards To Flat Screens - A Technical Autobiography pdf historical person people.ds.cam.ac.uk
    mjturner avatar via mjturner 10 days ago | cached | 2 comments
  15. 1
    Evaluating Combinatorial vs Exhaustive Testing of DOM Events (2013) ☶ pdf javascript testing web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | no comments
  16. 5
    MitM, DoS, and Tracking Attacks on iOS and macOS Through Apple Wireless Direct Link pdf ios mac reversing usenix.org
    rainbow avatar via rainbow 11 days ago | cached | no comments
  17. 5
    Towards Automated Application-Specific Software Stacks ☶ pdf programming arxiv.org
    calvin avatar via calvin 12 days ago | cached | 2 comments
  18. 4
    Gen: A General-Purpose Probabilistic Programming System with Programmable Inference pdf plt dspace.mit.edu
    calvin avatar via calvin 13 days ago | cached | 7 comments
  19. 5
    Model Checking a C++ Software Framework: A Case Study ☶ pdf c++ formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | no comments
  20. 6
    Nines are Not Enough: Meaningful Metrics for Clouds pdf devops storage.googleapis.com
    alejandro avatar via alejandro 15 days ago | cached | no comments
  21. 1
    Pruning the Search Space in Path-based Test Generation (2009) ☶ pdf c formalmethods performance testing sebastien.bardin.free.fr
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | 1 comment
  22. 5
    A Hope Tutorial (1985) ☶ pdf haskell plt breckyunits.com
    breck avatar via breck 16 days ago | cached | 3 comments
  23. 6
    Code Coverage and Post-Release Defects: A Large Scale Study on Open Source Projects pdf debugging practices hal.inria.fr
    calvin avatar via calvin 16 days ago | cached | 2 comments
  24. 4
    Deletion Without Rebalancing in Binary Search Trees pdf compsci sidsen.azurewebsites.net
    dbremner avatar via dbremner 16 days ago | cached | no comments
  25. 4
    Understanding GCC Builtins to Develop Better Tools ☶ pdf compilers arxiv.org
    calvin avatar via calvin 16 days ago | cached | 1 comment
Page 2 >>