2335 search results - page 68 / 467 » Functional Differentiation of Computer Programs |
119
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
81
Voted
ASAP
2006
IEEE
15 years 6 months ago
2006
IEEE
This work proposes a new architecture and execution model called 2D-VLIW. This architecture adopts an execution model based on large pieces of computation running over a matrix of...
130
click to vote
SIGGRAPH
1992
ACM
15 years 3 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
100
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Development of robust and efficient methods for analyzing and interpreting high dimension gene expression profiles continues to be a focus in computational biology. Th...
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...