3584 search results - page 330 / 717 » Parallel Computing of Thermoelasticity Problems |
145
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
133
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Tiling has long been used to improve cache performance. Recursion has recently been used as a cache-oblivious method of improving cache performance. Both of these techniques are n...
ICPADS
2000
IEEE
15 years 7 months ago
2000
IEEE
Many nonblocking algorithms have been proposed for shared queues. Previous studies indicate that link-based algorithms perform best. However, these algorithms have a memory manage...
140
click to vote
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
The Building-Block Hypothesis appeals to the notion of problem decomposition and the assembly of solutions from sub-solutions. Accordingly, there have been many varieties of GA tes...
130
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...