48,344 research outputs found
Evaluating the Impact of Critical Factors in Agile Continuous Delivery Process: A System Dynamics Approach
Continuous Delivery is aimed at the frequent delivery of good quality software in a speedy, reliable and efficient fashion – with strong emphasis on automation and team collaboration. However, even with this new paradigm, repeatability of project outcome is still not guaranteed: project performance varies due to the various interacting and inter-related factors in the Continuous Delivery 'system'. This paper presents results from the investigation of various factors, in particular agile practices, on the quality of the developed software in the Continuous Delivery process. Results show that customer involvement and the cognitive ability of the QA have the most significant individual effects on the quality of software in continuous delivery
Software reliability and dependability: a roadmap
Shifting the focus from software reliability to user-centred measures of dependability in complete software-based systems. Influencing design practice to facilitate dependability assessment. Propagating awareness of dependability issues and the use of existing, useful methods. Injecting some rigour in the use of process-related evidence for dependability assessment. Better understanding issues of diversity and variation as drivers of dependability. Bev Littlewood is founder-Director of the Centre for Software Reliability, and Professor of Software Engineering at City University, London. Prof Littlewood has worked for many years on problems associated with the modelling and evaluation of the dependability of software-based systems; he has published many papers in international journals and conference proceedings and has edited several books. Much of this work has been carried out in collaborative projects, including the successful EC-funded projects SHIP, PDCS, PDCS2, DeVa. He has been employed as a consultant t
Survey on Combinatorial Register Allocation and Instruction Scheduling
Register allocation (mapping variables to processor registers or memory) and
instruction scheduling (reordering instructions to increase instruction-level
parallelism) are essential tasks for generating efficient assembly code in a
compiler. In the last three decades, combinatorial optimization has emerged as
an alternative to traditional, heuristic algorithms for these two tasks.
Combinatorial optimization approaches can deliver optimal solutions according
to a model, can precisely capture trade-offs between conflicting decisions, and
are more flexible at the expense of increased compilation time.
This paper provides an exhaustive literature review and a classification of
combinatorial optimization approaches to register allocation and instruction
scheduling, with a focus on the techniques that are most applied in this
context: integer programming, constraint programming, partitioned Boolean
quadratic programming, and enumeration. Researchers in compilers and
combinatorial optimization can benefit from identifying developments, trends,
and challenges in the area; compiler practitioners may discern opportunities
and grasp the potential benefit of applying combinatorial optimization
Scalable Coordinated Beamforming for Dense Wireless Cooperative Networks
To meet the ever growing demand for both high throughput and uniform coverage
in future wireless networks, dense network deployment will be ubiquitous, for
which co- operation among the access points is critical. Considering the
computational complexity of designing coordinated beamformers for dense
networks, low-complexity and suboptimal precoding strategies are often adopted.
However, it is not clear how much performance loss will be caused. To enable
optimal coordinated beamforming, in this paper, we propose a framework to
design a scalable beamforming algorithm based on the alternative direction
method of multipliers (ADMM) method. Specifically, we first propose to apply
the matrix stuffing technique to transform the original optimization problem to
an equivalent ADMM-compliant problem, which is much more efficient than the
widely-used modeling framework CVX. We will then propose to use the ADMM
algorithm, a.k.a. the operator splitting method, to solve the transformed
ADMM-compliant problem efficiently. In particular, the subproblems of the ADMM
algorithm at each iteration can be solved with closed-forms and in parallel.
Simulation results show that the proposed techniques can result in significant
computational efficiency compared to the state- of-the-art interior-point
solvers. Furthermore, the simulation results demonstrate that the optimal
coordinated beamforming can significantly improve the system performance
compared to sub-optimal zero forcing beamforming
- …