JUNESIMONNET AND DIJKSTRA 1747

Source URL: www.staff.science.uu.nl

What can we learn from Edsger W. Dijkstra? by Tony Hoare. 0. Preamble I would like to start by joining all of you in the expression of deep gratitude to Schlumberger for the grant which set up a series of lectures to hon

Source URL: ontopilot.com

PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education

Source URL: faculty.uoit.ca

• Computing
• Software
• Computer programming
• Concurrent computing
• Cross-platform software
• Concurrent programming languages
• Parallel computing
• Edsger W. Dijkstra
• Actor model
• Thread
• Go
• Concurrency

Parallel Processing Letters c World Scientific Publishing Company ⃝ SOME GPU ALGORITHMS FOR GRAPH CONNECTED COMPONENTS AND SPANNING TREE

Source URL: cvit.iiit.ac.in

• Graph theory
• Mathematics
• Search algorithms
• Spanning tree
• Computer programming
• Routing algorithms
• Combinatorial optimization
• Edsger W. Dijkstra
• Pointer jumping
• Minimum spanning tree
• Tree
• Depth-first search

Call for Papers Programming for Separation of Concerns (6th edition) http://www.dmi.unict.it/~tramonta/PSC10/

Source URL: www.dmi.unict.it

• Software development
• Aspect-oriented software development
• Software engineering
• Programming paradigms
• Edsger W. Dijkstra
• Object-oriented programming
• Separation of concerns
• Symposium on Applied Computing
• Aspect-oriented programming
• Code reuse
• Subject-oriented programming

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip

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

• Engineering
• Computing
• Fault-tolerant computer systems
• Electromagnetism
• Synchronization
• Distributed computing
• Knowledge representation
• Edsger W. Dijkstra
• Self-stabilization
• Metastability in electronics
• Clock synchronization
• Phase-locked loop

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: users.ece.cmu.edu

• Theoretical computer science
• Formal methods
• Edsger W. Dijkstra
• Predicate transformer semantics
• Complexity classes
• KeY
• IP
• NP
• PP
• Algorithm

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

Source URL: www.math.uiuc.edu

• Mathematics
• Graph theory
• Discrete mathematics
• Edsger W. Dijkstra
• Routing algorithms
• Operations research
• Network theory
• Shortest path problem
• Dynamic programming
• Distance
• Path
• Linear programming

Approximation bounds for Black Hole Search problems? Ralf Klasing?? , Euripides Markou? ? ? , Tomasz Radzik† , Fabiano Sarracco‡ Abstract. A black hole is a highly harmful stationary process residing in a node of a n

Source URL: emarkou.users.uth.gr

• Graph theory
• Mathematics
• Computational complexity theory
• Operations research
• Combinatorial optimization
• Routing algorithms
• Search algorithms
• Edsger W. Dijkstra
• Travelling salesman problem
• A* search algorithm
• Flow network
• Tree traversal

LNCSEfficient Dynamic Aggregation

Source URL: webee.technion.ac.il

• Graph theory
• Mathematics
• Computational complexity theory
• Edsger W. Dijkstra
• Network theory
• Shortest path problem
• Minimum spanning tree
• Network flow
• Dynamic programming