581 search results - page 62 / 117 » Parallel Functional Reactive Programming |
OSDI
2004
ACM
14 years 9 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
PVM
2007
Springer
14 years 2 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
CODES
2011
IEEE
12 years 8 months ago
2011
IEEE
Two overriding concerns in the development of embedded MPSoCs are ease of programming and hardware complexity. In this paper we present SoC-TM, an integrated HW/SW solution for tr...
HPCN
2000
Springer
14 years 13 days ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...