1069 search results - page 21 / 214 » A framework for characterization and analysis of software sy... |
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
The integration of scalable performance analysis in parallel development tools is difficult. The potential size of data sets and the need to compare results from multiple experime...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— The goal of this paper is to serve as a reference for researchers in robotics and control that are interested in realistic modeling, theoretical analysis and simulation of wire...
IMC
2004
ACM
14 years 1 months ago
2004
ACM
This paper characterizes the query behavior of peers in a peer-topeer (P2P) file sharing system. In contrast to previous work, which provides various aggregate workload statistics...