Sciweavers

5149 search results - page 218 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
122
Voted
PTS
1998
81views Hardware» more  PTS 1998»
15 years 4 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
ECOOP
1999
Springer
15 years 7 months ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...
DAC
1998
ACM
15 years 7 months ago
A Geographically Distributed Framework for Embedded System Design and Validation
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...
Ken Hines, Gaetano Borriello
138
Voted
CBSE
2008
Springer
15 years 5 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
89
Voted
DATE
2007
IEEE
90views Hardware» more  DATE 2007»
15 years 9 months ago
Bus access optimisation for FlexRay-based distributed embedded systems
FlexRay will very likely become the de-facto standard for in-vehicle communications. Its main advantage is the combination of high speed static and dynamic transmission of message...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng