1146 search results - page 40 / 230 » Applications of the TAMPR Transformation System |
121
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loop optimizations such as loop unrolling, unfolding and invariant code motion have long been used in a wide variety of compilers to improve the running time of applicati...
136
click to vote
IJCAI
1989
15 years 5 months ago
1989
The transformation of constructive program synthesis proofs is discussed and compared with the more traditional approaches to program transformation. An example system for adaptin...
120
click to vote
ENTCS
2007
15 years 3 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
142
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— The DCT-based JPEG standard is certainly one of the most successful applications of transform coding methods for still digital images. A commonly recognized disadvantage of the...
142
click to vote
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...