345 search results - page 33 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
122
click to vote
SOCO
2007
Springer
15 years 6 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
109
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
AEI
2010
14 years 12 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
AOSD
2003
ACM
15 years 5 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...