4198 search results - page 339 / 840 » Data Parallel Program Design |
149
Voted
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Emerging sensor network technologies are expected to substantially augment applications such as environmental monitoring, health-care, and home/commercial automation. However, muc...
121
click to vote
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
When designing SAMGrid, a project for distributing high-energy physics computations on a grid, we discovered that it was challenging to decide where to place user's jobs. Job...
142
click to vote
CONEXT
2010
ACM
15 years 2 months ago
2010
ACM
TCP incast congestion happens in high-bandwidth and lowlatency networks, when multiple synchronized servers send data to a same receiver in parallel [15]. For many important data ...
132
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
255
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...