11397 search results - page 206 / 2280 » A Relational Abstraction for Functions |
203
click to vote
SFP
2003
15 years 8 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
125
click to vote
AMC
2004
15 years 7 months ago
2004
Abstract. The purpose of this paper is to introduce and study some sequence spaces which are defined by combining the concepts of lacunary convergence, invariant mean and the seque...
134
click to vote
MOC
2002
15 years 6 months ago
2002
Abstract. We determine the explicit form of the Igusa local zeta function associated to an elliptic curve. The denominator is known to be trivial. Here we determine the possible nu...
138
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--The high-order phase function (HPF) is a useful tool to estimate the instantaneous frequency rate (IFR) of a signal with a polynomial phase. In this paper, the asymptotic...
156
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Abstract— An efficient algorithm for three-dimensional (3D) capacitance extraction on multi-layered and lossy substrate is presented. The new algorithm represents a major improv...