Search
 
   

16 results for "domain:cs.utexas.edu"

  1. 1
    Embedding ACL2 Models in End-User Applications (2013) ☶ pdf formalmethods hardware ruby cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  2. 6
    A Survey of Rollback-Recovery Protocols in Message-Passing Systems (2002) pdf distributed cs.utexas.edu
    jtfmumm avatar via jtfmumm 4 months ago | cached | no comments
  3. 6
    Non-photorealism pdf slides graphics cs.utexas.edu
    friendlysock avatar via friendlysock 6 months ago | cached | no comments
  4. 2
    Industrial Hardware and Software Verification with ACL2 pdf formalmethods lisp cs.utexas.edu
    mjn avatar via mjn 1 year ago | cached | no comments
  5. 2
    On the cruelty of really teaching computing science (1988) ☶ culture cs.utexas.edu
    puffnfresh avatar via puffnfresh 1 year ago | cached | no comments
  6. 2
    UpRight Cluster Services (2009) ☶ pdf compsci distributed java networking programming cs.utexas.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  7. 12
    ACM Turing Lecture 1972: The Humble Programmer programming cs.utexas.edu
    sin avatar via sin 2 years ago | cached | 3 comments
  8. 2
    My Recollections of Operating System Design (2001) pdf programming cs.utexas.edu
    geocar avatar via geocar 2 years ago | cached | 2 comments
  9. 7
    E.W. Dijkstra Archive: Computing Science: Achievements and Challenges compsci culture cs.utexas.edu
    hails avatar via hails 2 years ago | cached | no comments
  10. 16
    E.W. Dijkstra Archive: Why numbering should start at zero math philosophy cs.utexas.edu
    av avatar via av 2 years ago | cached | 3 comments
  11. 12
    Dr. R. W. Hamming's Advice on Research compsci cs.utexas.edu
    cmeiklejohn avatar via cmeiklejohn 3 years ago | cached | 2 comments
  12. 23
    Why is software so expensive? by E. W. Dijkstra programming cs.utexas.edu
    rubenbarroso avatar via rubenbarroso 3 years ago | cached | 17 comments
  13. 10
    E.W.Dijkstra Archive: On the foolishness of "natural language programming" programming cs.utexas.edu
    tobym avatar via tobym 4 years ago | cached | 4 comments
  14. 8
    E.W. Dijkstra Archive: On the cruelty of really teaching computing science culture programming cs.utexas.edu
    taylskid avatar via taylskid 4 years ago | cached | 5 comments
  15. 1
    J Strother Moore's Best Ideas compsci programming cs.utexas.edu
    jdp avatar via jdp 4 years ago | cached | no comments
  16. 10
    Research team finds flaws in SSL APIs, including libcurl, allowing MITM attacks pdf security cs.utexas.edu
    crab avatar via crab 5 years ago | cached | 1 comment