492 search results - page 1 / 99 » Simulating Software Architectures for Functional Analysis |
64
Voted
WICSA
2008
15 years 9 days ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
DAC
2002
ACM
15 years 12 months ago
2002
ACM
In this paper, a new timing generation method is proposed for the performance analysis of embedded software. The time stamp generation of I/O accesses is crucial to performance es...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
DAC
2005
ACM
15 years 12 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...