Sciweavers

4266 search results - page 147 / 854
» The container loading problem
Sort
View
WSC
2001
15 years 5 months ago
Use of DaSSF in a scalable multiprocessor wireless simulation architecture
The problem of efficient load distribution and scaling of large-scale wireless communication system simulation on multiprocessor architectures (both shared memory and cluster arra...
Trefor J. Delve, Nathan Smith
TACAS
1999
Springer
91views Algorithms» more  TACAS 1999»
15 years 8 months ago
Timed Diagnostics for Reachability Properties
We consider the problem of computing concrete diagnostics for timed automata and reachability properties. Concrete means containing information both about the discrete state change...
Stavros Tripakis
131
Voted
IJAC
2010
122views more  IJAC 2010»
15 years 2 months ago
Automorphic orbits in Free Groups: Words versus Subgroups
We show that the following problems are decidable in rank 2 free groups: does a given finitely generated subgroup H contain primitive elements? and does H meet the automorphic or...
Pedro V. Silva, Pascal Weil
ICIP
2008
IEEE
15 years 10 months ago
Incorporating known features into a total variation dictionary model for source separation
The goal of this paper is to investigate the impact of dictionary choosing for a total variation dictionary model. After theoretical analysis, we present the experiments in which ...
Tieyong Zeng
131
Voted
SOSP
2003
ACM
16 years 19 days ago
SplitStream: high-bandwidth multicast in cooperative environments
In tree-based multicast systems, a relatively small number of interior nodes carry the load of forwarding multicast messages. This works well when the interior nodes are highlyava...
Miguel Castro, Peter Druschel, Anne-Marie Kermarre...