Sciweavers

851 search results - page 49 / 171
» Synthesis of Distributed Systems from Knowledge-Based Specif...
Sort
View
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 4 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
KIVS
1997
Springer
15 years 7 months ago
Conformance Testing of Objects in Distributed Processing Systems
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
Brigitte Bär, Kurt Geihs
ICEISSAM
2004
15 years 4 months ago
Design Measures for Distributed Information Systems: an Empirical Evaluation
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...
Pablo Rossi, George Fernandez
109
Voted
DATE
2010
IEEE
130views Hardware» more  DATE 2010»
15 years 7 months ago
Supporting Distributed Shared Memory on multi-core Network-on-Chips using a dual microcoded controller
Abstract—Supporting Distributed Shared Memory (DSM) is essential for multi-core Network-on-Chips for the sake of reusing huge amount of legacy code and easy programmability. We p...
Xiaowen Chen, Zhonghai Lu, Axel Jantsch, Shuming C...
235
Voted
ICDE
2007
IEEE
122views Database» more  ICDE 2007»
16 years 4 months ago
Load Distribution Fairness in P2P Data Management Systems
We address the issue of measuring storage, or query load distribution fairness in peer-to-peer data management systems. Existing metrics may look promising from the point of view ...
Theoni Pitoura, Peter Triantafillou