1675 search results - page 120 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
224
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
110
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Fine-grained multithreading based on a natural model, such as dataflow model, is promising in achieving high efficiency and high programming productivity. In this paper, we disc...
117
Voted
EDO
2005
Springer
15 years 9 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
133
Voted
ISPAN
2002
IEEE
15 years 8 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
102
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...