Search
 
   

3 results for "domain:people.cs.ksu.edu"

  1. 2
    DTHREADS: Efficient Deterministic Multithreading (2011) ☶ pdf c c++ people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 13 days ago | cached | no comments
  2. 3
    Formal Specification and Verification of a Microkernel (2010) ☶ pdf c formalmethods osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  3. 2
    CuriOS: Improving Reliability through Operating System Structure (2008) ☶ pdf osdev people.cs.ksu.edu
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | no comments