1120 search results - page 116 / 224 » Using Enterprise Architecture Models for System Quality Anal... |
105
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
161
click to vote
DAC
1994
ACM
15 years 5 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
122
Voted
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
100
click to vote
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
116
click to vote
PDP
2006
IEEE
15 years 7 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...