Computation - PDFSEARCH.IO - Document Search Engine

Computation
Results: 6765

#	Item
691	Optimization of a Lattice Boltzmann Computation on State-of-the-Art Multicore Platforms Samuel Williams∗,a,b , Jonathan Cartera , Leonid Olikera , John Shalfa , Katherine Yelicka,b a CRD/NERSC, b CS Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-09-06 23:48:36 Computer architecture Computing Computer hardware Computer memory Opteron Cell Multi-core processor Intel Core SPARC T5 Advanced Micro Devices Xeon CPU cache
692	Forecasting Run-Times of Secure Two-Party Computation Axel Schr¨opfer Florian Kerschbaum Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2011-09-10 05:30:51 Cryptography Cryptographic hash functions Information theory Secure multi-party computation Transmission Control Protocol Bandwidth SHA-1 Internet protocol suite Computational complexity theory Network performance
693	A Note on the Switching Adiabatic Theorem Alexander Elgart ∗ and George A. Hagedorn ∗ Department of Mathematics, and Center for Statistical Mechanics, Mathematical Physics, Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2012-04-08 14:14:39 Quantum mechanics Theoretical physics Physics Adiabatic quantum computation Adiabatic theorem Perturbation theory Philosophy of physics
694	Computation of the (n-1)-st Koszul Homology of Monomial Ideals and Related Algorithms Anna M. Bigatti ´ ´ Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-31 09:12:35 Algebra Abstract algebra Mathematics Homological algebra Algebraic topology Koszul complex Jean-Louis Koszul CW complex Homology
695	GAZE: Using Mobile Devices to Promote Discovery and Data Collection Zachary Allen Abstract Add to Reading List Source URL: delta.northwestern.edu Language: English - Date: 2015-04-05 23:41:01 Crowdsourcing Human-based computation Education Virtual reality Computing Humancomputer interaction Citizen science User interface Educational technology Ubiquitous computing
696	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
697	Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 07:30:31 Computing Diagrams Boolean algebra Mathematics Computer programming Binary decision diagram Model checking External sorting Computer cluster Depth-first search
698	Lecture 29: Collective Communication and Computation in MPI William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-10 09:17:04 Parallel computing Application programming interfaces Collective operation Communication Message Passing Interface MPI
699	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
700	IEEE Distinguished Lecture Evolutionary Optimisation and Constraint Handling Professor Xin Yao Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2015-06-29 06:44:17 IEEE Transactions on Evolutionary Computation IEEE Computational Intelligence Society Evolutionary computation Computational intelligence Computer science Mass media Academic publishing Riccardo Poli David B. Fogel

UPDATE