Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
151	Understanding Communication and Concurrency through Types Kohei Honda (Queen Mary, University of London) Nobuko Yoshida (Imperial College London) April 18, 2012 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:02 Software Computing Cross-platform software Cyberinfrastructure Oceanography Physical oceanography E-Science Go Concurrency Concurrent computing Communication Ocean Observatories Initiative
152	Advances in Programming Languages APL14: Further language concurrency mechanisms David Aspinall (including slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-24 17:48:20 Computing Software engineering Computer programming Concurrent programming languages Inter-process communication Functional languages Concurrent computing Edsger W. Dijkstra Process calculi Actor model Message passing Scala
153	Experimental evaluation of optimal schedulers based on partitioned proportionate fairness Davide Compagnin, Enrico Mezzetti and Tullio Vardanega University of Padua - Italy 27th EUROMICRO Conference on Real-Time Systems Add to Reading List Source URL: www.control.lth.se Language: English - Date: 2015-08-21 05:44:10 Concurrency control Scheduling Operations research Planning Windows NT processor scheduling Synchronization Lock Computer programming Computer architecture Computing
154	PDF Document Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2016-07-12 03:35:12 Models of computation Concurrency Diagrams Software engineering Petri nets Theoretical computer science Metaphor
155	First published in Proc. of the First Symposium on Operating Systems Design and Implementation, Usenix Association, NovemberLottery Scheduling: Flexible Proportional-Share Resource Management Carl A. Waldspurger Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-01-20 18:54:49 Concurrency control Computer programming Computing Software engineering Scheduling Lottery scheduling Thread Monitor Synchronization Lottery Lock Priority inversion
156	Wait-Free Synchronization MAURICE HERLIHY Digital Equipment Corporation Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2002-12-21 00:55:01 Computing Concurrency control Concurrent computing Concurrency computer science) Linearizability Shared register Consensus Synchronization Lock Communications protocol Futures and promises Shared snapshot objects
157	An Optimality Theory of Concurrency Control for Databases H. T. Kung Department of Computer Scionco Carnogio-Mellon University Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2014-06-14 17:57:33 Transaction processing Computing Data management Data Databases Concurrency control Operations research Scheduling Two-phase locking Schedule Windows Task Scheduler Serializability
158	Review of last lecture  Architecture case studies  Memory performance is often the bottleneck  Parallelism grows with compute performance Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2014-10-12 15:57:01 Computing Computer architecture Computer memory Transaction processing Concurrency Cache coherency MESI protocol Memory ordering Consistency model Cache coherence Linearizability Memory barrier
159	Appears in the Proceedings of the 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’16) TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datac Add to Reading List Source URL: ucare.cs.uchicago.edu Language: English - Date: 2016-02-03 13:35:04 Computing Computer errors Computer jargon Parallel computing Software bug Distributed computing MapReduce Communications protocol Software testing Reboot Crash Reliability
160	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Computing Transaction processing Concurrency control Data management Information science Databases Lock Linearizability Hash table File locking Unix signal Serializability

UPDATE