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

  1. 1
    A VLSI Analog Computer / Math Co-processor for a Digital Computer ☶ pdf hardware math performance citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 2
    A Distributed, Secure System (Extended Abstract) (1983) ☶ pdf distributed historical osdev security unix citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 10
    Engineering a Sort Function [1993] pdf c performance citeseerx.ist.psu.edu
    akbiggs avatar via akbiggs 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 6
    Formally-Verified, Decentralized, Key-Management Architecture for Wireless Sensor Networks ☶ pdf cryptography distributed formalmethods citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 4
    Secure Browser Architecture Based on Hardware Virtualization ☶ pdf programming security virtualization citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 4
    Native OKL4 Web Browser (2010) ☶ pdf osdev security web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 3
    SMT-based False Positive Elimination in Static Program Analysis (2012) ☶ pdf c formalmethods citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 3
    Impact of Economics on Compiler Optimization (2001) pdf compilers citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  9. 6
    Abstract machines for programming language implementation (2000) ☶ compilers design programming citeseerx.ist.psu.edu
    andyc avatar via andyc 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    Formal Verification of a Flash Memory Device Driver - An Experience Report (2008) ☶ pdf c formalmethods hardware citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 4
    Refinement Types for TLA+ (2014) ☶ pdf formalmethods plt citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 6
    Olmar: Manipulating C and C++ abstract syntax trees in Ocaml (2007) ☶ pdf c c++ compilers ml citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    Scalable Bloom Filters pdf compsci citeseerx.ist.psu.edu
    pushcx avatar via pushcx 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 2
    The ABC Structure Editor ☶ pdf plt python citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 2
    Capsules and Types in Fresco (1991) pdf formalmethods programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 2
    Privad: Practical Privacy in Online Advertising (2011) pdf compsci privacy web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 28
    Oberon - The Overlooked Jewel pdf historical programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  18. 1
    versat - A Verified, Modern, SAT Solver (2012) pdf formalmethods programming citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 1
    Detrimental Effects of Reward: Reality or Myth? (1996) pdf cogsci citeseerx.ist.psu.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 2
    The state of the art of application restrictions and sandboxes and its shortfalls [2012] pdf security virtualization citeseerx.ist.psu.edu
    javier-lopez avatar via javier-lopez 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 2
    Iterative and Incremental Development: A Brief History (2003) pdf practices citeseerx.ist.psu.edu
    GeoffWozniak avatar via GeoffWozniak 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 3
    Lag, drag, void, and use - heap profiling and space efficient compilation revisited pdf compilers haskell citeseerx.ist.psu.edu
    fitzgen avatar via fitzgen 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 4
    Fields in Physics are like Curried Functions or Physics for Functional Programmers pdf lisp programming citeseerx.ist.psu.edu
    rubenbarroso avatar via rubenbarroso 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 6
    Exokernel: an operating system architecture for application-level resource management pdf compsci citeseerx.ist.psu.edu
    reiver avatar via reiver 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 1
    Reflection and open implementations ☶ compsci citeseerx.ist.psu.edu
    SeanTAllen avatar via SeanTAllen 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>