Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Determinism / Lattice / Parallel computing / Kahn process networks / Applied mathematics / Geometry / Mathematics / Models of computation / Algorithm


LVars: Lattice-based Data Structures for Deterministic Parallelism Lindsey Kuper Ryan R. Newton
Add to Reading List

Document Date: 2013-07-28 16:11:31


Open Document

File Size: 582,89 KB

Share Result on Facebook

City

Boston / Lattice / /

Company

Safe Limited / S Sa / Intel / LVar / /

Country

United States / /

Currency

USD / /

/

Event

Reorganization / /

Facility

Haskell LVars library / Parallel Boost Graph Library / store of Sa1 tS Sa2 / store Sa2 / Haskell library / Qthreads library / Deterministic Parallelism Lindsey Kuper Ryan R. Newton Indiana University / Control.Parallel.Strategies library / LVars library / /

IndustryTerm

parallel type-inference algorithm / process networks / process network / breadth-first search / parallel software / producer/consumer applications / graph algorithms / parallel solutions / processors / computing / social network / stream processing / memory management / /

NaturalFeature

FIFO stream / IVars stream / /

OperatingSystem

Fork / /

Organization

ETA / Indiana University / /

Person

Lindsey Kuper Ryan / /

Position

producer / author / application writer / model for deterministicby-construction parallel programming / library writer / programmer / /

Product

Haskell LVars / LVars / Control.Parallel / /

ProgrammingLanguage

Cilk / Java / Haskell / ML / /

ProvinceOrState

Utah / /

RadioStation

1 With / Core / /

Technology

functional programming / parallel type-inference algorithm / graph algorithms / Java / dom / /

URL

http /

SocialTag