2836 search results - page 411 / 568 » Model Checking for Software Architectures |
183
click to vote
ISSTA
2006
ACM
16 years 22 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
175
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
189
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper discusses a case study, the co-design of an ATM Network Interface Card (NIC). The NIC is aimed to interface applications with the physical network line. It is composed ...
214
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
A major component of many cloud services is query processing on data stored in the underlying cloud cluster. The traditional techniques for query processing on a cluster are those...
206
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...