Sciweavers

9842 search results - page 1443 / 1969
» Compositional timing analysis
Sort
View
VLDB
2004
ACM
100views Database» more  VLDB 2004»
16 years 22 days ago
Resilient Rights Protection for Sensor Streams
Today’s world of increasingly dynamic computing environments naturally results in more and more data being available as fast streams. Applications such as stock market analysis,...
Radu Sion, Mikhail J. Atallah, Sunil Prabhakar
188
Voted
ICPPW
2002
IEEE
16 years 10 days ago
Data Distribution Schemes of Sparse Arrays on Distributed Memory Multicomputers
A data distribution scheme of sparse arrays on a distributed memory multicomputer, in general, is composed of three phases, data partition, data distribution, and data compression...
Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu
APN
2001
Springer
15 years 12 months ago
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
193
Voted
ICDCS
2010
IEEE
15 years 11 months ago
A Hybrid Approach to High Availability in Stream Processing Systems
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
Zhe Zhang, Yu Gu, Fan Ye, Hao Yang, Minkyong Kim, ...
190
Voted
DOCENG
2007
ACM
15 years 11 months ago
An efficient, streamable text format for multimedia captions and subtitles
In spite of the high profile of media types such as video, audio and images, many multimedia presentations rely extensively on text content. Text can be used for incidental labels...
Dick C. A. Bulterman, A. J. Jansen, Pablo Cé...
« Prev « First page 1443 / 1969 Last » Next »