Thinking Machines Corporation - PDFSEARCH.IO - Document Search Engine

Thinking Machines Corporation
Results: 10

#	Item
1	Evolving 3D Morphology and Behavior by Competition Karl Sims Thinking Machines Corporation 245 First Street, Cambridge, MAAbstract Add to Reading List Source URL: www.karlsims.com Language: English - Date: 2016-05-06 09:51:07
2	Evolving Virtual Creatures Karl Sims Thinking Machines Corporation 245 First Street, Cambridge, MAAbstract This paper describes a novel system for creating virtual creatures Add to Reading List Source URL: www.karlsims.com Language: English - Date: 2016-05-06 09:51:14
3	On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department Add to Reading List Source URL: peoppenheimer.org Language: English - Date: 2011-02-19 16:19:34
4	On the Logic of the Ontological Argument∗ Paul E. Oppenheimer Thinking Machines Corporation and Edward N. Zalta Philosophy Department Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2011-02-19 16:19:34 Logic Mathematical logic Model theory Philosophy of language Predicate logic Arguments for the existence of God First-order logic Ontological argument Definite description Interpretation Atomic formula Constructible universe
5	The Evolution of Lisp Guy L. Steele Jr. Thinking Machines Corporation 245 First Street Cambridge, Massachusetts[removed]Phone: ([removed] Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2000-11-10 18:33:19 Lisp programming language Functional languages Lisp Fexpr Maclisp Interlisp NIL Advice BBN LISP Computing Software engineering Computer programming
6	Synchronized MIMD Computing by Bradley C. Kuszmaul S.B. (mathematics), Massachusetts Institute of Technology[removed]S.B. (computer science and engineering), Massachusetts Institute of Technology (1984) Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:51 SIMD Thinking Machines Corporation MIMD Central processing unit Connection Machine Instruction set Computer Algorithm Data parallelism Computing Concurrent computing Parallel computing
7	To appear in "Concurrency: Practice and Experience", [removed]Spatial Interaction Model Optimisation on Parallel Computers Felicity George, Nicholas Radcliffe, Mark Smith Edinburgh Parallel Computing Centre, University of Add to Reading List Source URL: stochasticsolutions.com Language: English - Date: 2009-09-08 11:14:37 Parallel array Connection Machine EPCC Array Thinking Machines Corporation Computing Parallel computing Data parallelism
8	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2006-03-23 14:15:01 Procedural programming languages C++ Thinking Machines Corporation Static single assignment form ALGOL 68 C* Assignment C++ classes Variable Software engineering Computing Programming language theory
9	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2006-03-23 14:14:36 Procedural programming languages C* Fortran Unix Thinking Machines Corporation Man page C standard library Make B Computing Software Computer programming
10	PDF Document Add to Reading List Source URL: www2.cs.dartmouth.edu Language: English - Date: 2005-03-08 21:24:35 Memory management Paging Permutation Overlay Address space Mathematics Operating system Thinking Machines Corporation Computer Virtual memory Computing Combinatorics