4164 search results - page 61 / 833 » Timing model reduction for hierarchical timing analysis |
PAKDD
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Within the large body of research in complex network analysis, an important topic is the temporal evolution of networks. Existing approaches aim at analyzing the evolutio...
SOFSEM
2009
Springer
14 years 7 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
QEST
2006
IEEE
14 years 4 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
In this paper, we explore the concept of using analytical models to efficiently generate delay change curves (DCCs) that can then be used to characterize the impact of noise on an...
ISBRA
2010
Springer
13 years 8 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...