2607 search results - page 149 / 522 » Complete Functional Synthesis |
109
click to vote
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software engineers need to understand programs in order to effectively maintain them. The call graph, which presents the calling relationships between functions, is a useful repre...
126
click to vote
ACE
2004
15 years 5 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...
125
click to vote
JFP
2007
15 years 3 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
118
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Consider a convex relaxation ^f of a pseudo-boolean function f. We say that the relaxation is totally half-integral if ^f(x) is a polyhedral function with halfintegral extreme poi...
115
click to vote
FOCM
2011
2011
Accuracy and Stability of Computing High-order Derivatives of Analytic Functions by Cauchy Integrals
14 years 10 months ago
Abstract High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal s...