3713 search results - page 270 / 743 » Constructing a Calculus of Programs |
141
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
133
click to vote
PODS
1990
ACM
15 years 8 months ago
1990
ACM
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
128
click to vote
CAV
2009
Springer
15 years 8 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
126
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Recent studies have showed the effectiveness of job co-scheduling in alleviating shared-cache contention on Chip Multiprocessors. Although program inputs affect cache usage and thu...
139
click to vote
PDPTA
2000
15 years 5 months ago
2000
Abstract GRIX system, which is a visual programming system specified for interprocessor communications in parallel computing, is proposed in this paper. In general, the scheduling ...