Dining philosophers problem - PDFSEARCH.IO - Document Search Engine

Dining philosophers problem
Results: 11

#	Item
1	Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:38:50 Unified Modeling Language Object Constraint Language ECO Dining philosophers problem Conceptual model Object Process Methodology
2	19 Concurrent Programming Concurrency is the word used to describe causal independence between a number of actions, such as the execution of a number of instructions “at the same time”. This is also the definition wh Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Concurrency Concurrent computing Mutual exclusion Producer-consumer problem Thread Lock Semaphore Critical section Dining philosophers problem Concurrency control Computing Computer programming
3	The Little Book of Semaphores Allen B. Downey Version 2.1.5 2 Add to Reading List Source URL: liquormartoutlets.com Language: English - Date: 2013-04-17 02:14:25 Readers-writers problem Semaphore Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
4	An Approach to Modelling and Verification of Component Based Systems G. Gössler(1) , S. Graf(2) , M. Majster-Cederbaum(3) , M. Martens(3) , J. Sifakis[removed]) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Deadlock Theoretical computer science Dining philosophers problem Petri net Concurrency Computer science Computing
5	CORBA Components Demonstration Frank Pilhofer February 21, 2002 Abstract The CCM Implementors Group intends to demonstrate availability of several implementations of the CORBA Component Model at the OMG Meeting in Yokoha Add to Reading List Source URL: www.ditec.um.es Language: English - Date: 2004-11-26 11:44:26 Dining philosophers problem Component-based software engineering Object-oriented programming Computer programming Inter-process communication Common Object Request Broker Architecture The Tick Tick IDL Software engineering Computing Concurrency
6	The Little Book of Semaphores Allen B. Downey Version 2.1.2 Add to Reading List Source URL: greenteapress.com Language: English - Date: 2008-03-19 09:05:35 Semaphore Readers-writers problem Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
7	PDF Document Add to Reading List Source URL: www.greenteapress.com Language: English - Date: 2009-07-15 16:08:51 Readers-writers problem Semaphore Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
8	PDF Document Add to Reading List Source URL: tinman.cs.gsu.edu Language: English - Date: 2009-06-03 14:53:02 Procedural programming languages Edsger W. Dijkstra Structured programming ALGOL Communications of the ACM Dijkstra Software crisis THE multiprogramming system Dining philosophers problem Computing Software engineering Computer science
9	PDF Document Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2003-05-19 23:30:19 Procedural programming languages Edsger W. Dijkstra Structured programming ALGOL Communications of the ACM Dijkstra Software crisis THE multiprogramming system Dining philosophers problem Computing Software engineering Computer science
10	PDF Document Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2004-02-05 12:03:58 Distributed computing Concurrency Dining philosophers problem Fork