1962 search results - page 81 / 393 » Software performance engineering of component-based systems |
124
click to vote
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the key goals of open source development is the sharing of knowledge, experience, and solutions that pertain to a software system and its problem domain. Source code clonin...
152
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
138
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
127
click to vote
SC
2000
ACM
15 years 7 months ago
2000
ACM
We use the term “Grid” to refer to a software system that provides uniform and location independent access to geographically and organizationally dispersed, heterogeneous reso...
136
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...