Concurrency - PDFSEARCH.IO - Document Search Engine

Concurrency
Results: 2238

#	Item
161	The Compositional Specication of Timed Systems A Tutorial Joseph Sifakis Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:31 Models of computation Concurrency Petri net Synchronization Process calculus Transition system Computing Abstraction Metaphor Timed automaton
162	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
163	PLACES’10 The 3rd Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software Add to Reading List Source URL: places10.di.fc.ul.pt Language: English - Date: 2010-12-07 19:00:11 Computing Cryptography Network architecture Internet protocols Cryptographic protocols Secure communication Hypertext Transfer Protocol World Wide Web Transport Layer Security Secure Remote Password protocol Communications protocol HTTPS
164	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
165	A Study of Speed Mismatches Between Communicating Virtual Machines Luigi Rizzo, Stefano Garzarella, Giuseppe Lettieri, Vincenzo Maffione Dipartimento di Ingegneria dell’Informazione Università di Pisa Add to Reading List Source URL: info.iet.unipi.it Language: English - Date: 2016-02-05 03:40:25 Network performance Software engineering Computing Concurrency control Economy Customer experience management Queueing theory Event Latency Throughput Monitor
166	Microsoft PowerPointTunis Brauer.pptx Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-30 10:08:35 Surname Petri nets Theoretical computer science Formal methods Concurrency Diagrams Models of computation Wilfried Brauer Carl Adam Petri Brauer Petri Rdiger Valk
167	Microsoft Word - IJIMA03-02.docx Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:39:30 LL parser Characteristic function Models of computation Software engineering Petri nets Analysis Concurrency Computer programming
168	More synchronization mechanisms • DEADLOCK • READERS/WRITER LOCKS • CONDITION VARIABLES Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-11-24 06:37:50 Concurrency control Computing Computer programming Concurrency Software engineering Synchronization Lock File locking Monitor Parallel computing Deadlock Hash table
169	PDF Document Add to Reading List Source URL: pact09.renci.org Language: English - Date: 2009-09-09 22:47:18 Computing Concurrent computing Computer architecture Parallel computing Concurrency control Transaction processing Transactional memory Computer memory Software transactional memory Multiprocessing Cell
170	ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-05 08:33:10 Concurrency control Computing Computer programming Software engineering Noise Concurrent computing Thread Monitor Lock File locking

UPDATE