Sciweavers

1247 search results - page 167 / 250
» Available Parallelism in Video Applications
Sort
View
CCECE
2006
IEEE
14 years 4 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
IPPS
2006
IEEE
14 years 4 months ago
Ad-hoc distributed spatial joins on mobile devices
PDAs, cellular phones and other mobile devices are now capable of supporting complex data manipulation operations. Here, we focus on ad-hoc spatial joins of datasets residing in m...
Panos Kalnis, Nikos Mamoulis, Spiridon Bakiras, Xi...
ISCC
2006
IEEE
154views Communications» more  ISCC 2006»
14 years 4 months ago
Decentralized Load Balancing for Highly Irregular Search Problems
In this paper, we present a Dynamic Load Balancing (DLB) policy for problems characterized by a highly irregular search tree, whereby no reliable workload prediction is available....
Giuseppe Di Fatta, Michael R. Berthold
IPPS
2005
IEEE
14 years 3 months ago
RC-BLAST: Towards a Portable, Cost-Effective Open Source Hardware Implementation
Basic Local Alignment Search Tool (BLAST) is a standard computer application that molecular biologists use to search for sequence similarity in genomic databases. This report desc...
Krishna Muriki, Keith D. Underwood, Ron Sass
SC
2003
ACM
14 years 3 months ago
GridSAT: A Chaff-based Distributed SAT Solver for the Grid
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
Wahid Chrabakh, Richard Wolski