2000 search results - page 301 / 400 » Program Transformation and Proof Transformation |
124
click to vote
IWPSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
132
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
131
Voted
EGH
2005
Springer
15 years 9 months ago
2005
Springer
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
126
Voted
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
121
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...