- Full text PDF available (5)
- This year (0)
- Last five years (4)
Motion estimation is known to be one of the most expensive tasks in video coding as it is usually performed through blind search-based methods. However, in the particular case of computer-generated video, the rendering stage provides useful information to speed up the process. In this paper, we propose a fast motion estimation algorithm, designed to run… (More)
In this article, we report from a 22-months long action research study in which we evaluate the usefulness of a set of software development tools in an industrial setting, a small software company. We focus on how developers in the industry use and adopt these tools, what expectations they have on them, how the tools can be improved, and how the adoption… (More)
Modern GPUs excel in parallel computations, so they are an interesting target to perform matrix transformations such as the DCT, a fundamental part of MPEG video coding algorithms. Considering a system to encode synthetic video (e.g., computer-generated frames), this approach becomes even more appealing, since the images to encode are already in the GPU,… (More)
As an example of the combination of Test Driven Development and Property Based Testing, this paper presents the implementation of a template library from scratch using the functional language Erlang for development and the tool QuickCheck for testing.
In recent years, the development and demand of multimedia product grows increasingly fast, contributing to insufficient bandwidth of network and storage of memory device. Therefore, the theory of data compression became more significant for reducing data redundancy to save more hardware space and transmission bandwidth. Cloud computing on the other hand;… (More)
— This work introduces an algorithm to multiplex stored MPEG-2 PES streams into one SPTS regardless of the PES streams type or bitrate. The algorithm is devised to comply with the MPEG2 standard STD. In order to support all available levels and profiles, the STD buffer lengths are parametrized and a maximum output bitrate can be established. To check the… (More)
In this paper we present a work in progress on the formal verification of a process supervisor using the McErlang model checker. The process supervisor is an alternative implementation of the standard supervisor behaviour of Erlang/OTP. This implementation, in use at the company LambdaStream, was checked against several safety and liveness properties.
We present a case-study in which a tool for model checking programs written in Erlang, McErlang, was used to verify a complex concurrent component. The component is an alternative implementation of the standard supervisor behaviour of Erlang/OTP. This implementation , in use at the company LambdaStream, was checked against several safety and liveness… (More)