2000 search results - page 280 / 400 » Program Transformation and Proof Transformation |
151
Voted
PEPM
2009
ACM
15 years 8 months ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
140
Voted
SARA
2009
Springer
15 years 8 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
130
Voted
JOT
2010
15 years 2 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
134
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
165
Voted
IWMM
2011
Springer
14 years 6 months ago
2011
Springer
The goal of cache management is to maximize data reuse. Collaborative caching provides an interface for software to communicate access information to hardware. In theory, it can o...