9018 search results - page 111 / 1804 » 3D-Brain Model Software |
180
Voted
POPL
2005
ACM
15 years 11 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
88
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
101
click to vote
IPPS
2007
IEEE
15 years 5 months ago
2007
IEEE
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
81
Voted
ECBS
2003
IEEE
15 years 4 months ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
94
Voted
CAISE
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...