Search
 
   

28 results for "domain:pdfs.semanticscholar.org"

  1. 1
    Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior (1999) ☶ pdf linux programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 40 hours ago | cached | no comments
  2. 1
    Towards High Assurance HTML5 Applications (2014) ☶ pdf formalmethods web pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  3. 3
    Faster, Scannerless, GLR Parsing (2009) ☶ compilers programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  4. 1
    Deterministically Deterring Timing Attacks in Deterland (2016) ☶ pdf security virtualization pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  5. 5
    Adopting Cleanroom Software Engineering with a Phased Approach (1994) ☶ pdf practices pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
  6. 5
    The Comdyna GP-6 Analog Computer: Alive but not Exactly Kicking (2005) ☶ pdf hardware historical pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | 1 comment
  7. 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 4 months ago | cached | no comments
  8. 2
    UCLA Secure UNIX (1977-1979) ☶ pdf historical security unix pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  9. 12
    Formal Specification, Verification, and Implementation of Fault-Tolerant Systems (2015) ☶ pdf distributed formalmethods ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  10. 1
    Synthesis-Based Loose Programming (2010) ☶ pdf compsci formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  11. 2
    Language Constructs for Safe, Parallel Programming on Multicores (2016) ☶ pdf plt programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  12. 8
    Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992) ☶ pdf assembly compsci performance pdfs.semanticscholar.org
    dbremner avatar via dbremner 6 months ago | cached | no comments
  13. 5
    Certified Development Tools Implementation in Objective Caml (2008) pdf ml pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | no comments
  14. 7
    Parasitic Computing pdf compsci networking pdfs.semanticscholar.org
    varjag avatar via varjag 7 months ago | cached | 2 comments
  15. 13
    The Intel 80x86 Processor Architectures: Pitfalls for Secure Systems (1995) pdf compsci hardware historical programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  16. 5
    prom: A Flexible, Prolog-based make tool (1991) pdf compsci programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  17. 15
    Verification of Erlang Programs using Abstract Interpretation and Model Checking (2001) pdf compsci erlang formalmethods programming pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | 2 comments
  18. 1
    Towards a User-Mode Approach to Partitioned Scheduling in seL4 Microkernel (2012) pdf compsci programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 8 months ago | cached | no comments
  19. 1
    Things I Have Learned (So Far) pdf math science pdfs.semanticscholar.org
    pushcx avatar via pushcx 9 months ago | cached | no comments
  20. 3
    Combined Static and Dynamic, Automated, Test Generation (2011) ☶ pdf compsci programming testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
Page: 1 2