Sciweavers

11376 search results - page 388 / 2276
» Willow System Demonstration
Sort
View
ICC
2009
IEEE
111views Communications» more  ICC 2009»
16 years 1 months ago
Supporting VCR-Like Operations in Derivative Tree-Based P2P Streaming Systems
— Supporting user interactivity in peer-to-peer streaming systems is challenging. VCR-like operations, such as random seek, pause, fast forward and rewind, require timely P2P ove...
Tianyin Xu, Jianzhong Chen, Wenzhong Li, Sanglu Lu...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 1 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
CIKM
2009
Springer
16 years 1 months ago
Dissemination of heterogeneous XML data in publish/subscibe systems
The publish-subscribe paradigm is an effective approach for data publishers to asynchronously disseminate relevant data to a large number of data subscribers. A lot of recent res...
Yuan Ni, Chee Yong Chan
EUROPAR
2009
Springer
16 years 1 months ago
Impact of Quad-Core Cray XT4 System and Software Stack on Scientific Computation
An upgrade from dual-core to quad-core AMD processor on the Cray XT system at the Oak Ridge National Laboratory (ORNL) Leadership Computing Facility (LCF) has resulted in significa...
Sadaf R. Alam, Richard F. Barrett, Heike Jagode, J...
NOSSDAV
2009
Springer
16 years 1 months ago
Dynamic overlay multicast in 3D video collaborative systems
Multi-stream/multi-site 3D video collaborative systems are promising as they enable remote users to interact in a 3D virtual space with a sense of co-presence. However, the decent...
Wanmin Wu, Zhenyu Yang, Klara Nahrstedt