399 search results - page 56 / 80 » Verification of System Level Model Transformations |
125
click to vote
DSD
2004
IEEE
15 years 6 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
152
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
140
Voted
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Model Driven Data Integration is a data integration approach that proactively incorporates and utilizes metadata across the data integration process. By decoupling data and metada...
138
Voted
VLSID
2006
IEEE
15 years 8 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
136
click to vote
ICCBSS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The integration of COTS components into a system under development entails architectural mismatches. These have been tackled, so far, at the component level, through comp...