Search
 
   

5 results for "domain:ece.cmu.edu"

  1. 3
    Building Safer UGV's with Run-time, Safety Invariants (2009) pdf slides programming security users.ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 3 comments
  2. 4
    Toward a Framework for Highly Automated Vehicle Safety Validation, Philip Koopman & Michael Wagner pdf formalmethods practices testing users.ece.cmu.edu
    trn avatar via trn 4 months ago | cached | no comments
  3. 3
    The Evolution of an x86 Virtual Machine Monitor (2010) ☶ pdf hardware historical virtualization ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  4. 6
    Stack Computers: The New Wave: A Survey of Computers with Hardware Stack Support [1989] hardware historical users.ece.cmu.edu
    trn avatar via trn 5 months ago | cached | 1 comment
  5. 4
    Towards Region-Based Memory Management for Go pdf go safari.ece.cmu.edu
    kyle avatar via kyle 5 years ago | cached | no comments