217 search results - page 20 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
110
Voted
DAWAK
2003
Springer
15 years 5 months ago
2003
Springer
Web warehousing plays a key role in providing the managers with up-to-date and comprehensive information about their business domain. On the other hand, since XML is now a standard...
100
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
ICITA
2005
IEEE
15 years 6 months ago
2005
IEEE
Both product line engineering (PLE) and model driven architecture (MDA) are emerging as effective paradigms for building a family of applications in cost effective way. PLE suppor...
117
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
107
Voted
ITC
2003
IEEE
15 years 5 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...