3584 search results - page 473 / 717 » Parallel Computing of Thermoelasticity Problems |
123
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
Power management is critical to power-constrained real-time systems. In this paper, we present a dynamic power management algorithm. Unlike other approaches that focus on the trad...
157
click to vote
SPAA
2010
ACM
15 years 7 months ago
2010
ACM
We present a distributed algorithm that finds a maximal edge packing in O(∆ + log∗ W) synchronous communication rounds in a weighted graph, independent of the number of nodes...
123
click to vote
COLCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Data movement within high performance environments can be a large bottleneck to the overall performance of programs. With the addition of continuous storage and usage of...
208
Voted
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
110
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
Although a considerable number of successful frameworks have been developed during the last decade, designing a high-quality framework is still a difficult task. Generally, it is ...