Sciweavers

251 search results - page 26 / 51
» Retrenchment, Refinement, and Simulation
Sort
View
COMCOM
2006
99views more  COMCOM 2006»
13 years 7 months ago
The PFTK-model revised
This paper presents an analytical model of TCP Reno throughput as a function of loss event rate, average round trip time, average retransmission timeout value, and receiver window...
Roman Dunaytsev, Yevgeni Koucheryavy, Jarmo Harju
CORR
2002
Springer
131views Education» more  CORR 2002»
13 years 7 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
BMCBI
2011
12 years 11 months ago
Combinatorial analysis and algorithms for quasispecies reconstruction using next-generation sequencing
Background: Next-generation sequencing (NGS) offers a unique opportunity for high-throughput genomics and has potential to replace Sanger sequencing in many fields, including de-n...
Mattia C. F. Prosperi, Luciano Prosperi, Alessandr...
DAC
1997
ACM
13 years 11 months ago
A C-Based RTL Design Verification Methodology for Complex Microprocessor
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon ...
ICIP
2008
IEEE
14 years 9 months ago
Improved side information generation with iterative decoding and frame interpolation for Distributed Video Coding
Distributed Video Coding (DVC) is a new paradigm in video coding, which is receiving a lot of interests nowadays. Side Information (SI) generation is a key function in the DVC dec...
Frédéric Dufaux, Mourad Ouaret, Shui...