pdfs.semanticscholar.org: 16 stories from 11 submitters

  1. 8
    Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992) ☶ pdf assembly compsci performance pdfs.semanticscholar.org
    dbremner avatar via dbremner 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 5
    Certified Development Tools Implementation in Objective Caml (2008) pdf ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 7
    Parasitic Computing pdf compsci networking pdfs.semanticscholar.org
    varjag avatar via varjag 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 13
    The Intel 80x86 Processor Architectures: Pitfalls for Secure Systems (1995) pdf compsci hardware historical programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 5
    prom: A Flexible, Prolog-based make tool (1991) pdf compsci programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 15
    Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001) pdf compsci erlang formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  7. 1
    Towards a User-Mode Approach to Partitioned Scheduling in seL4 Microkernel (2012) pdf compsci programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 1
    Things I Have Learned (So Far) pdf math science pdfs.semanticscholar.org
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 3
    Combined Static and Dynamic, Automated, Test Generation (2011) ☶ pdf compsci programming testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    Separation, Virtual, Machine Monitors (VMM's) (2012) pdf compsci security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 1
    Classic Nintendo Games are (NP-)Hard pdf games math pdfs.semanticscholar.org
    arminseed avatar via arminseed 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 3
    Design and Implementing the OP and OP2 Web Browsers (2011) pdf browsers formalmethods programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 6
    High Coverage Testing of Haskell Programs (2011) pdf compsci haskell testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 1
    Practical Combinatorial Testing (2010) pdf programming testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 3
    Plumbing and other utlities ☶ pdf api devops practices unix pdfs.semanticscholar.org
    friendlysock avatar via friendlysock 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 5
    Efficient String Matching: An Aid to Bibliographic Search pdf compsci programming pdfs.semanticscholar.org
    friendlysock avatar via friendlysock 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
<< Page 1