9842 search results - page 433 / 1969 » Compositional timing analysis |
171
click to vote
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
197
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
As chip size and design density increase, coupling effects (crosstalk) between signal wires become increasingly critical to on–chip timing and even functionality. A method is pr...
161
click to vote
IPPS
1997
IEEE
15 years 11 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...
178
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
216
click to vote
VMV
2000
15 years 8 months ago
2000
Direct volume rendering is a common means of visualizing three-dimensional data nowadays. It is, however, still a very time consuming process to create informative and visual appe...