2000 search results - page 127 / 400 » Program Transformation and Proof Transformation |
113
click to vote
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
109
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Instance orientation is an approach for designing and programming software systems. It addresses a limitation of current software architectures: it allows multiple higherlevel vie...
112
click to vote
PEPM
2009
ACM
16 years 11 days ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
149
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
149
Voted
TSMC
2010
2010
Cancelable Templates for Sequence-Based Biometrics with Application to On-line Signature Recognition
14 years 10 months ago
Recent years have seen the rapid spread of biometric technologies for automatic people recognition. However, security and privacy issues still represent the main obstacles for the ...