Sciweavers

5493 search results - page 888 / 1099
» Effectively Polynomial Simulations
Sort
View
135
Voted
TC
2002
15 years 3 months ago
Cache Invalidation and Replacement Strategies for Location-Dependent Data in Mobile Environments
Mobile location-dependent information services (LDISs) have become increasingly popular in recent years. However, data caching strategies for LDISs have thus far received little at...
Baihua Zheng, Jianliang Xu, Dik Lun Lee
130
Voted
TCAD
2002
146views more  TCAD 2002»
15 years 3 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
137
Voted
TCAD
2002
121views more  TCAD 2002»
15 years 3 months ago
Robust Boolean reasoning for equivalence checking and functional property verification
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, ...
124
Voted
TCSV
2002
55views more  TCSV 2002»
15 years 3 months ago
Wireless video transport using conditional retransmission and low-delay interleaving
Abstract--We consider the scenario of using Automatic Repeat reQuest (ARQ) retransmission for two-way low-bit-rate video communications over wireless Rayleigh fading channels. Low-...
Supavadee Aramvith, Chia-Wen Lin, Sumit Roy, Ming-...
124
Voted
TCSV
2002
124views more  TCSV 2002»
15 years 3 months ago
Efficient moving object segmentation algorithm using background registration technique
An efficient moving object segmentation algorithm suitable for real-time content-based multimedia communication systems is proposed in this paper. First, a background registration ...
Shao-Yi Chien, Shyh-Yih Ma, Liang-Gee Chen