4164 search results - page 32 / 833 » Timing model reduction for hierarchical timing analysis |
123
click to vote
IANDC
2008
15 years 2 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
104
click to vote
WSC
1998
15 years 3 months ago
1998
The regenerative method of simulation output analysis exploits the regenerative structure of a stochastic process to break up a path into independent and identically distributed c...
113
click to vote
AUSAI
2008
Springer
15 years 4 months ago
2008
Springer
In this paper the notion of a partial-order plan is extended to task-hierarchies. We introduce the concept of a partial-order taskhierarchy that decomposes a problem using multi-ta...
119
click to vote
TVLSI
2010
14 years 8 months ago
2010
To efficiently analyze the large-scale interconnect dominant circuits with inductive couplings (mutual inductances), this paper introduces a new state matrix, called VNA, to stamp ...
150
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper studies evolutionary clustering, which is a recently hot topic with many important applications, noticeably in social network analysis. In this paper, based on the rece...