1975 search results - page 122 / 395 » Property analysis and design understanding |
167
click to vote
CIBCB
2005
IEEE
15 years 11 months ago
2005
IEEE
We analyse a suite of Boolean networks which have been evolved to exhibit limit cycle-type dynamics in terms of the distribution of small network motifs and feedback loops. We find...
105
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
-- This paper presents the current state of a work in progress, whose objective is to better understand the effects of factors that significantly influence the performance of the L...
189
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
172
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
144
click to vote
WSC
2008
15 years 8 months ago
2008
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...