citeseerx.ist.psu.edu: 25 stories from 21 submitters

  1. 3
    Predicting Prime Numbers Using Cartesian Genetic Programming pdf math citeseerx.ist.psu.edu
    calvin avatar via calvin 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    Querypoint Debugging: Semi-Automated Inspection of Buggy Execution (2012) ☶ pdf debugging javascript citeseerx.ist.psu.edu
    pushcx avatar via pushcx 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 16
    Less Hashing, Same Performance: Building a Better Bloom Filter ☶ pdf performance programming citeseerx.ist.psu.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 3
    Generation Scavenging: A Non-Disruptive High Performance Storage Reclamation Algorithm (1984) ☶ pdf programming citeseerx.ist.psu.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 3
    Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless (2001) ☶ pdf compilers citeseerx.ist.psu.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 5
    Microprocessor Simulation and Program Assembling Using Spreadsheets (2000) pdf assembly citeseerx.ist.psu.edu
    breck avatar via breck 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 5
    Classes vs. Prototypes: Some Philosophical and Historical Observations pdf historical philosophy plt citeseerx.ist.psu.edu
    cript0nauta avatar via cript0nauta 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 3
    Graphical Techniques in a Spreadsheet for Specifying User Interfaces (1991) pdf graphics lisp programming citeseerx.ist.psu.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 6
    Software and Hardware Techniques for Efficient Polymorphic Calls (1999) pdf compilers citeseerx.ist.psu.edu
    dbremner avatar via dbremner 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 1
    Tales of Debugging from The Front Lines (1993) pdf debugging citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 2
    Optimization by direct search: New perspectives on some classical and modern methods (2003) ai compsci citeseerx.ist.psu.edu
    Corbin avatar via Corbin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 3
    Inside the Transputer (1990) pdf assembly distributed hardware citeseerx.ist.psu.edu
    calvin avatar via calvin 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 3
    Formal Requirements for Virtualizable Third Generation Architectures (1974) pdf compsci osdev citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 5
    Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems pdf compsci citeseerx.ist.psu.edu
    355E3B avatar via 355E3B 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 5
    An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors pdf compsci citeseerx.ist.psu.edu
    355E3B avatar via 355E3B 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 6
    The Cartesian Product Algorithm (Type Inference) (1995) pdf plt citeseerx.ist.psu.edu
    cadit_in_piscinam avatar via cadit_in_piscinam 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 16
    Notes on the Plan 9 3rd Edition Kernel Source pdf osdev programming citeseerx.ist.psu.edu
    orib avatar via orib 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  18. 4
    The 12 Commandments of Synchronization [2011] pdf programming citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 6
    Language as an intellectual tool: From hieroglyphics to APL (1991) pdf plt citeseerx.ist.psu.edu
    breck avatar via breck 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    Automatic review of abstract state machines by meta property verification (2010) ☶ pdf formalmethods programming security citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 1
    Evaluating Combinatorial vs Exhaustive Testing of DOM Events (2013) ☶ pdf javascript testing web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 4
    Implementing the Reliable Data Protocol (RDP) (1987) pdf historical networking citeseerx.ist.psu.edu
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 1
    Closing the Gap Between Specification and Programming: VDM++ and Scala ☶ pdf formalmethods scala citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 5
    Reverse-Engineering and Implementation of the RDP 5 Protocol (2004) pdf reversing citeseerx.ist.psu.edu
    calvin avatar via calvin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 1
    Interpreting Programs in Static Single Assignment Form (2004) ☶ pdf compsci plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>