2836 search results - page 310 / 568 » Model Checking for Software Architectures |
125
Voted
WSC
1998
15 years 6 months ago
1998
The development of a Distributed Information System (DIS) can lead to critical bottlenecks because of the underlying architecture, which is becoming more and more complex. Todays ...
151
Voted
CSI
2007
15 years 5 months ago
2007
The Unified Modeling Language (UML) is being used as the de-facto standard in the software industry. With the adoption of UML 2.0, the new enhancements allow this version to desc...
133
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
— The use of design patterns usually changes the approach of software design and makes software development relatively easy. This paper extends work on a forensic model for Logic...
146
Voted
EGH
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
148
Voted
ISCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
Multiple memory module architecture offers higher performance by providing potentially doubled memory bandwidth. Two key problems in gaining high performance in this kind of archi...