Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
991	Reasoning with Hypothetical Judgments and Open Terms in Hybrid Amy P. Felty Alberto Momigliano Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-02 05:22:59 Deduction Models of computation Formal methods Entailment Metalogic De Bruijn index Natural deduction Curry–Howard correspondence Logic Mathematical logic Lambda calculus
992	Stateful Bulk Processing for Incremental Analytics Dionysios Logothetis Christopher Olston UCSD Computer Science Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2010-03-19 14:54:43 Models of computation Programming paradigms Parallel computing Computer data Dataflow MapReduce Extract transform load Stream processing Increment Computing Computer architecture Concurrent computing
993	Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI Add to Reading List Source URL: cm.bell-labs.com Language: English - Date: 2005-08-18 15:37:21 Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science
994	2009 International Conference on Parallel Processing A Partition-Merge based Cache-Conscious Parallel Sorting Algorithm for CMP with Shared Cache* 1 Add to Reading List Source URL: www.cc.gatech.edu Language: English - Date: 2012-06-01 10:57:26 Computing Cache Microprocessors Analysis of algorithms Models of computation CPU cache Merge sort Parallel computing Time complexity Sorting algorithms Theoretical computer science Mathematics
995	Efficient Turing-universal computation with DNA polymers (extended abstract) Lulu Qian, David Soloveichik, and Erik Winfree California Institute of Technology and University of Washington, Seattle Abstract. Bennett’s Add to Reading List Source URL: dna.caltech.edu Language: English - Date: 2010-05-18 15:35:54 Applied mathematics Computability theory Formal methods Chemical engineering Turing machine Chemical reaction DNA computing DNA Entropy Models of computation Chemistry Theoretical computer science
996	Advanced Engineering Informatics[removed]–26 Contents lists available at ScienceDirect Advanced Engineering Informatics journal homepage: www.elsevier.com/locate/aei Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 05:57:05 Computing Models of computation Information technology management Data mining Computer data Inter-process communication Stream
997	Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages ∗ Kai Chen Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:28:14 Scientific modeling Software development Science ISO standards Formal methods Finite-state machine Abstract state machines Metamodeling Generic Modeling Environment Unified Modeling Language Software engineering Models of computation
998	Polyglot: Modeling and Analysis for Multiple Statechart Formalisms Daniel Balasubramanian ˘ areanu ˘ Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-25 15:32:59 Computer science UML diagrams Automata theory Digital electronics Logic in computer science State diagram UML state machine Finite-state machine Stateflow Models of computation Theoretical computer science Applied mathematics
999	Integrating a Computational Model and a Run Time System for Image Processing on a UAV Per Andersson and Krzysztof Kuchcinski Lunds University P.O. Box 118 SE[removed]Lund Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:52:57 Algorithm Parsing Rendering Mathematics Applied mathematics Computer science Models of computation Compiler construction Kahn process networks
1000	Statecharts in the making: a personal account Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2007-06-13 10:47:19 Software engineering Computing Structure Automata theory Digital electronics I-Logix State diagram Finite-state machine Higraph Models of computation Diagrams UML diagrams