7397 search results - page 48 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
140
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
164
click to vote
LCPC
1994
Springer
15 years 8 months ago
1994
Springer
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
237
click to vote
SEDE
2010
15 years 2 months ago
2010
Enterprise-level applications are becoming complex with the need for event and stream processing, multiple query processing and data analysis over heterogeneous data sources such ...
158
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
158
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...