Systems supporting the manipulation of non-trivial program code are complex and are at best semi-automatic. However, formal methods, and in partieular theorem proving, are providing a growing foundation of techniques for automatie program development (synthesis, improvement, transformation and verification). In this paper we report on novel research concerning: (1) the exploitation of synthesis...

This paper presents a theoretical study comparing the improvement of the whole body maximum oxygen uptake (maximum aerobic power or VO2max) when training at different intensities and with different methods matched for total work performance and frequency of training. We compare VO2max improvement in five training methods, testing Helgerud et al.’s (2007) experimental study against Moxnes and Ha...

This. aport describes the case studies approach applied at a number of Siemens software development organizations to observe the impact of software process improvement methods. In addition, the report provides guidance to software development organizations that want to improve their processes. A set of organization performance measures are defined to help an organization observe its software pr...

With the upgrowing of digital processing of images and film archiving, the need for assisted or unsupervised restoration required the development of a series of methods and techniques. Among them, image inpainting is maybe the most impressive and useful. Based on partial derivative equations or texture synthesis, many other hybrid techniques have been proposed recently. The need for an analytic...

Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by program optimization. Potential benefits are significant since both energy dissipation and performance highly depend on the traffic between memory levels. But modeling the traffic is difficult; this observation has led...

A theoretical method is developed for improving certain calculations for eigenvector derivatives in linear systems. The subject algorithms are all forward analysis, i.e., the eigenvector changes are being driven by design parameter perturbations. The new method emphasizes proper mass normalization and is most needed when iteratively computing eigenvector perturbations within a reduced-dimension...

Most developers of interactive software and information systems want people to find their products effective, efficient and satisfying to use. People generally also want software to be easy to install, easy to learn (or to guess how to use), and usable with acceptable mental effort. Such usability issues are increasingly significant. They can be critical elements for the success of a product in...

This paper deals with Automatic Face Recognition (AFR), which means automatic identification of a person from a digital image. Our work focuses on an application for Czech News Agency that will facilitate to identify a person in a large database of photographs. The main goal of this paper is to propose some modifications and improvements of existing face recognition approaches and to evaluate t...

Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifetime of the software. We define a system as safe if the risks related to its use are judged to be acceptable [1]. Safety must not be confused with security which broadly is defined as keeping the system unavailable for...