Sciweavers

2466 search results - page 348 / 494
» Concurrent Clustered Programming
Sort
View
106
Voted
IPPS
2000
IEEE
15 years 7 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é ...
121
Voted
ISCAS
1999
IEEE
128views Hardware» more  ISCAS 1999»
15 years 7 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
112
Voted
MICRO
1999
IEEE
131views Hardware» more  MICRO 1999»
15 years 7 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»
15 years 6 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
124
Voted
TASLP
2008
98views more  TASLP 2008»
15 years 2 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...