Back to Results
First PageMeta Content
Formal languages / Models of computation / Computability theory / Formal methods / Lambda calculus / Actor model / Algorithm / Regular language / Semantics / Theoretical computer science / Mathematics / Applied mathematics


Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah
Add to Reading List

Document Date: 2014-03-23 17:44:22

Open Document

File Size: 129,41 KB

Share Result on Facebook

Company

Intel / /

Country

United States / /

/

Facility

Leif Andersen Matthew Might University / M. Hall / Georgia Institute of Technology / /

IndustryTerm

transition network / parallel algorithm / naive algorithm / /

Organization

Indiana Univ. / University of Utah / U.S. Government / Georgia Institute of Technology / /

Person

Nat / Matthew Might / Leif Andersen / Leif Andersen Matthew / /

Position

actor / producer / unified lattice model for static analysis / /

Product

Samsung S73 Digital Camera / Siemens S45 Cellular Phone / /

ProgrammingLanguage

Scala / /

PublishedMedium

The Computer Journal / /

Technology

parallel algorithm / naive algorithm / /

SocialTag