2836 search results - page 223 / 568 » Model Checking for Software Architectures |
140
click to vote
ACSC
2001
IEEE
15 years 8 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
155
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
180
click to vote
HPCN
2000
Springer
15 years 8 months ago
2000
Springer
We build an analytical model for an application utilizing master-slave paradigm. In the model, only three architecture parameters are used: latency, bandwidth and flop rate. Instea...
149
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
152
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...