Sciweavers

11739 search results - page 256 / 2348
» Slideshow: functional presentations
Sort
View
INFOCOM
2007
IEEE
16 years 1 months ago
Stochastic Ordering for Internet Congestion Control and its Applications
— Window growth function for congestion control is a strong determinant of protocol behaviors, especially its second and higher-order behaviors associated with the distribution o...
Han Cai, Do Young Eun, Sangtae Ha, Injong Rhee, Li...
TLCA
2007
Springer
16 years 24 days ago
Computation by Prophecy
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
Ana Bove, Venanzio Capretta
ITC
2003
IEEE
116views Hardware» more  ITC 2003»
15 years 12 months ago
Circular BIST testing the digital logic within a high speed Serdes
High Speed Serializer Deserializers (serdes) are traditionally tested using functional BIST. This paper presents an improved BIST for testing the digital part of a serdes using ci...
Graham Hetherington, Richard Simpson
ESWS
2008
Springer
15 years 8 months ago
SemSearch: Refining Semantic Search
We demonstrate results presentation and query refinement functions of the SemSearch engine for semantic web portals and intranets.
Victoria S. Uren, Yuangui Lei, Enrico Motta
PC
2000
105views Management» more  PC 2000»
15 years 6 months ago
New advances in chemistry and materials science with CPMD and parallel computing
A short overview is presented of the density functional theory and molecular dynamics (DFT
Wanda Andreoni, Alessandro Curioni