1980 search results - page 117 / 396 » Compositional Model Checking of Real Time Systems |
114
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
100
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
113
click to vote
ICANN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A real-time, large scale, leaky-integrate-and-fire neural network processor realized using FPGA is presented. This has been designed, as part of a collaborative project,...
150
Voted
ICDCS
1995
IEEE
15 years 5 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
113
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...