357 search results - page 27 / 72 » Analysis of Transposition-Table-Driven Work Scheduling in Di... |
169
click to vote
FASE
2004
Springer
15 years 4 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
108
click to vote
JSA
2000
15 years 10 days ago
2000
Scheduling DAGs with communication times is the theoretical basis for achieving efficient parallelism on distributed memory systems. We generalize Graham's task-level in a ma...
133
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Many museum and library archives are digitizing their large collections of handwritten historical manuscripts to enable public access to them. These collections are only available...
94
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— In this work we study the problem of determining the throughput capacity of a wireless network. We propose a scheduling algorithm to achieve this capacity within an approximati...
139
click to vote
MOBICOM
2006
ACM
15 years 6 months ago
2006
ACM
We consider the problem of throughput-optimal scheduling in wireless networks subject to interference constraints. We model the interference using a family of K-hop interference m...