2000 search results - page 194 / 400 » Program Transformation and Proof Transformation |
139
click to vote
SAIG
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...
132
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
153
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
191
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
265
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...