Sciweavers

2466 search results - page 348 / 494
» Concurrent Clustered Programming
Sort
View
IPPS
2000
IEEE
14 years 2 months ago
Switch Scheduling in the Multimedia Router (MMR)
The primary goal of the Multimedia Router (MMR) project is the design and implementation of a router optimized for multimedia applications. The router is targeted for use in clust...
Damon S. Love, Sudhakar Yalamanchili, José ...
ISCAS
1999
IEEE
128views Hardware» more  ISCAS 1999»
14 years 2 months ago
Dynamic scheduling of multiple video objects for MPEG-4 encoding with user interactions
MPEG-4 video consists of various video objects, rather than frames, allowing a true interactivity and manipulation of separate arbitrary shape object. Soware-based encoding of MPE...
Yong He, Ishfaq Ahmad, Ming L. Liou
MICRO
1999
IEEE
131views Hardware» more  MICRO 1999»
14 years 2 months ago
Value Prediction for Speculative Multithreaded Architectures
The speculative multithreading paradigm (speculative threadlevel parallelism) is based on the concurrent execution of control-speculative threads. The efficiency of microarchitect...
Pedro Marcuello, Jordi Tubella, Antonio Gonz&aacut...
CAV
2007
Springer
164views Hardware» more  CAV 2007»
14 years 2 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
TASLP
2008
98views more  TASLP 2008»
13 years 10 months ago
Unsupervised Single-Channel Music Source Separation by Average Harmonic Structure Modeling
Source separation of musical signals is an appealing but difficult problem, especially in the single-channel case. In this paper, an unsupervised single-channel music source separa...
Zhiyao Duan, Yungang Zhang, Changshui Zhang, Zhenw...