Sciweavers

4164 search results - page 370 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
199
Voted
CORR
2010
Springer
214views Education» more  CORR 2010»
15 years 6 months ago
Modeling Network Coded TCP Throughput: A Simple Model and its Validation
We analyze the performance of TCP and TCP with network coding (TCP/NC) in lossy wireless networks. We build upon the simple framework introduced by Padhye et al. and characterize t...
MinJi Kim, Muriel Médard, João Barro...
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
16 years 26 days ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
EDBT
2006
ACM
112views Database» more  EDBT 2006»
16 years 7 months ago
Indexing Shared Content in Information Retrieval Systems
Abstract. Modern document collections often contain groups of documents with overlapping or shared content. However, most information retrieval systems process each document separa...
Andrei Z. Broder, Nadav Eiron, Marcus Fontoura, Mi...
KDD
2006
ACM
175views Data Mining» more  KDD 2006»
16 years 7 months ago
A mixture model for contextual text mining
Contextual text mining is concerned with extracting topical themes from a text collection with context information (e.g., time and location) and comparing/analyzing the variations...
Qiaozhu Mei, ChengXiang Zhai
WICSA
2004
15 years 8 months ago
Compositional Generation of Software Architecture Performance QN Models
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
Antinisca Di Marco, Paola Inverardi