10159 search results - page 211 / 2032 » System Design Validation Using Formal Models |
132
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
124
click to vote
ICAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
120
click to vote
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
112
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
FOCM
2010
15 years 1 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...