Tayfun - PDFSEARCH.IO - Document Search Engine

Tayfun
Results: 56

#	Item
21	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
22	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
23	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
24	C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ; Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-05-12 14:24:49 Concurrency control Concurrent computing Monitor Thread Concurrent data structure Parallel computing Lock Oz Scheduling Computing Computer programming Software engineering
25	NDSeq: Runtime Checking for Nondeterministic Sequential Specifications of Parallel Correctness Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:19:55 Data Concurrency control Concurrent computing Databases Serializability Parallel computing Actor model Concurrent data structure Thread Computing Transaction processing Data management
26	C ONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration Jacob Burnim Tayfun Elmas Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:22:49 Computer programming Concurrency Threads Parallel computing Java Pathfinder Monitor Producer-consumer problem Model checking Lock Computing Concurrent computing Concurrency control
27	NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness Jacob Burnim Tayfun Elmas George Necula Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:32:05 Computing Concurrency control Databases Serializability Parallel computing Schedule Linearizability Correctness Control flow Transaction processing Data management Data
28	FAYN Tayfun Volání v rámci České Republiky Pásmo Kč / min Add to Reading List Source URL: www.fayn.cz Language: Czech - Date: 2012-03-21 19:00:00
29	C ONCURRIT: A Domain Specific Language for Reproducing Concurrency Bugs Tayfun Elmas : Jacob Burnim ; Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:24:49 Concurrency control Concurrent computing Monitor Thread Concurrent data structure Parallel computing Lock Oz Scheduling Computing Computer programming Software engineering
30	BASIN BÜLTENİ Dünya Telekomünikasyon Günü BTK Başkanı Dr. Tayfun Acarer’in katılımıyla İstanbul’da gerçekleşti Add to Reading List Source URL: www.tuted.org.tr Language: Turkish - Date: 2014-05-20 11:33:49

UPDATE