users.ece.cmu.edu: 8 stories from 5 submitters

  1. 1
    The Last Question (1956) ai culture users.ece.cmu.edu
    river avatar via river 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 5
    The Effectiveness of Checksums for Embedded Control Networks pdf networking users.ece.cmu.edu
    WilhelmVonWeiner avatar via WilhelmVonWeiner 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 18
    Stack Computers: The New Wave pdf hardware plt users.ece.cmu.edu
    animatronic avatar via animatronic 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  4. 2
    Stack Computers: the new wave -- an on-line book book hardware historical users.ece.cmu.edu
    WilhelmVonWeiner avatar via WilhelmVonWeiner 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 4
    All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (2010) ☶ pdf formalmethods programming security users.ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  6. 3
    Building Safer UGV's with Run-time, Safety Invariants (2009) pdf slides programming security users.ece.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  7. 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 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 8
    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 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment