168 search results - page 9 / 34 » The Application of Correctness Preserving Transformations to... |
GROUP
2003
ACM
14 years 23 days ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
ICSM
2003
IEEE
14 years 23 days ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
ICSM
2005
IEEE
14 years 1 months ago
2005
IEEE
In the context of software maintenance, legacy software systems are continuously re-engineered in order to correct errors, provide new functionality, or port them into modern plat...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...