![Formal languages / Models of computation / Computability theory / Formal methods / Lambda calculus / Actor model / Algorithm / Regular language / Semantics / Theoretical computer science / Mathematics / Applied mathematics Formal languages / Models of computation / Computability theory / Formal methods / Lambda calculus / Actor model / Algorithm / Regular language / Semantics / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/35ffcabfc9ea9a6e031c2bd47b030969.jpg)
| Document Date: 2014-01-13 20:04:09 Open Document File Size: 129,41 KBShare 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 |