Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
1	Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1 Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Computational fluid dynamics Modeling and simulation ADCIRC Computational science Physical oceanography Data parallelism Numerical modeling Conceptual model Application software Applied mathematics
2	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-09-25 05:49:39 Computing Computer programming Concurrent computing Concurrency control Parallel computing Thread Linearizability C++11 POSIX Threads Lock Concurrency Go
3	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks Add to Reading List Source URL: people.ee.ethz.ch Language: English - Date: 2017-02-01 15:47:46 Computing Network architecture Information and communications technology Network protocols OpenFlow Software-defined networking Local area networks Nox Open vSwitch Forwarding plane Transmission Control Protocol Network switch
4	SDNRacer: Detecting Concurrency Violations in Software-Defined Networks Add to Reading List Source URL: www.miserez.org Language: English - Date: 2016-04-18 09:10:50 Computing Network architecture Information and communications technology Network protocols OpenFlow Software-defined networking Local area networks Nox Open vSwitch Forwarding plane Transmission Control Protocol Network switch
5	SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever Add to Reading List Source URL: www.miserez.org Language: English - Date: 2016-06-17 13:47:37 Load balancing Network management Routing Technology Computing Information and communications technology
6	Building the decentralized future Parity Internals ● Written in Rust ○ Memory safety and concurrency safety guarantees without GC Add to Reading List Source URL: www.bokconsulting.com.au - Date: 2016-09-28 09:04:36
7	GPredict: Generic Predictive Concurrency Analysis Jeff Huang Qingzhou Luo and Grigore Rosu Parasol Laboratory Add to Reading List Source URL: parasol.tamu.edu Language: English - Date: 2015-03-09 09:47:57
8	An Evaluation of Distributed Concurrency Control Rachael Harding Dana Van Aken MIT CSAIL Add to Reading List Source URL: www.vldb.org Language: English - Date: 2017-01-04 22:58:08
9	Concurrency in Java July 10, 2017 Reading Quiz What is Concurrency? Add to Reading List Source URL: www.cs.uic.edu Language: English - Date: 2017-07-10 16:36:17
10	SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration Pedro Fonseca (MPI-SWS) Rodrigo Rodrigues Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-08-13 13:02:12