Sciweavers

5210 search results - page 32 / 1042
» Tools for Distributed Facilitation
Sort
View
85
Voted
IPPS
1998
IEEE
15 years 1 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
IPPS
1997
IEEE
15 years 1 months ago
An Architecture Workbench for Multicomputers
The large design space of modern computer architectures calls for performance modelling tools to facilitate the evaluation of different alternatives. In this paper, we give an ove...
Andy D. Pimentel, Louis O. Hertzberger
64
Voted
ISBI
2004
IEEE
15 years 10 months ago
Non-Rigid Image Transformation for Assessing Changes in Fluorescence Imaging Data of Molecular Activity in Time-Dependent Geomet
This paper presents an image processing framework for assessing molecular activity changes from fluorescent data in time-dependent geometries. The aim of our work is to provide th...
Kostas Marias, Stelios C. Orphanoudakis, Jorge Rip...
FGCS
2002
89views more  FGCS 2002»
14 years 9 months ago
The Legion support for advanced parameter-space studies on a grid
Parameter-space studies involve running a single application several times with different parameter sets. Since the jobs are mutually independent, many computing resources can be r...
Anand Natrajan, Marty A. Humphrey, Andrew S. Grims...
XIMEP
2005
ACM
106views Database» more  XIMEP 2005»
15 years 3 months ago
Combining a Publish and Subscribe Collaboration Architecture with XQuery Approaches
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
M. Brian Blake, David H. Fado, Gregory A. Mack