Sciweavers

46 search results - page 10 / 10
» Reasoning About Programs in Continuation-Passing Style
Sort
View
CGO
2009
IEEE
13 years 8 months ago
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications
Message passing is a very popular style of parallel programming, used in a wide variety of applications and supported by many APIs, such as BSD sockets, MPI and PVM. Its importance...
Greg Bronevetsky