1. 1
    Deep Representation Learning with Genetic Programming (2018) ☶ pdf ai python ccc.inaoep.mx
    nickpsecurity avatar via nickpsecurity 4 hours ago | cached | 1 comment
  2. 19
    How Do You Explain the Unreasonable Effectiveness of Cloud Security? formalmethods practices security highscalability.com
    nickpsecurity avatar via nickpsecurity 3 days ago | cached | 18 comments
  3. 7
    Facebook and Carnegie Mellon build first AI that beats pros in 6-player poker ai games ai.facebook.com
    nickpsecurity avatar via nickpsecurity 4 days ago | cached | 1 comment
  4. 2
    FaCT - A DSL for Timing-Sensitive Computation (Ext. Version) ☶ pdf crypto plt programming security github.com
    nickpsecurity avatar via nickpsecurity 5 days ago | cached | no comments
  5. 5
    Grey-box Concolic Testing on Binary Code ☶ pdf assembly security testing softsec.kaist.ac.kr
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | 1 comment
  6. 1
    Evaluating Combinatorial vs Exhaustive Testing of DOM Events (2013) ☶ pdf javascript testing web citeseerx.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 7 days ago | cached | no comments
  7. 2
    Correctness Anomalies Under Serializable Isolation databases distributed programming security dbmsmusings.blogspot.com
    nickpsecurity avatar via nickpsecurity 8 days ago | cached | no comments
  8. 5
    Model Checking a C++ Software Framework: A Case Study ☶ pdf c++ formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 10 days ago | cached | no comments
  9. 1
    Pruning the Search Space in Path-based Test Generation (2009) ☶ pdf c formalmethods performance testing sebastien.bardin.free.fr
    nickpsecurity avatar via nickpsecurity 11 days ago | cached | 1 comment
  10. 3
    Justin.tv's Live Video Broadcasting Architecture distributed linux networking performance practices highscalability.com
    nickpsecurity avatar via nickpsecurity 12 days ago | cached | no comments
  11. 1
    Using Abstract Interpretation to Correct Synchronization Faults (2017) ☶ pdf distributed formalmethods java cs.yale.edu
    nickpsecurity avatar via nickpsecurity 14 days ago | cached | no comments
  12. 11
    Communicating Cartridges games historical networking writing.markchristian.org
    nickpsecurity avatar via nickpsecurity 16 days ago | cached | 2 comments
  13. 2
    Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines (2004) ☶ pdf hardware historical linux osdev usenix.org
    nickpsecurity avatar via nickpsecurity 17 days ago | cached | 1 comment
  14. 2
    A Modular Way to Reason About Iteration (2016) ☶ pdf formalmethods programming hal.inria.fr
    nickpsecurity avatar via nickpsecurity 19 days ago | cached | no comments
  15. 5
    An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code ☶ pdf c compilers formalmethods flint.cs.yale.edu
    nickpsecurity avatar via nickpsecurity 20 days ago | cached | no comments
  16. 2
    Runtime Verification for Stochastic Systems (2010) ☶ pdf formalmethods hardware programming dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 21 days ago | cached | no comments
  17. 3
    From C to Interaction Trees: Specifying Verifying and Testing of a Networked Server (2018) ☶ pdf c formalmethods networking arxiv.org
    nickpsecurity avatar via nickpsecurity 27 days ago | cached | no comments
  18. 2
    Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation ☶ pdf compilers formalmethods java security theory.stanford.edu
    nickpsecurity avatar via nickpsecurity 28 days ago | cached | no comments
  19. 2
    CompCertX: verified separate compilation for compositional verification of layered systems (2015) pdf slides c compilers formalmethods gallium.inria.fr
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  20. 4
    A Lightweight Framework for Regular Expression Verification ☶ pdf formalmethods python faculty.ist.psu.edu
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  21. 3
    Correctness Testing of Loop Optimization in C and C++ Compilers (2018) ☶ pdf c c++ compilers testing sattose.wdfiles.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
  22. 4
    Design and Analysis of Real-Time Systems: Static WCET Analysis (2013) ☶ pdf slides c formalmethods performance security embedded.cs.uni-saarland.de
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  23. 2
    Finding Friend and Foe in Multi-Agent Games ☶ pdf ai programming arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  24. 1
    FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction (2012) ☶ pdf formalmethods java performance security infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  25. 6
    How to Write a Game Engine in Pure C: Part 1 State Manager c games prdeving.wordpress.com
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 2 comments
Page 2 >>