Dijkstra

Results: 449



#Item
41Computing / Concurrency control / Computer programming / Software engineering / Edsger W. Dijkstra / Transactional memory / Transaction processing / Parallel computing / Lock / File locking / Critical section / Rock

Chris Rossbach, Owen Hofmann, Don Porter, Hany Ramadan, Aditya Bhandari, Emmett Witchel University of Texas at Austin Hardware Transactional Memory is a reality

Add to Reading List

Source URL: www.sosp2007.org

Language: English - Date: 2016-06-15 13:09:51
42Computing / Edsger W. Dijkstra / Mathematics / Computational complexity theory / Theoretical computer science / Distributed computing / Consensus / Algorithm / Randomized algorithm / Distributed algorithm / Counter / Leader election

Synchronous Counting and Computational Algorithm Design Danny Dolev School of Engineering and Computer Science, The Hebrew University of Jerusalem

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-09-16 05:51:42
43Mathematics / Graph theory / Discrete mathematics / Edsger W. Dijkstra / Routing algorithms / Operations research / Network theory / Shortest path problem / Dynamic programming / Distance / Path / Linear programming

155 Documenta Math. On the History of the Shortest Path Problem Alexander Schrijver

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2012-07-25 10:24:53
44Mathematics / Formal methods / Edsger W. Dijkstra / Predicate transformer semantics / Errors and residuals / Function / Science and technology

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
45Graph theory / Mathematics / Computational complexity theory / NP-complete problems / Combinatorial optimization / NP-hard problems / Approximation algorithms / Edsger W. Dijkstra / Travelling salesman problem / Nearest neighbour algorithm / Shortest path problem / Maximal independent set

Random Shortest Paths: Non-Euclidean Instances for Metric Optimization Problems Karl Bringmann1 , Christian Engels2 , Bodo Manthey3 , B. V. Raghavendra Rao4 1 Max Planck Institute for Informatics, .d

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2016-01-03 06:46:12
46Computational complexity theory / Mathematics / Graph theory / Analysis of algorithms / Online algorithms / Edsger W. Dijkstra / Network theory / Probabilistic complexity theory / Randomized algorithm / Algorithm / Distributed computing / Shortest path problem

Page Migration with Limited Local Memory Capacity Susanne Albers? Hisashi Koga??

Add to Reading List

Source URL: www14.in.tum.de

Language: English - Date: 2013-11-25 11:07:00
47Computing / Concurrency control / Computer programming / Software engineering / Parallel computing / Software design patterns / Edsger W. Dijkstra / Concurrent computing / Thread / Synchronization / Monitor / Multithreading

D THREADS: Efficient Deterministic Multithreading Tongping Liu, Charlie Curtsinger, and Emery D. Berger Department of Computer Science University of Massachusetts, Amherst Amherst, MA 01003

Add to Reading List

Source URL: www.sigops.org

Language: English - Date: 2011-09-11 16:39:33
48Graph theory / Mathematics / Graph connectivity / Network theory / NP-complete problems / Edsger W. Dijkstra / Shortest path problem / Graph / Path / Hamiltonian path / Distance / Biconnected component

Microsoft PowerPoint - Presentation2

Add to Reading List

Source URL: web.cse.ohio-state.edu

Language: English - Date: 2009-01-27 18:47:33
49Mathematics / Routing algorithms / Edsger W. Dijkstra / Combinatorial optimization / Search algorithms / Theoretical computer science / A* search algorithm / Algorithm / Rectangle / Robot / Shortest path problem

Exploring Unknown Environments with Obstacles Susanne Albers Klaus Kursawey Sven Schuiererz

Add to Reading List

Source URL: www14.in.tum.de

Language: English - Date: 2013-11-25 11:05:22
50Software engineering / Academia / Computing / THM / Edsger W. Dijkstra / Technische Hochschule MittelhessenUniversity of Applied Sciences / Algorithm / Technische Hochschule

DE GRUYTER OLDENBOURG it – Information Technology 2014; Galley Proof Self-Portrayals of GI Junior Fellows Dominik Schultes*

Add to Reading List

Source URL: junior-fellows.gi.de

Language: English - Date: 2016-04-04 11:41:13
UPDATE