Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
591	University of California Los Angeles Symbolic Execution Algorithms for Test Generation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:40 Software bugs Software testing Automated theorem proving Concolic testing Buffer overflow Symbolic execution Arithmetic overflow String C Software engineering Computing Computer programming
592	Microsoft PowerPoint - DSCpetcu Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2007-07-09 07:38:37 Parallel computing Algorithm Distributed computing Symbolic computation Computational geometry Computational resource Actor model Memory bound function Outline of computer science Theoretical computer science Applied mathematics Mathematics
593	Simplification of Symbolic-Numerical Interval Expressions∗ E. D. Popova C. P. Ullrich Inst. of Mathematics & Comp. Sci. Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Interval Computer algebra system Polynomial Calculus Logarithm Mathematics Algebra Mathematical software
594	R ET C ON: Transactional Repair without Replay Colin Blundell Arun Raghavan Milo M. K. Martin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2010-04-10 11:24:17 Data Transaction processing Abstract interpretation Symbolic execution MIX Hash table ATS CPU cache Extensible Storage Engine Computing Computer memory Computer programming
595	Automatic Creation of Team-Control Plans Using an Assignment Branch in Genetic Programming Walter A. Talbott Stanford Symbolic Systems Program Stanford University Stanford, California 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:25 Hymenoptera Fitness function Myrmicinae Mathematical optimization Ant colony optimization algorithms Applied mathematics Symbiosis Genetic algorithms Ant
596	Lisp and Symbolic Computation, 2, ) © 1989 Kluwer Academic Publishers--Manufactured in The Netherlands. Integrating Logic and Functional Programming* HASSAN AIT-KACI ROGER NASR Add to Reading List Source URL: www.hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:30:34 Model theory Lambda calculus Predicate logic Automated theorem proving Logic programming Unification Combinatory logic Fixed-point combinator Interpretation Mathematics Mathematical logic Logic
597	3 Symbolic Aspects of Knowledge Representation 4CAPS is a hybrid architecture, encompassing both symbolic and connectionist processing styles. This chapter describes the symbolic aspects of 4CAPS knowledge representation Add to Reading List Source URL: www.ccbi.cmu.edu Language: English - Date: 2006-08-11 10:57:17 Programming paradigms C++ Declarative memory C++ classes Knowledge representation and reasoning Declarative programming ACT-R New Declarative Computing Software engineering Computer programming
598	Memphis Language Reference Manual This document specifies Memphis, an extension of C/C++ [1, 2], that supports the definition and processing of symbolic data such as abstract syntax trees in compilers. Memphis provides a Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:40 Procedural programming languages Type theory Standard ML Conditional Pattern matching ALGOL 68 Hindley–Milner Forward declaration C syntax Software engineering Programming language theory Computing
599	Memphis C/C++ A Language for Compiler Writers This document gives an overview on Memphis, a C/C++ extension for compiler writers and other programmers having to manipulate symbolic data. Memphis provides a new kind of ty Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:43 Procedural programming languages Binary trees Tree traversal Pattern matching ALGOL 68 Lexical analysis Lex Tree Algebraic data type Computing Software engineering Computer programming
600	126         philalethes • Summer 2014 The Rite of Circumambulation PRACTICAL OR SYMBOLIC? Add to Reading List Source URL: www.freemasonry.org Language: English - Date: 2015-01-11 16:03:14 Circumambulation Temple Hindu temple Knowledge Human behavior Religion Philalethes Society Freemasonry Albert Mackey

UPDATE