Sciweavers

1839 search results - page 80 / 368
» Efficient Parallel Computation of PageRank
Sort
View
CEC
2005
IEEE
14 years 11 months ago
DNA implementation of k-shortest paths computation
In this paper, a demonstration of DNA computing for k-shortest paths of a weighted graph is realized by biochemical experiments in such a way that every path is encoded by oligonuc...
Zuwairie Ibrahim, Yusei Tsuboi, Mohd Saufee Muhamm...
CSC
2010
14 years 7 months ago
An Evaluation of Parallel Knapsack Algorithms on Multicore Architectures
Emergence of chip multiprocessor systems has dramatically increased the performance potential of computer systems. Since the amount of exploited parallelism is directly influenced ...
Hammad Rashid, Clara Novoa, Apan Qasem
64
Voted
ICSE
2003
IEEE-ACM
15 years 10 months ago
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
Jürgen Dingel
EWC
2008
85views more  EWC 2008»
14 years 10 months ago
Geometry based pre-processor for parallel fluid dynamic simulations using a hierarchical basis
The pre-processing stage of finite element analysis of the Navier-Stokes equations is becoming increasingly important as the desire for more general boundary conditions, as well a...
Anil Kumar Karanam, Kenneth E. Jansen, Christian H...
HPCA
2005
IEEE
15 years 3 months ago
Power Efficient Processor Architecture and The Cell Processor
This paper provides a background and rationale for some of the architecture and design decisions in the Cell processor, a processor optimized for compute-intensive and broadband r...
H. Peter Hofstee