Sciweavers

13397 search results - page 400 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
140
Voted
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 6 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
IPPS
2007
IEEE
15 years 11 months ago
Improved Output Jitter Calculation for Compositional Performance Analysis of Distributed Systems
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
Rafik Henia, Razvan Racu, Rolf Ernst
ICDE
2006
IEEE
147views Database» more  ICDE 2006»
15 years 11 months ago
Optimizing Multiple Queries in Distributed Data Stream Systems
We consider the problem of query optimization in distributed stream based systems where multiple continuous queries may be executing simultaneously. In such systems, distribution ...
Sangeetha Seshadri, Vibhore Kumar, Brian F. Cooper
171
Voted
ICIP
2007
IEEE
15 years 6 months ago
Rendering-Oriented Decoding for Distributed Multi-View Coding System
This paper discusses a system in which multi-view images are captured and encoded in a distributed fashion and a viewer synthesizes a novel view from this data. We developed an ef...
Yuichi Taguchi, Takeshi Naemura
IPTPS
2005
Springer
15 years 10 months ago
Brushwood: Distributed Trees in Peer-to-Peer Systems
There is an increasing demand for locality-preserving distribution of complex data structures in peer-to-peer systems. Current systems either do not preserve object locality or su...
Chi Zhang, Arvind Krishnamurthy, Randolph Y. Wang