Sciweavers

18429 search results - page 380 / 3686
» Typing dynamic typing
Sort
View
CUZA
2004
81views more  CUZA 2004»
15 years 6 months ago
The Quick Check Pre-unification Filter for Typed Grammars: Further Advances
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
Liviu-Virgil Ciortuz
ADCM
2000
85views more  ADCM 2000»
15 years 6 months ago
Construction of Runge-Kutta methods of Crouch-Grossman type of high order
Zdzislaw Jackiewicz, Arne Marthinsen, Brynjulf Owr...
AMC
2007
65views more  AMC 2007»
15 years 6 months ago
Convergence analysis of the secant type methods
Jinhai Chen, Zuhe Shen
CN
2002
112views more  CN 2002»
15 years 6 months ago
State-dependent M/G/1 type queueing analysis for congestion control in data networks
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
Eitan Altman, Konstantin Avrachenkov, Chadi Baraka...