Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
561	Array Holds a fixed-length list of elements Simpler syntax, faster computation, less flexible ArrayList Holds a variable-length list of elements Add to Reading List Source URL: www.ryanmcgee.com - Date: 2015-10-20 14:43:20
562	Technical Report TTIC-TRMay 2009 CEAL: A C-Based Language for Self-Adjusting Computation Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:32:59 Software engineering Computer programming Computing Functional languages Data types Functional programming Subroutines Procedural programming languages Eval Standard ML Const Continuation-passing style
563	Having it both ways: Bring Data to Computation & Computation to Data with iRODS Nirav Merchant The University of Arizona Add to Reading List Source URL: irods.org Language: English - Date: 2016-06-19 12:33:15 Cloud infrastructure Condor Cloud computing
564	Parameterized Dataflow Scenarios Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth ES Reports ISSNESR Add to Reading List Source URL: www.es.ele.tue.nl Language: English - Date: 2015-11-16 05:46:32 Computing Computer architecture Software engineering Models of computation Computer data Dataflow Finite-state machine SIGNAL BMDFM
565	arXiv:0903.0340v3 [quant-ph] 6 JunPhysics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Add to Reading List Source URL: arxiv.org Language: English - Date: 2009-06-05 20:47:48 Category theory Algebra Mathematics Monoidal categories Lambda calculus Functors Algebraic topology Cartesian closed category Topological quantum field theory Morphism Natural transformation Coproduct
566	Microsoft Word - IBSNew_Trends_in_iTECH-final Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:46:11 Models of computation Robot Membrane computing Natural computing P system Computing Autonomous robot Engineering Academia Mobile Membranes Outline of robotics
567	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
568	Abstract Privacy, Integrity, and Incentive-Compatibility in Computations with Untrusted Parties Sheng Zhong 2004 Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-07-28 23:00:33 Security Cryptography Computing Formal sciences Theoretical computer science Secure multi-party computation Cryptographic protocol Mobile agent Algorithm Transmission Control Protocol Computer security
569	Squeezing Energy Savings Out Of Similar Data and Computation in GPGPUs Daniel Wong University of California, Riverside ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Computing Parallel computing Computer architecture Graphics hardware Computational science General-purpose computing on graphics processing units Video game development Operand Computer engineering
570	Approximating Bin Packing within O(log OP T · log log OP T ) bins Thomas Rothvoß Department of Mathematics, MIT TCS+ Online Seminar May 22, 2013 Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-11-01 17:11:36 Computational complexity theory Packing problems Theory of computation Bin packing problem Bin

UPDATE