Emerson - PDFSEARCH.IO - Document Search Engine

Emerson
Results: 1435

#	Item
1	Automatic Generation of Local Repairs for Boolean Programs Roopsha Samanta, Jyotirmoy V. Deshmukh and E. Allen Emerson Department of Electrical and Computer Engineering and Department of Computer Sciences, The University Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematical logic Theoretical computer science Mathematics Formal methods Boolean algebra Temporal logic Edsger W. Dijkstra Predicate transformer semantics Model theory Hoare logic True quantified Boolean formula Linear temporal logic
2	An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Concurrency control Computing Edsger W. Dijkstra Concurrent computing Computer programming Concurrency Transaction processing Synchronization Lock Monitor Parallel computing Granularity
3	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2017-04-15 10:57:37
4	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-02-14 01:32:47
5	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2017-04-15 10:57:37
6	DOC Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-02-26 01:26:19
7	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-02-13 13:48:22
8	DOC Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-02-19 04:03:40
9	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-05-24 13:46:32
10	PDF Document Add to Reading List Source URL: www.emerson.org.uk - Date: 2018-05-24 13:55:14

UPDATE