2192 search results - page 196 / 439 » Embedded function composition |
179
Voted
ARITH
2003
IEEE
16 years 7 days ago
2003
IEEE
A high-radix composite algorithm for the computation of the powering function (¤¦¥ ) is presented in this paper. The algorithm consists of a sequence of overlapped operations: ...
167
Voted
HYBRID
2003
Springer
16 years 4 days ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
200
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
154
Voted
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
192
click to vote
FPCA
1995
15 years 10 months ago
1995
In functional programming, intermediate data structures are often used to “glue’) together small programs. Deforestation is a program transformation to remove these intermedia...