2000 search results - page 168 / 400 » Program Transformation and Proof Transformation |
127
Voted
CCGRID
2001
IEEE
15 years 7 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
112
click to vote
ICSOFT
2007
15 years 5 months ago
2007
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
203
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper deals with generalized procrustes analysis. This is the problem of registering a set of shape data by estimating a reference shape and a set of rigid transformations gi...
113
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
125
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...