pdfs.semanticscholar.org: 41 stories from 11 submitters

  1. 8
    Model and Prototype of VMS Using the Mach 3.0 Kernel pdf osdev pdfs.semanticscholar.org
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 5
    A Tour Through Cedar (1984) pdf historical osdev pdfs.semanticscholar.org
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  3. 6
    "Blocking without Locking" or LFthreads: A Lock-Free, Thread Library (2005) ☶ pdf c compsci linux programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    Technical usability of Wikidata’s linked data pdf web pdfs.semanticscholar.org
    pizzaiolo avatar via pizzaiolo 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 6
    Behavioral Analysis of Obfuscated Code pdf reversing pdfs.semanticscholar.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 6
    Trends and Evolution of Window Interfaces (2003) pdf programming pdfs.semanticscholar.org
    zge avatar via zge 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs ☶ pdf formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 6
    Active Text for Structuring and Understanding Source Code (1996) ☶ pdf compsci historical programming visualization pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 5
    On the Expressiveness of Return-into-libc Attacks pdf programming security pdfs.semanticscholar.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 5
    How to Write a Technical Paper: Structure and Style of the Epitome of your Research pdf practices pdfs.semanticscholar.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 4
    The BLISS programming language: a history pdf historical programming pdfs.semanticscholar.org
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 6
    TIL: A Type-Directed Optimizing Compiler for ML ☶ pdf compilers ml pdfs.semanticscholar.org
    lojikil avatar via lojikil 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  13. 15
    Oberon System Implemented on a Low-Cost FPGA Board (2015) pdf hardware osdev pdfs.semanticscholar.org
    Shamar avatar via Shamar 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  14. 5
    The Abstract is an Enemy: Alternative Perspectives to Computational Thinking pdf programming pdfs.semanticscholar.org
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  15. 1
    Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999) ☶ pdf linux programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 1
    Towards High Assurance HTML5 Applications (2014) ☶ pdf formalmethods web pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 3
    Faster, Scannerless, GLR Parsing (2009) ☶ compilers programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 1
    Deterministically Deterring Timing Attacks in Deterland (2016) ☶ pdf security virtualization pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    Adopting Cleanroom Software Engineering with a Phased Approach (1994) ☶ pdf practices pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 5
    The Comdyna GP-6 Analog Computer: Alive but not Exactly Kicking (2005) ☶ pdf hardware historical pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  21. 2
    Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing (2012) ☶ pdf formalmethods haskell javascript plt testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 2
    UCLA Secure UNIX (1977-1979) ☶ pdf historical security unix pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 12
    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 1
    Synthesis-Based Loose Programming (2010) ☶ pdf compsci formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 2
    Language Constructs for Safe, Parallel Programming on Multicores (2016) ☶ pdf plt programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>