1237 search results - page 25 / 248 » Strictness and Totality Analysis |
TCAD
1998
14 years 9 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
The European call option prices have well-known formulae in the Cox-RossRubinstein model [2], depending on the volatility of the underlying asset. Nevertheless it is hard to give ...
105
click to vote
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Compressed-domain automatic speaker recognition is based on the analysis of the compressed parameters of speech coders. The objective is to perform low-complexity on-line speaker ...
RTSS
2008
IEEE
15 years 4 months ago
2008
IEEE
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...