Sciweavers

7404 search results - page 291 / 1481
» Software performance antipatterns
Sort
View
ISESE
2005
IEEE
15 years 11 months ago
An empirical investigation on the visualization of temporal uncertainties in software engineering project planning
The success of software projects depends on the ability of a human planner to understand the relationships of tasks and their temporal uncertainty and hence the visualization ther...
Stefan Biffl, Bettina Thurnher, G. Goluch, Dietmar...
GECCO
2004
Springer
136views Optimization» more  GECCO 2004»
15 years 11 months ago
System Level Hardware-Software Design Exploration with XCS
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
Fabrizio Ferrandi, Pier Luca Lanzi, Donatella Sciu...
168
Voted
IFIP
2004
Springer
15 years 11 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham
ISSRE
2003
IEEE
15 years 11 months ago
Incremental Dynamic Impact Analysis for Evolving Software Systems
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
James Law, Gregg Rothermel
CC
2003
Springer
15 years 11 months ago
Early Control of Register Pressure for Software Pipelined Loops
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
Sid Ahmed Ali Touati, Christine Eisenbeis