Sciweavers

240 search results - page 35 / 48
» Cloning: A Novel Method for Interactive Parallel Simulation
Sort
View
ICPPW
2000
IEEE
13 years 12 months ago
Reducing Web Latency with Hierarchical Cache-Based Prefetching
Proxy caches have become a central mechanism for reducing the latency of web document retrieval. While caching alone reduces latency for previously requested documents, web docume...
Dan Foygel, Dennis Strelow
CAV
2009
Springer
206views Hardware» more  CAV 2009»
14 years 8 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...
WCNC
2008
IEEE
14 years 1 months ago
Adaptive Split Transmission for Video Streams in Wireless Mesh Networks
— Wireless mesh networks hold great promise in the wireless transmission of video flows, particularly if the problem of providing sufficient network capacity can be addressed. ...
Wanqing Tu, Cormac J. Sreenan
ASPDAC
2005
ACM
120views Hardware» more  ASPDAC 2005»
13 years 9 months ago
STACCATO: disjoint support decompositions from BDDs through symbolic kernels
Abstract— A disjoint support decomposition (DSD) is a representation of a Boolean function F obtained by composing two or more simpler component functions such that the component...
Stephen Plaza, Valeria Bertacco
EUC
2005
Springer
14 years 1 months ago
Evaluation of Space Allocation Circuits
This paper describes the design and evaluation of the PCA (Plastic Cell Architecture) cell, which implements a novel space allocation method. PCA is a dynamically reconfigurable a...
Shinya Kyusaka, Hayato Higuchi, Taichi Nagamoto, Y...