Sciweavers

6549 search results - page 1125 / 1310
» Parsimonious additive models
Sort
View
CN
2002
78views more  CN 2002»
15 years 5 months ago
On the autocorrelation structure of TCP traffic
The statistical characteristics of network traffic - in particular the observation that it can exhibit long range dependence - have received considerable attention from the resear...
Daniel R. Figueiredo, Benyuan Liu, Vishal Misra, D...
DSS
2000
105views more  DSS 2000»
15 years 5 months ago
Dynamic behavior of differential pricing and quality of service options for the internet
Abstract. The simple model on which the Internet has operated, with all packets treated equally, and charges only for access links to the network, has contributed to its explosive ...
Peter C. Fishburn, Andrew M. Odlyzko
ET
2002
122views more  ET 2002»
15 years 5 months ago
Using At-Speed BIST to Test LVDS Serializer/Deserializer Function
LVDS is the acronym for Low-Voltage-DifferentialSignaling and is described in both the ANSI/TIA/EIA644 and IEEE 1596.3 standards. High performance yet Low Power and EMI have made ...
Magnus Eckersand, Fredrik Franzon, Ken Filliter
JACM
2002
163views more  JACM 2002»
15 years 5 months ago
Formal verification of standards for distance vector routing protocols
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gu...
JCB
2002
116views more  JCB 2002»
15 years 5 months ago
A Novel Approach to Remote Homology Detection: Jumping Alignments
We describe a new algorithm for protein classi cation and the detection of remote homologs. The rationale is to exploit both vertical and horizontal information of a multiple alig...
Rainer Spang, Marc Rehmsmeier, Jens Stoye
« Prev « First page 1125 / 1310 Last » Next »