10707 search results - page 1721 / 2142 » Designing executable abstractions |
211
click to vote
PLDI
1995
ACM
15 years 11 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
206
click to vote
RTA
1995
Springer
15 years 11 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
236
click to vote
SIGMETRICS
1995
ACM
15 years 11 months ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
201
click to vote
FOCS
1991
IEEE
15 years 11 months ago
1991
IEEE
We wish to increase the power of an arbitrary algorithm designed for non-degenerate input, by allowing it to execute on all inputs. We concentrate on in nitesimal symbolic perturba...
213
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...