Purdue - PDFSEARCH.IO - Document Search Engine

Purdue
Results: 10271

#	Item
21	Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Formal languages Temporal logic Syntax Metalogic Logic Metaphilosophy Model theory Linear temporal logic Interpretation Computation tree logic Variable
22	Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Levenshtein distance Linguistics Theoretical computer science Finite-state transducer Mathematics Nested stack automaton
23	Collapsing Towers of Interpreters NADA AMIN, University of Cambridge, UK TIARK ROMPF, Purdue University, USA Given a tower of interpreters, i.e., a sequence of multiple interpreters interpreting one another as input prog Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-11-23 15:55:32 Software engineering Computing Declarative programming Functional programming Lambda calculus Data types Models of computation Exponentials Eval Interpreter Scheme Exponential function
24	Motivation Solution Framework The Algorithm Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Theoretical computer science Formal methods Logic in computer science Mathematics Formal verification Program synthesis Debugging Algorithm Cognitive science Electronic engineering Device driver synthesis and verification
25	Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Elementary mathematics Formal languages Theoretical computer science Finite automata Linguistics Dynamic programming String Levenshtein distance Finite-state transducer Term Sequence
26	Overview Groundwork Functional Transducers Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Lipschitz continuity Computability
27	Motivation Overview Approach Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Debugging Software bug Motivation Computer programming Artificial intelligence Technology Psychology Neuroscience
28	PDF Document Add to Reading List Source URL: engineering.purdue.edu - Date: 2017-07-28 01:58:26
29	PDF Document Add to Reading List Source URL: www.extension.purdue.edu - Date: 2012-09-20 14:34:36
30	PDF Document Add to Reading List Source URL: www.cco.purdue.edu

UPDATE