Sciweavers

26602 search results - page 287 / 5321
» A New Imaging Model
Sort
View
TON
2010
165views more  TON 2010»
15 years 5 months ago
An analytic throughput model for TCP NewReno
—This paper develops a simple and accurate stochastic model for the steady-state throughput of a TCP NewReno bulk data transfer as a function of round-trip time and loss rate. Ou...
Nadim Parvez, Anirban Mahanti, Carey L. Williamson
ASC
2000
15 years 8 months ago
A New Object-Oriented Stochastic Modeling Language
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...
Daniel Pless, George F. Luger, Carl R. Stern
DATE
2003
IEEE
89views Hardware» more  DATE 2003»
15 years 12 months ago
A New Crosstalk Noise Model for DOMINO Logic Circuits
A new crosstalk noise model is proposed for DOMINO logic gates. Our noise model takes the effect of keeper into account and provides more accurate noise measure.
Seung Hoon Choi, Kaushik Roy
ICALP
2000
Springer
15 years 10 months ago
A New Unfolding Approach to LTL Model Checking
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...
Javier Esparza, Keijo Heljanko
NECO
2007
70views more  NECO 2007»
15 years 6 months ago
Solution Methods for a New Class of Simple Model Neurons
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
Mark D. Humphries, Kevin N. Gurney