9267 search results - page 185 / 1854 » Expectation-Oriented Analysis and Design |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
HASE
2005
IEEE
14 years 2 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
MICRO
2008
IEEE
14 years 3 months ago
2008
IEEE
Higher level of resource integration and the addition of new features in modern multi-processors put a significant pressure on their verification. Although a large amount of res...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
With increasing design complexity, as well as continued scaling of supplies, the design and analysis of power/ground distribution networks poses a difficult problem in modern IC d...