<--- Back to Details
First PageDocument Content
Scheduling algorithms / Threads / Models of computation / Scheduling / Unbounded nondeterminism / Model checking / Monitor / Multithreading / Non-blocking algorithm / Computing / Concurrent computing / Concurrency
Date: 2009-07-21 20:08:24
Scheduling algorithms
Threads
Models of computation
Scheduling
Unbounded nondeterminism
Model checking
Monitor
Multithreading
Non-blocking algorithm
Computing
Concurrent computing
Concurrency

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 770,25 KB

Share Document on Facebook

Similar Documents

Computer network security / Cyberwarfare / Computing / Computer security / Firewall software / Internet censorship in China / Great Firewall / Transmission Control Protocol / Intrusion detection system / Packet injection / Internet protocol suite / Firewall

Towards Illuminating a Censorship Monitor’s Model to Facilitate Evasion Sheharbano Khattak∗ ∗ Independent researcher Philip D. Anderson∗ Vern Paxson†

DocID: 1xVDw - View Document

Information technology management / Network management / Computing / Information and communications technology / System administration / PRTG Network Monitor / Network monitoring / Closed-circuit television / Dashboard

CASE STUDY PRTG Network Monitor helps PET-Xi keep a close eye on its network PET-Xi is one of the largest and most well-renowned education training

DocID: 1xUjN - View Document

Computing / Transmission Control Protocol / Network architecture / Information and communications technology / Handshaking / Computer architecture / Computer network security / Computer security

Towards  illumina.ng  a  Censorship   Monitor’s  Model  to  Facilitate   Evasion   Sheharbano  Kha>ak*,  Mobin  Javed,  Philip  D.  Anderson*  and     Vern  P

DocID: 1xTm1 - View Document

PDF Document

DocID: 1xPwF - View Document

DOC Document

DocID: 1xNmg - View Document