<--- Back to Details
First PageDocument Content
Concurrency control / Threads / Parallel computing / Debugging / Lock / Concurrency / Concurrent data structure / Multithreading / Microsoft Visual Studio / Computing / Computer programming / Concurrent computing
Date: 2009-07-21 20:08:15
Concurrency control
Threads
Parallel computing
Debugging
Lock
Concurrency
Concurrent data structure
Multithreading
Microsoft Visual Studio
Computing
Computer programming
Concurrent computing

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 480,94 KB

Share Document on Facebook

Similar Documents

Computational fluid dynamics / Modeling and simulation / ADCIRC / Computational science / Physical oceanography / Data parallelism / Numerical modeling / Conceptual model / Application software / Applied mathematics

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

DocID: 1xVYz - View Document

Computing / Computer programming / Concurrent computing / Concurrency control / Parallel computing / Thread / Linearizability / C++11 / POSIX Threads / Lock / Concurrency / Go

C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell

DocID: 1xVyg - View Document

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

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

DocID: 1xVts - View Document

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

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

DocID: 1xUY7 - View Document

Load balancing / Network management / Routing / Technology / Computing / Information and communications technology

SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent Vanbever

DocID: 1xUyW - View Document