7924 search results - page 23 / 1585 » Non-Malleable Functions and Their Applications |
FUIN
2010
13 years 4 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
TSMC
2011
13 years 2 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
TVCG
2012
11 years 10 months ago
2012
—Field design has wide applications in graphics and visualization. One of the main challenges in field design has been how to provide users with both intuitive control over the d...
DCG
2002
2002
A Polytope Related to Empirical Distributions, Plane Trees, Parking Functions, and the Associahedron
13 years 7 months ago
The volume of the n-dimensional polytope nx := fy 2 Rn : yi 0 and y1 + + yi x1 + + xi for all 1 i ng for arbitrary x := x1; : : : ; xn with xi 0 for all i de nes a polyn...
PTS
2010
13 years 6 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...