Sciweavers

4413 search results - page 762 / 883
» New Directions for CACM
Sort
View
PPL
2002
108views more  PPL 2002»
15 years 5 months ago
An Efficient Implementation of the BSP Programming Library for VIA
Virtual Interface Architecture(VIA) is a light-weight protocol for protected user-level zero-copy communication. In spite of the promised high performance of VIA, previous MPI imp...
Yang-Suk Kee, Soonhoi Ha
SIAMCO
2002
86views more  SIAMCO 2002»
15 years 5 months ago
On the Observability and Detectability of Continuous-Time Markov Jump Linear Systems
The paper introduces a new detectability concept for continuous-time Markov jump linear systems with finite Markov space that generalizes previous concepts found in the literature....
Eduardo F. Costa, João Bosco Ribeiro do Val
TCS
1998
15 years 5 months ago
Foundations of Aggregation Constraints
We introduce a new constraint domain, aggregation constraints, that is useful in database query languages, and in constraint logic programming languages that incorporate aggregate...
Kenneth A. Ross, Divesh Srivastava, Peter J. Stuck...
SIAMCOMP
2002
113views more  SIAMCOMP 2002»
15 years 5 months ago
A Layered Analysis of Consensus
This paper introduces a simple notion of layering as a tool for analyzing well-behaved runs of a given model of distributed computation. Using layering, a model-independent analysi...
Yoram Moses, Sergio Rajsbaum
TCSV
2002
92views more  TCSV 2002»
15 years 5 months ago
Super-resolution still and video reconstruction from MPEG-coded video
There are a number of useful methods for creating high-quality video or still images from a lower quality video source. The best of these involve motion compensating a number of vi...
Yucel Altunbasak, Andrew J. Patti, Russell M. Mers...