5090 search results - page 250 / 1018 » Constructing Strategies for Programming |
136
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...
129
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...
128
click to vote
EUROPAR
2008
Springer
15 years 6 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...
140
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 ...
122
click to vote
SIMULATION
2002
15 years 4 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...