1192 search results - page 109 / 239 » Symbolic Query Exploration |
126
click to vote
APN
2004
Springer
15 years 8 months ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
149
click to vote
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
106
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
116
click to vote
IWSAS
2001
Springer
15 years 7 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
110
click to vote
ATS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper considers the testability implications of low power design methodologies. Low power and high testability are shown to be highly contrasting requirements, and an optimiz...