Search
 
   

30 results for "domain:semanticscholar.org"

  1. 3
    Combined Static and Dynamic, Automated, Test Generation (2011) ☶ pdf compsci programming testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
  2. 2
    Separation, Virtual, Machine Monitors (VMM's) (2012) pdf compsci security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  3. 1
    Classic Nintendo Games are (NP-)Hard pdf games math pdfs.semanticscholar.org
    arminseed avatar via arminseed 1 year ago | cached | no comments
  4. 3
    Design and Implementing the OP and OP2 Web Browsers (2011) pdf browsers formalmethods programming security pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  5. 6
    High Coverage Testing of Haskell Programs (2011) pdf compsci haskell testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  6. 1
    Practical Combinatorial Testing (2010) pdf programming testing pdfs.semanticscholar.org
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  7. 3
    Avinux- Towards Automatic Verification of Linux, Device Drivers (2009) c formalmethods linux programming google.com
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments
  8. 3
    Plumbing and other utlities ☶ pdf api devops practices unix pdfs.semanticscholar.org
    friendlysock avatar via friendlysock 1 year ago | cached | no comments
  9. 5
    Efficient String Matching: An Aid to Bibliographic Search pdf compsci programming pdfs.semanticscholar.org
    friendlysock avatar via friendlysock 1 year ago | cached | 2 comments
  10. 2
    Semantic search engine for computing papers compsci release semanticscholar.org
    derek-jones avatar via derek-jones 2 years ago | cached | no comments
Page: 1 2