Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
941	Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-03-28 01:09:33 Software engineering Concurrency control Concurrency Concurrent computing Thread Lock Parallel computing Deadlock Call graph Computing Program analysis Static program analysis
942	License Copyright (c) 2006–2008 Ciaran McHale Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software w Add to Reading List Source URL: www.ciaranmchale.com Language: English - Date: 2008-05-17 08:15:42 Concurrency control C++ Method Generic programming Concurrency Producer-consumer problem Lock Critical section POSIX Threads Software engineering Computing Computer programming
943	HashTable-privatization.eps Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-02-05 02:34:16 Data Computing Software transactional memory Linearizability Lock Non-blocking algorithm Isolation Database transaction Scalability Transaction processing Concurrency control Data management
944	Generic Synchronization Policies 1 License Copyright (c) 2006–2008 Ciaran McHale Permission is hereby granted, free of charge, to any person obtaining a copy of this Add to Reading List Source URL: www.ciaranmchale.com Language: English - Date: 2008-05-17 08:15:45 Concurrency control Method C++ Concurrency Producer-consumer problem Lock Critical section POSIX Threads Constructor Computing Computer programming Software engineering
945	UNDERSTANDING and EXPRESSING SCAL ABLE C ONCURRENCY F Aaron Turon April 19, 2013 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-04-27 02:25:22 Data Information Algorithm Communications protocol Thread Parallel computing Computing Concurrent computing Concurrency
946	Scaling Concurrent Log-Structured Data Stores Guy Golan-Gueta Edward Bortnikov Eshcar Hillel Add to Reading List Source URL: labs.yahoo.com Language: English - Date: 2015-03-03 04:05:44 Transaction processing Data Databases NoSQL Non-blocking algorithm Replication Linearizability Serializability Cache Concurrency control Data management Computing
947	Probabilistically Bounded Staleness for Practical Partial Quorums Peter Bailis, Shivaram Venkataraman, Michael J. Franklin, Joseph M. Hellerstein, Ion Stoica University of California, Berkeley {pbailis, shivaram, frankl Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-09-05 00:22:20 Data Database management systems Concurrency control Fault-tolerant computer systems Quorum Data synchronization Eventual consistency Replication Consistency model Data management Transaction processing Computing
948	Implementing Byte-Range Locks Using MPI One-Sided Communication Rajeev Thakur, Robert Ross, and Robert Latham Mathematics and Computer Science Division Argonne National Laboratory Argonne, IL 60439, USA Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2005-07-08 14:20:31 Computer programming Parallel computing Application programming interfaces Message Passing Interface File locking MPICH Lock Linearizability Global File System Computing Concurrency control Concurrent computing
949	Combining Generality and Practicality in a Conit-Based Continuous Consistency Model for Wide-Area Replication Haifeng Yu Computer Science Department Duke University Durham, NC Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2006-11-02 03:24:46 Transaction processing Database management systems Consistency model Fault-tolerant computer systems Data synchronization Database Weak consistency Concurrency control Replication Computing Data management Data
950	FM2012 - FORMAL METHOD - V1 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:18:54 Diagrams Petri net Formal methods Validation Software development process Knowledge Science Software development Concurrency