Sciweavers

733 search results - page 23 / 147
» Measurements, Analysis, and Modeling of BitTorrent-like Syst...
Sort
View
EMSOFT
2008
Springer
15 years 3 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
PDP
2003
IEEE
15 years 6 months ago
Performance Modeling of Scientific Applications: Scalability Analysis of LAPW0
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
Thomas Fahringer, Nicola Mazzocca, Massimiliano Ra...
SIGSOFT
2007
ACM
16 years 2 months ago
A framework for characterization and analysis of software system scalability
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
Leticia Duboc, David S. Rosenblum, Tony Wicks
ICSE
2011
IEEE-ACM
14 years 4 months ago
The quamoco tool chain for quality modeling and assessment
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
Florian Deissenboeck, Lars Heinemann, Markus Herrm...
HICSS
2008
IEEE
124views Biometrics» more  HICSS 2008»
15 years 8 months ago
Measuring Factors that Influence the Success of E-Government Initiatives
Understanding how citizens value e-government services is critical to the success of these initiatives. This paper describes the development of a model to identify factors that in...
Ronnie Park