Sciweavers

1685 search results - page 56 / 337
» Commonality and Variability in Software Engineering
Sort
View
ISPASS
2007
IEEE
15 years 9 months ago
Modeling and Characterizing Power Variability in Multicore Architectures
Parameter variation due to manufacturing error will be an unavoidable consequence of technology scaling in future generations. The impact of random variation in physical factors s...
Ke Meng, Frank Huebbers, Russ Joseph, Yehea I. Ism...
VMCAI
2007
Springer
15 years 9 months ago
Better Under-Approximation of Programs by Hiding Variables
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
Thomas Ball, Orna Kupferman
ICSE
2005
IEEE-ACM
16 years 3 months ago
Locating causes of program failures
Which is the defect that causes a software failure? By comparing the program states of a failing and a passing run, we can identify the state differences that cause the failure. H...
Holger Cleve, Andreas Zeller
MASCOTS
2003
15 years 4 months ago
Software Performance Modeling Using UML and Petri Nets
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
José Merseguer, Javier Campos
CIBSE
2009
ACM
15 years 7 months ago
Product Derivation in a Model-Driven Software Product Line using Decision Models
We present a mechanism to derivate products of Software Product Lines (SPLs) using decision models. Our approach to create SPLs is based on Model Driven Engineering principles. It ...
Hugo Arboleda, Andrés Romero, Rubby Casalla...