Stories tagged as pdf – Link to a PDF document
  1. 2
    Smart TVs: Security of DVB-T pdf security sstic.org
    calvin avatar via calvin 2 months ago | cached | no comments
  2. 3
    Where Are the Software Engineers of Tomorrow? (2008) pdf education plt crosstalkonline.org
    mulander avatar via mulander 2 months ago | cached | no comments
  3. 4
    SafeSpec: Banishing the Spectre of a Meltdown with Leakage-Free Speculation pdf security arxiv.org
    fro avatar via fro 2 months ago | cached | no comments
  4. 5
    Programming Paradigms for Machine Learning (2016) pdf slides ai plt programming core.ac.uk
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  5. 22
    How An Advanced Civilization Could Resist the Accelerating Expansion of the Universe pdf philosophy science arxiv.org
    ngoldbaum avatar via ngoldbaum 2 months ago | cached | 5 comments
  6. 5
    A promise checked is a promise kept: Inspection Testing pdf compilers haskell arxiv.org
    ehamberg avatar via ehamberg 2 months ago | cached | no comments
  7. 1
    Performance Modelling and Verification of Cloud-based Auto-Scaling Policies (2017) ☶ pdf formalmethods networking performance prismmodelchecker.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  8. 0
    Nethammer: Inducing Rowhammer Faults through Network Requests pdf security arxiv.org
    tokenrove avatar via tokenrove 2 months ago | cached | 1 comment
  9. 6
    Catalog of Bad Smells in Design-by-Contract Methodologies with Java Modeling Language (2013) ☶ pdf formalmethods java practices oro.open.ac.uk
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  10. 1
    A Framework for the Verification of Certifying Computations (2013) ☶ pdf c formalmethods ia800406.us.archive.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  11. 10
    Parable on the Importance of Tools; or, Build your own fucking birdfeeder. pdf practices q3k.org
    friendlysock avatar via friendlysock 2 months ago | cached | no comments
  12. 3
    LAMBDAFICTATOR: From Imperative to Functional Programming via Automated Refactoring (2013) ☶ pdf compsci java dig.cs.illinois.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  13. 5
    Model-Checking of Statechart Models: Survey and Research Directions (2004) pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  14. 10
    Web Prolog and the Programmable Prolog Web: An Attempt to Make Prolog Great Again pdf programming web github.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  15. 19
    slaacd(8) - A privilege separated and sandboxed IPv6 Stateless Address AutoConfiguration Daemon pdf slides networking openbsd openbsd.org
    calvin avatar via calvin 2 months ago | cached | no comments
  16. 25
    Forget reusability, aim for perfection: New lessons from mandoc pdf slides api openbsd practices programming openbsd.org
    calvin avatar via calvin 2 months ago | cached | 10 comments
  17. 23
    syspatch(8) - The Boring Healing Potion pdf slides openbsd bsdfrog.org
    calvin avatar via calvin 2 months ago | cached | 4 comments
  18. 41
    Pledge, and Unveil, in OpenBSD pdf slides openbsd programming security openbsd.org
    calvin avatar via calvin 2 months ago | cached | 1 comment
  19. 5
    Corbató, F. J., "Sensitive issues in the design of multi-use systems", M. I. T. Project MAC (Dec 68) pdf historical programming multicians.org
    trn avatar via trn 2 months ago | cached | 1 comment
  20. 3
    Security Recommendations for Server-based Hypervisor Platforms (NIST SP 800-125A R1) pdf security virtualization nvlpubs.nist.gov
    trn avatar via trn 3 months ago | cached | no comments
  21. 7
    Cleanroom Software Engineering Case Study at NASA: Early Analysis (1990) ☶ pdf historical practices programming ntrs.nasa.gov
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 1 comment
  22. 2
    Adaptive Range Filters for Cold Data: Avoiding Trips to Siberia (2013) ☶ pdf databases programming vldb.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  23. 2
    SpaceSearch: A Library for Building and Verifying Solver-Aided Tools (2017) ☶ pdf compsci formalmethods programming stefanheule.com
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  24. 9
    NSA posters from the 1950's and 1960's pdf culture historical governmentattic.org
    trn avatar via trn 3 months ago | cached | 2 comments
  25. 5
    The Beginning of the Monte Carlo Method (1987) pdf historical math fas.org
    calvin avatar via calvin 3 months ago | cached | 1 comment
<< Page 8 | Page 10 >>