Search
 
   

4 results for "domain:core.ac.uk"

  1. 5
    Programming Paradigms for Machine Learning (2016) pdf slides ai plt programming core.ac.uk
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 2
    What You Always Wanted to Know about Model Checking of Fault-Tolerant Distributed Algorithms ☶ pdf distributed formalmethods core.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 5
    Tyr: A Dependent, Type System for Spatial, Memory Safety in LLVM (2016) pdf compilers plt core.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 5
    Runtime Checking of Concurrent Data Structures (2005) pdf compsci distributed formalmethods programming core.ac.uk
    nickpsecurity avatar via nickpsecurity 9 months ago | cached | no comments