Purdue - PDFSEARCH.IO - Document Search Engine

Purdue
Results: 10271

#	Item
11	Copyright by Roopsha Samanta 2013 The Dissertation Committee for Roopsha Samanta Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Mathematics Computer science Formal methods Debugging Turing Award Computer programming Formal verification Computing Algorithm
12	Succinct Representation of Concurrent Trace Sets ∗ Ashutosh Gupta Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36
13	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
14	Motivation Groundwork Algorithm Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Evolutionary biology Genetics Robustness
15	Preliminaries Solution framework Correctness Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Algorithm Mathematical logic Theoretical computer science
16	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
17	Groundwork Algorithm Extensions Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Algorithm Mathematical logic Parallel computing Synchronization
18	Meteoritics & Planetary Science 40, Nr 6, 817–Abstract available online at http://meteoritics.org Earth Impact Effects Program: A Web-based computer program for calculating the regional environmental consequ Add to Reading List Source URL: www.purdue.edu Language: English - Date: 2012-08-02 09:20:54 Planetary science Planetary geology Astronomy Nature Lunar science Impact crater Meteorite Secondary crater Impact event Meteoroid Hypervelocity Meteor Crater
19	Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-10-03 12:50:28 Theoretical computer science Computing Computer science Symposium on Principles of Programming Languages Electronic design automation Formal methods Logic in computer science Computer Aided Verification Helmut Veith High-level synthesis Formal verification Computer music
20	Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Timed automaton Finite-state machine Control theory XC Applied mathematics Mathematics Systems science Tree transducer