<--- Back to Details
First PageDocument Content
Algebra / Mathematics / Linear algebra / Matrix theory / Numerical linear algebra / Matrices / Matrix / Lambda calculus
Date: 2011-01-29 22:45:19
Algebra
Mathematics
Linear algebra
Matrix theory
Numerical linear algebra
Matrices
Matrix
Lambda calculus

EigenCFA: Accelerating Flow Analysis with GPUs Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary Hall University of Utah, Salt Lake City, Utah, USA {tarunp,sramalin,might,mhall}@cs.utah.edu Abstract

Add to Reading List

Source URL: web.engr.illinois.edu

Download Document from Source Website

File Size: 256,25 KB

Share Document on Facebook

Similar Documents

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

DocID: 1xVrQ - View Document

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary  From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

DocID: 1xV3t - View Document

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

DocID: 1xUMp - View Document

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

DocID: 1xUE0 - View Document