Stories tagged as pdf – Link to a PDF document
  1. 4
    The Specification, Verification, and Implementation of Data Structure in ACL2 (2013) ☶ pdf formalmethods lisp programming computer.org
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  2. 3
    Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants ☶ pdf formalmethods hardware security cc.gatech.edu
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  3. 2
    DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  4. 11
    Abstracting Abstract Machines (2011) ☶ pdf formalmethods plt ccs.neu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | 7 comments
  5. 4
    Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances pdf testing patricegodefroid.github.io
    GeoffWozniak avatar via GeoffWozniak 14 days ago | cached | no comments
  6. 32
    Original Furby Source Code pdf assembly hardware seanriddle.com
    hwayne avatar via hwayne 14 days ago | cached | 8 comments
  7. 4
    Modern Extensible Languages (2007) ☶ pdf plt programming danielzingaro.com
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | 3 comments
  8. 1
    Programmer's Guide for MARC, 4-bit Microcontrollers pdf historical programming web.archive.org
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | 1 comment
  9. 1
    Hints for Computer System Design (1983) pdf historical practices research.cs.wisc.edu
    calvin avatar via calvin 14 days ago | cached | no comments
  10. 5
    A Brief Introduction to Distributed Systems (2016) pdf distributed programming cs.vu.nl
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  11. 3
    Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  12. 4
    Koord: Language and analysis for robust, distributed, cyber-physical systems pdf formalmethods plt programming cyphyhouse.github.io
    ceh avatar via ceh 15 days ago | cached | 3 comments
  13. 2
    Privacy Infrastructure: Challenges and Opportunities pdf privacy media.defcon.org
    lattera avatar via lattera 16 days ago | cached | no comments
  14. 2
    Functional Bits: Lambda Calculus based Algorithmic Information Theory pdf compsci math tromp.github.io
    rain1 avatar via rain1 16 days ago | cached | no comments
  15. 3
    TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing pdf ai testing arxiv.org
    ceh avatar via ceh 17 days ago | cached | no comments
  16. 2
    CuriOS: Improving Reliability through Operating System Structure (2008) ☶ pdf osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  17. 4
    On Automatically Proving the Correctness of math.h Implementations ☶ pdf formalmethods math programming theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments
  18. 4
    code2seq: Generating Sequences from Structured Representations of Code ☶ pdf ai arxiv.org
    ceh avatar via ceh 18 days ago | cached | 1 comment
  19. 6
    A Minimal ZZStructure Navigator using a ZigZag-style Interface (2013) ☶ pdf design historical lord-enki.net
    enkiv2 avatar authored by enkiv2 19 days ago | cached | 3 comments
  20. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  21. 8
    Data Structures for Text Sequences (1998) ☶ pdf compsci programming cs.unm.edu
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | 5 comments
  22. 1
    A Survey of Programming Languages and Platforms for Multi-Agent Systems (2006) pdf compsci programming vsis-www.informatik.uni-hamburg.de
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  23. 6
    Type Theory and Functional Programming (1999) pdf book formalmethods programming cs.kent.ac.uk
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | 2 comments
  24. 2
    TRIMMER: Application Specialization for Code Debloating ☶ pdf performance security csl.sri.com
    ceh avatar via ceh 21 days ago | cached | no comments
  25. 7
    Verifying Optimizations Using SMT Solvers pdf slides compilers formalmethods performance llvm.org
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | 1 comment
<< Page 1 | Page 3 >>