492 search results - page 6 / 99 » Simulating Software Architectures for Functional Analysis |
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
SEKE
2004
Springer
15 years 4 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
DAC
2008
ACM
15 years 12 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...
112
Voted
APSCC
2008
IEEE
15 years 5 months ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
133
click to vote
DAC
2006
ACM
15 years 12 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...