Sciweavers

926 search results - page 163 / 186
» Improving HTML Compression
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 2 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
MOBIDE
1999
ACM
15 years 2 months ago
Accelerating Telnet Performance in Wireless Networks
This paper describes the design of a system that significantly improves the performance of telnet data delivery for 3270 and 5250 emulation so that access to legacy applications v...
Barron C. Housel, Ian Shields
SIGCOMM
1999
ACM
15 years 2 months ago
Quality Adaptation for Congestion Controlled Video Playback over the Internet
Streaming audio and video applications are becoming increasingly popular on the Internet, and the lack of effective congestion control in such applications is now a cause for sign...
Reza Rejaie, Mark Handley, Deborah Estrin
INFOCOM
1999
IEEE
15 years 2 months ago
Globally Progressive Interactive Web Delivery
- This paper suggests that since web browsing is an interactive process and downloading a web page can take several seconds to several minutes over slow links, the information pres...
Jeffrey M. Gilbert, Robert W. Brodersen
ISCAS
1999
IEEE
124views Hardware» more  ISCAS 1999»
15 years 2 months ago
On the robustness of vector set partitioning image coders to bit errors
A vector enhancement of Said and Pearlman's Set Partitioning in Hierarchical Trees (SPIHT) methodology, named VSPIHT, has recently been proposed for embedded wavelet image co...
D. Mukherjee, S. K. Mitra