3565 search results - page 198 / 713 » Modeling a system controller for timing analysis |
158
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
124
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
111
Voted
ACSD
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
150
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
123
Voted
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
An analysis is presented of the primary factors influencing the performance of a parallel implementation of the UCLA atmospheric general circulation model (AGCM) on distributedme...