computer science
      
        May 20, 2013
      
      
        
          Multithreaded Consensus Versus Practice
        
      
    
  
    
      
        April 27, 2013
      
      
        
          A Mutex Puzzle
        
      
    
  
    
      
        November 12, 2012
      
      
        
          Consistency Models Explained Briefly
        
      
    
  
    
      
        November 20, 2010
      
      
        
          Prisoners and Fairness
        
      
    
  
    
      
        March 12, 2010
      
      
        
          Binary compatibility of C++ Shared Libraries in Linux 
        
      
    
  
    
      
        February 8, 2010
      
      
        
          "NP-complete!" as a lame excuse