Upload
Featured Recent Articles Topics Login Upload

Search Results for ''

published presentations and documents on DocSlides.

Repairing Linearizability
Repairing Linearizability
by min-jolicoeur
Violations . in . Map-based . Operations. Dagstu...
Win32 i DirectX
Win32 i DirectX
by karlyn-bohler
Czym jest DirectX ?. API umożliwiające/ułatwia...
Cse 373 October 6 th – Algorithm Analysis
Cse 373 October 6 th – Algorithm Analysis
by fluental
Assorted minutiae. Checkpoint 1 should be in. Lat....
Direct3D11
Direct3D11
by olivia-moreira
KickStart. Sz. écsi. László. Direct3D11 SDK. ...
Reasoning about Optimistic Concurrency Using a Program Logi
Reasoning about Optimistic Concurrency Using a Program Logi
by pasty-toler
Ming Fu. USTC & Yale. Joint work with Yong Li...
Introduction to Computer Systems
Introduction to Computer Systems
by tatiana-dople
15-213/18-243, spring 2009. 27. th. Lecture, Apr...
1 Lecture #12
1 Lecture #12
by kittie-lecroy
Binary Tree Traversals. Using Binary Trees to Eva...
Adversarial Memory for Detecting Destructive Races
Adversarial Memory for Detecting Destructive Races
by tatyana-admore
Cormac. Flanagan & Stephen Freund. UC Santa ...
Node Removal From BST
Node Removal From BST
by celsa-spraggs
Source: http://www.algolist.net/Data_structures/B...
Recitation 14: Proxy Lab Part 2
Recitation 14: Proxy Lab Part 2
by myesha-ticknor
Instructor: TA(s). Outline. Proxylab. Threading. ...
1 Lecture #12
1 Lecture #12
by conchita-marotz
Binary Tree Traversals. Using Binary Trees to Eva...
Testing Atomicity of Composed Concurrent Operations
Testing Atomicity of Composed Concurrent Operations
by luanne-stotts
Ohad Shacham. . Tel Aviv University. Nathan Bro...
CS 106B
CS 106B
by pasty-toler
2011. (Trees). CS 106B. Lecture . 19. Feb . 22, ....
Zach Tatlock / Winter
Zach Tatlock / Winter
by conchita-marotz
2017. CSE 331. Software Design and Implementation...
ENEE150 Discussion 14 Section 0101
ENEE150 Discussion 14 Section 0101
by celsa-spraggs
Adam Wang. Overview. Final Exam. Final Exam. Next...
CS4101 Introduction to Embedded Systems
CS4101 Introduction to Embedded Systems
by lindy-dunigan
Lab 12: Device Drivers. Prof. Chung-Ta King. Depa...
Linked Lists Motivation A
Linked Lists Motivation A
by phoebe-click
list. data structure that uses only the amount o...
CONCOLIC TESTING Pınar Sağlam
CONCOLIC TESTING Pınar Sağlam
by elitered
Elided to examples only. Example. typedef struct c...
The Ibis e-Science Software Framework
The Ibis e-Science Software Framework
by teresa
Henri . Bal. , Frank J. . Seinstra. , Jason . Maas...
10. Binary Search Tree
10. Binary Search Tree
by celsa-spraggs
Yan Shi. CS/SE 2630 Lecture Notes. Partially adop...
Binary Search Trees
Binary Search Trees
by yoshiko-marsland
Ravi Chugh. March 28, 2014. 1. Review: Linked Lis...
Monads & Gonads
Monads & Gonads
by karlyn-bohler
Douglas . Crockford. Functional Programming. Prog...
EL and JSTL
EL and JSTL
by lois-ondreau
JSTL Sources. https. ://jstl.java.net. /. http:/...
Asynchronous Programming
Asynchronous Programming
by phoebe-click
with .NET 4.5. Cole . Durdan. What is asynchronou...
Augmenting AVL trees
Augmenting AVL trees
by trish-goza
How we’ve thought about trees so far. Good for ...
10. Binary Search Tree
10. Binary Search Tree
by faustina-dinatale
Yan Shi. CS/SE 2630 Lecture Notes. Partially adop...
Monads & Gonads
Monads & Gonads
by celsa-spraggs
Douglas . Crockford. Today. Monads. Managing . As...
ENEE150 Discussion 11 Section 0101
ENEE150 Discussion 11 Section 0101
by phoebe-click
Adam Wang. Overview. GDB (debugger). More Tree pr...
Trees Lecture 12 CS2110 – Fall 2017
Trees Lecture 12 CS2110 – Fall 2017
by mitsue-stanley
Important Announcements. A4 is out now and due tw...
Asynchronous Programming
Asynchronous Programming
by phoebe-click
with .NET 4.5. Cole . Durdan. What is asynchronou...
Our experience with the CodeContracts static checker
Our experience with the CodeContracts static checker
by lois-ondreau
Francesco Logozzo. with M. Fahndrich, M. Barnett....
Trees
Trees "A tree may grow a thousand feet tall, but its leaves will return to its roots."
by natalia-silvester
. -. Chinese Proverb. . CS 321 - Data Structure...
Maintenance Refactoring and Code Smells
Maintenance Refactoring and Code Smells
by lois-ondreau
Where are we?. Over the semester we have talked a...
Hash Tables <number>
Hash Tables <number>
by sherrill-nordquist
Hash Tables. . . 0. 1. 2. 3. 4. 451-229-000...
The Post
The Post
by karlyn-bohler
JavaScript Apocalypse. The . Put . JavaScript Apo...
BINARY TREES
BINARY TREES
by min-jolicoeur
&&. TREE TRAVERSALS. DEFINITION : Binary ...
Program Analysis
Program Analysis
by sherrill-nordquist
Mooly. . Sagiv. http://www.cs.tau.ac.il/~msagiv/...
Arrays as pointers and other stuff
Arrays as pointers and other stuff
by lindy-dunigan
COP3275 – Programming using c. Diego J. Rivera-...
RECURSIVITE
RECURSIVITE
by luanne-stotts
. ARBRES BINAIRES. Insertion,. Parcours pré, po...
Contribution.Thebasisforthisworkis[11]whichintroducedthetheoreticalfra
Contribution.Thebasisforthisworkis[11]whichintroducedthetheoreticalfra
by briana-ranney
publicstaticvoidExample(object[]a){Contract.Requir...