Sciweavers

3584 search results - page 239 / 717
» Parallel Computing of Thermoelasticity Problems
Sort
View
CAV
2009
Springer
139views Hardware» more  CAV 2009»
15 years 10 months ago
A Concurrent Portfolio Approach to SMT Solving
With the availability of multi-core processors and large-scale computing clusters, the study of parallel algorithms has been revived throughout the industry. We present a portfolio...
Christoph M. Wintersteiger, Leonardo Mendonç...
71
Voted
PACT
2005
Springer
15 years 3 months ago
Minimizing Hotspot Delay by Fully Utilizing the Link Bandwidth on 2D Mesh with Virtual Cut-Through Switching
Abstract. The hotspot seriously degrades the performance of a parallel algorithm but there have not been many methods proposed for this problem. Without modification of mesh topolo...
MinHwan Ok, Myong-Soon Park
IPPS
2000
IEEE
15 years 2 months ago
On Sorting an Intransitive Total Ordered Set Using Semi-Heap
1 The problem of sorting an intransitive total ordered set, a generalization of regular sorting, is considered. This generalized sorting is based on the fact that there exists a s...
Jie Wu
75
Voted
CCGRID
2010
IEEE
14 years 11 months ago
Dynamic Auction Mechanism for Cloud Resource Allocation
We propose a dynamic auction mechanism to solve the allocation problem of computation capacity in the environment of cloud computing. Truth-telling property holds when we apply a s...
Wei-Yu Lin, Guan-Yu Lin, Hung-Yu Wei
91
Voted
EUROPAR
2007
Springer
15 years 4 months ago
On Detecting Termination in the Crash-Recovery Model
We investigate the problem of detecting termination of a distributed computation in an asynchronous message-passing system where processes may crash and recover. We show that it is...
Felix C. Freiling, Matthias Majuntke, Neeraj Mitta...