2335 search results - page 248 / 467 » Functional Differentiation of Computer Programs |
200
Voted
POPL
2004
ACM
16 years 27 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
95
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
120
Voted
ADHOCNETS
2009
Springer
15 years 5 months ago
2009
Springer
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...
97
Voted
ICPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We propose a novel energy minimisation framework for the dense reconstruction of stereo image sequences that incorporates data fidelity as well as spatial and temporal regularity....
93
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...