1860 search results - page 123 / 372 » tools 2009 |
122
click to vote
ESOP
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
163
click to vote
EDOC
2009
IEEE
16 years 18 days ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
176
click to vote
MSR
2009
ACM
15 years 10 months ago
2009
ACM
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...
160
click to vote
ATMOS
2009
15 years 7 months ago
2009
In this paper we combine an integer programming approach and a computer simulation tool to successfully develop and verify an improved classification schedule for a real-world trai...
141
click to vote
SAFECOMP
2009
Springer
16 years 11 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...