Sciweavers

3272 search results - page 219 / 655
» Introduction to Software Performance Engineering
Sort
View
GECCO
2010
Springer
173views Optimization» more  GECCO 2010»
15 years 6 months ago
Superstate identification for state machines using search-based clustering
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
Mathew Hall, Phil McMinn, Neil Walkinshaw
ISPASS
2010
IEEE
16 years 1 months ago
Runahead execution vs. conventional data prefetching in the IBM POWER6 microprocessor
After many years of prefetching research, most commercially available systems support only two types of prefetching: software-directed prefetching and hardware-based prefetchers u...
Harold W. Cain, Priya Nagpurkar
ICST
2009
IEEE
16 years 1 months ago
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction
Many automated static analysis (ASA) tools have been developed in recent years for detecting software anomalies. The aim of these tools is to help developers to eliminate software...
Fadi Wedyan, Dalal Alrmuny, James M. Bieman
OSS
2007
Springer
16 years 21 days ago
From the Cathedral to the Bazaar: An Empirical Study of the Lifecycle of Volunteer Community Projects
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
Andrea Capiluppi, Martin Michlmayr
ICFEM
1997
Springer
15 years 10 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer