850 search results - page 66 / 170 » Modeling synchronous systems in BIP |
88
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
112
click to vote
MASCOTS
1993
15 years 1 months ago
1993
This work presents a model of a distributed database system which provides the framework to study the performance of timestamp ordering concurrency control. We exhibit an analytic...
108
click to vote
JPDC
2006
15 years 17 days ago
2006
Several schemes for checkpointing and rollback recovery have been reported in the literature. In this paper, we analyze some of these schemes under a stochastic model. We have der...
100
click to vote
ECRTS
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
DICS
2006
15 years 2 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...