cs.cmu.edu: 67 stories from 35 submitters

  1. 6
    Cell GC: Using the Cell Synergistic Processor as a Garbage Collection Coprocessor (2008) pdf compsci hardware cs.cmu.edu
    calvin avatar via calvin 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 10
    Three Sins of Authors in Computer Science and Math compsci math cs.cmu.edu
    lucic71 avatar via lucic71 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  3. 2
    Discerning the Dominant Out-of-Order Performance Advantage: Is it Speculation or Dynamism? (2013) pdf hardware performance cs.cmu.edu
    calvin avatar via calvin 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    täkō: A Polymorphic Cache Hierarchy for General-Purpose Optimization of Data Movement pdf hardware performance virtualization cs.cmu.edu
    aidancully avatar via aidancully 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  5. 9
    Reflections on Trusting Trust (1984) pdf security cs.cmu.edu
    me avatar via me 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 5
    Discrete Differential Geometry: An Applied Introduction graphics math cs.cmu.edu
    breandan avatar via breandan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 8
    The next 700 programming languages (1966) pdf plt cs.cmu.edu
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 2
    OSI Reference Model - The ISO Model of Architecture for Open Systems Interconnection (1980) pdf networking cs.cmu.edu
    seasidedrum avatar via seasidedrum 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 4
    Discrete Conformal Equivalence of Polyhedral Surfaces graphics cs.cmu.edu
    friendlysock avatar via friendlysock 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    Escaping AutoHell: A Vision for Automated Analysis and Migration of Autotools Build Systems (2016) pdf programming cs.cmu.edu
    syn-ack avatar via syn-ack 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 17
    Communicating sequential processes (1978) pdf programming cs.cmu.edu
    seasidedrum avatar via seasidedrum 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 8
    A Survey of Distributed File Systems (1989) pdf distributed networking unix cs.cmu.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 5
    Functional Perl: Programming with Recursion Schemes in Python pdf ml plt python satire cs.cmu.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 3
    No Hands Across America ai historical cs.cmu.edu
    355E3B avatar via 355E3B 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 18
    CMU 15-819 - Homotopy Type Theory video education plt cs.cmu.edu
    jtm avatar via jtm 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 11
    Using Z: Specification, Refinement, and Proof pdf formalmethods math cs.cmu.edu
    lorddimwit avatar via lorddimwit 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  17. 5
    Pegasus: A Framework for Sound Continuous Invariant Generation ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 2
    The Next 50 Years of Databases (2015) databases cs.cmu.edu
    calvin avatar via calvin 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    The Vector Heat Method graphics math cs.cmu.edu
    friendlysock avatar via friendlysock 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  20. 4
    Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5 (2018) ☶ pdf formalmethods hardware cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 2
    Voxel Coloring graphics cs.cmu.edu
    pekkavaa avatar via pekkavaa 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 11
    Functional Languages for Real-Time Control compsci plt programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  23. 4
    VeriPhy: Verified Controller Executables from Verified Cyber-Physical Models ☶ pdf formalmethods programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 5
    Quotations for Learning and Programming ☶ practices programming cs.cmu.edu
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 2
    Semantic Crash Bucketing ☶ pdf testing cs.cmu.edu
    ceh avatar via ceh 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>