1882 search results - page 64 / 377 » Transformational Programming and Forests |
99
Voted
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
We propose a two component method for denoising multidimensional signals, e.g. images. The first component uses a dynamic programing algorithm of complexity O(N log N) to find an ...
120
Voted
JUCS
2006
15 years 15 days ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
103
click to vote
PPOPP
1993
ACM
15 years 4 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
117
click to vote
LOPSTR
2007
Springer
15 years 6 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
103
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...