Sciweavers

1247 search results - page 167 / 250
» Available Parallelism in Video Applications
Sort
View
174
Voted
CCECE
2006
IEEE
15 years 10 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
133
Voted
IPPS
2006
IEEE
15 years 10 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...
155
Voted
ISCC
2006
IEEE
154views Communications» more  ISCC 2006»
15 years 10 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
144
Voted
IPPS
2005
IEEE
15 years 9 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
15 years 9 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