Sciweavers

1042 search results - page 92 / 209
» Energy Metric for Software Systems
Sort
View
PASTE
2005
ACM
15 years 11 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...
ICSM
2009
IEEE
16 years 24 days ago
Modeling class cohesion as mixtures of latent topics
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
Yixun Liu, Denys Poshyvanyk, Rudolf Ferenc, Tibor ...
ARCS
2010
Springer
15 years 9 months ago
A Hierarchical Distributed Control for Power and Performances Optimization of Embedded Systems
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
Patrick Bellasi, William Fornaciari, David Siorpae...
PDPTA
2000
15 years 7 months ago
Impact of Using Pattern-Based Systems on the Qualities of Parallel Applications
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
Ladan Tahvildari, Ajit Singh
ISESE
2006
IEEE
16 years 5 days ago
The evolution of FreeBSD and Linux
Is the nature of Open Source Software (OSS) evolution fundamentally different from that of the traditional and commercially available software systems? Lehman and others conducted...
Clemente Izurieta, James M. Bieman