2836 search results - page 101 / 568 » Model Checking for Software Architectures |
203
Voted
CGO
2011
IEEE
14 years 7 months ago
2011
IEEE
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
123
Voted
JSW
2006
15 years 3 months ago
2006
Good software architecture is critically important for successful software development. The software architecture can be defined as a set of architectural design decisions. However...
148
click to vote
DC
2010
15 years 3 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
141
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
113
Voted
CSMR
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern software systems are highly interconnected and have been under constant change for many years. IT decision makers find it difficult to predict and plan change projects due ...