11397 search results - page 61 / 2280 » A Relational Abstraction for Functions |
AEI
2004
13 years 9 months ago
2004
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
ANTS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
MOC
2000
13 years 9 months ago
2000
Abstract. We propose a discretization scheme for a numerical solution of elliptic PDE's, based on local representation of functions, by their Taylor polynomials (jets). This s...
WADT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...