Sciweavers

3398 search results - page 261 / 680
» Implementations of Grid-Based Distributed Parallel Computing
Sort
View
103
Voted
CW
2003
IEEE
15 years 6 months ago
Mesh Generation and Refinement of Polygonal Data Sets
This paper presents work in progress and continues a project devoted to developing shape modeling system based on implementation of radial based function (RBF) technology. In this...
Vladimir V. Savchenko, Irina B. Semenova, Nikita K...
IPPS
1999
IEEE
15 years 5 months ago
Solving Satisfiability Problems on FPGAs using Experimental Unit Propagation Heuristic
This paperpresents new resultson anapproach for solvingsatisfiability problems (SAT), that is, creating a logic circuit that is specialized to solve each problem instance on Field ...
Takayuki Suyama, Makoto Yokoo, Akira Nagoya
GRID
2000
Springer
15 years 4 months ago
DOT-COMing the GRID: Using Grids for Business
: In this presentation, a short outline of the history of past and present Grid projects in research and industry is given, followed by some near- and long-term Grid scenarios and ...
Wolfgang Gentzsch
91
Voted
ICS
2009
Tsinghua U.
15 years 7 months ago
Fast and scalable list ranking on the GPU
General purpose programming on the graphics processing units (GPGPU) has received a lot of attention in the parallel computing community as it promises to offer the highest perfo...
M. Suhail Rehman, Kishore Kothapalli, P. J. Naraya...
ENTCS
2006
112views more  ENTCS 2006»
15 years 23 days ago
Distributed Symbolic Bounded Property Checking
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
Pradeep Kumar Nalla, Roland J. Weiss, Prakash Moha...