Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
131	Logical Relations for Fine-Grained Concurrency (Expanded Technical Appendix) Aaron Turon Jacob Thamsborg Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-09-13 04:49:13 Symbol Table of stars with Bayer designations Character encoding Digital typography
132	PDF Document Add to Reading List Source URL: hm.hgesser.de Language: English - Date: 2009-03-04 06:20:22 Computing System software Software System administration Internet Standards Internet protocols Network management Concurrency control Syslog-ng Syslog X86-64 Semaphore
133	L8: Memory Models CSE 452 Winter 2016 “There are only two hard things in computer science: cache invalidation and naming things.”  - Phil Karlton Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2016-01-22 21:17:29 Computing Computer architecture Transaction processing Concurrency control Consistency model Cache coherency Sequential consistency Linearizability Cache Eventual consistency Sync Weak consistency
134	Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey Allan Porterfield Add to Reading List Source URL: www.hpctoolkit.org Language: English - Date: 2010-07-24 17:33:01 Concurrency control Computing Computer programming Software engineering Spinlock Lock Monitor Readerswriter lock Linearizability Synchronization Mutual exclusion Thread
135	Transaction Concurrency Control via Dynamic Scheduling Based on Static Analysis Paweł T. Wojciechowski, Konrad Siek Poznań University of Technology Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2012-04-18 12:46:09 Transaction processing Data management Computing Data Rollback Schedule Concurrency control Commit Concurrent computing Database transaction
136	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
137	faturu-encv-May7-2015-web Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2015-05-07 09:12:30 Concurrent computing Computing Computer science Distributed computing Symposium on Parallelism in Algorithms and Architectures Symposium on Principles of Distributed Computing ACM SIGACT Concurrency control Transaction processing International Symposium on Distributed Computing Theoretical computer science Symposium on Principles and Practice of Parallel Programming
138	Exercise 10: Exercising in style Task 1: Very exclusive! a) Give a solution to mutual exclusion using a fetch-and-add register. b) Give a solution to mutual exclusion using a compare-and-swap register. c) Give a solution Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2015-01-06 07:25:52 Edsger W. Dijkstra Concurrency control Mutual exclusion Binary trees
139	Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France Add to Reading List Source URL: refal.botik.ru Language: English - Date: 2016-03-08 11:18:53 Distributed computing Safety Liveness Computing Formal methods Software engineering Concurrency Logic in computer science
140	CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2007; 19:2407–2423 Prepared using cpeauth.cls [Version: v2.02] Automated and accurate cache behavior analysis for Add to Reading List Source URL: www.des.udc.es Language: English - Date: 2008-09-19 07:52:25 Software engineering Computer programming Computing Cache Computer memory Compiler optimizations Software optimization Compiler construction Optimizing compiler Infinite loop Trie Cache memory

UPDATE