5005 search results - page 480 / 1001 » The Design and Analysis of Parallel Algorithms |
198
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
169
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In the past few years considerable attention has been given to the design of multiple-input multiple-output (MIMO) eigenmode transmission systems (EMTS). This paper presents an in...
188
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce the problem of managing a FIFO buffer of bounded space, where arriving packets have dependencies among them. Our model is motivated by the scenario where large data f...
196
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
174
click to vote
ICPP
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper proposes a novel and simple adaptive control algorithm for the effective delay control and resource utilization of EMcast when the traffic load becomes heavy in the mu...