Measuring the energy consumption of software components is a major building block for generating models that allow for energy-aware scheduling, accounting and budgeting. Current measurement techniques focus on coarse-grained measurements of application or system events. However, fine grain adjustments in particular in the operating-system kernel and in application-level servers require power profiles at the level of a single software function. Until recently, this appeared to be impossible due to the lacking fine grain resolution and high costs of measurement equipment. In this paper we report on our experience in using the Running Average Power Limit (RAPL) energy sensors available in recent Intel CPUs for measuring energy consumption of short code paths. We investigate the granularity at which RAPL measurements can be performed and discuss practical obstacles that occur when performing these measurements on complex modern CPUs. Furthermore, we demonstrate how to use the RAPL infrastructure to characterize the energy costs for decoding video slices.

The efficient and flexible management of large datasets is one of the core requirements of modern business applications. Having access to consistent and up-to-date information is the foundation for operational, tactical, and strategic decision making. Within the last few years, the database community sparked a large number of extremely innovative research projects to push the envelope in the context of modern database system architectures. In this paper, we outline requirements and influencing factors to identify some of the hot research topics in database management systems. We argue that—even after 30 years of active database research—the time is right to rethink some of the core architectural principles and come up with novel approaches to meet the requirements of the next decades in data management. The sheer number of diverse and novel (e.g., scientific) application areas, the existence of modern hardware capabilities, and the need of large data centers to become more energy-efficient will be the drivers for database research in the years to come.

Electronic systems of the future require a very high bandwidth communications infrastructure within the system. This way the massive amount of compute power which will be available can be inter-connected to realize future powerful advanced electronic systems. Today, electronic inter-connects between 3D chip-stacks, as well as intra-connects within 3D chip-stacks are approaching data rates of 100 Gbit/s soon. Hence, the question to be answered is how to efficiently design the communications infrastructure which will be within electronic systems. Within this paper approaches and results for building this infrastructure for future electronics are addressed.

Reliability of low-level operating-system (OS) code is an indispensable requirement. This includes functional properties from the safety-liveness spectrum, but also quantitative properties stating, e.g., that the average waiting time on locks is sufficiently small or that the energy requirement of a certain system call is below a given threshold with a high probability. This paper reports on our experiences made in a running project where the goal is to apply probabilistic model checking techniques and to align the results of the model checker with measurements to predict quantitative properties of low-level OS code.

Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore complex and thus less predictable hardware, quantitative and probabilistic guarantees become more and more important. Probabilistic model checking is one technique to automatically obtain these guarantees. First experiences with the automated quantitative analysis of low-level operating-system code confirm the expectation that the naive probabilistic model checking approach rapidly reaches its limits when increasing the numbers of processes. This paper reports on our work-in-progress to tackle the state explosion problem for low-level OS-code caused by the exponential blow-up of the model size when the number of processes grows. We studied the symmetry reduction approach and carried out our experiments with a simple test-and-test-and-set lock case study as a representative example for a wide range of protocols with natural inter-process dependencies and long-run properties. We quickly see a state-space explosion for scenarios where inter-process dependencies are insignificant. However, once inter-process dependencies dominate the picture models with hundred and more processes can be constructed and analysed.

The number of secure data streams a relay-assisted interference channel can support has been an intriguing problem. The problem is not solved even for a fundamental scenario with a single antenna at each transmitter, receiver and relay. In this paper, we study the achievable secure degrees of freedom of instantaneous relay-assisted interference channels with real and complex coefficients. The study of secure degrees of freedom with complex coefficients is not a trivial multiuser extension of the scenarios with real channel coefficients as in the case for the degrees of freedom, due to secrecy constraints. We tackle this challenge by jointly designing the improper transmit signals and widely-linear relay processing strategies.

In this paper, we analyze the four-node relay wiretap channel, where the relay performs amplify-and-forward. There is no direct link between transmitter and receiver available. The transmitter has multiple antennas, which assist in securing the transmission over both phases. In case of full channel state information (CSI), the transmitter can apply information leakage neutralization in order to prevent the eavesdropper from obtaining any information about the signal sent. This gets more challenging, if the transmitter has only an outdated estimate of the channel from the relay to the eavesdropper. For this case, we optimize the worst case secrecy rate by choosing intelligently the beamforming vectors and the power allocation at the transmitter and the relay.

L’analyse des systèmes naturels globaux est divisée selon les organismes régionaux, nationaux et internationaux. Leurs travaux sont encadrés par une gestion scientifique et juridique notamment par des directives tel que la DCE ou INSPIRE, basée sur la communication. La comparaison des données d’origines différentes et sans prise en compte des frontières n’est possible qu’à l’aide d’une harmonisation fondée sur les normes internationales. La carte est à ce titre un outil de transmission de l’information organisée à partir des bases de données.Cette thèse propose une analyse sémiologique de la représentation cartographique qui traite de la thématique de la gestion de l’eau dans un cadre européen. Il s’agit de comprendre et d’interpréter la mise en oeuvre des processus de communication basés sur les cartes ; la Hongrie et la France sont prises comme exemple.L’harmonisation est nécessaire mais en même temps très difficile à mettre en place au sein d’un monde où les disparités sont très grandes. Les compromis nécessaires à l'harmonisation et à l'uniformisation du langage cartographique impliquent des concessions de la part des acteurs mais aussi des producteurs de cartes.L’importance des innovations dans la visualisation cartographique aboutissant à une meilleure communication n’est pas encore reconnue à l’heure actuelle. Le public, quel qu’il soit, est souvent habitué à une représentation traditionnelle ; pourtant les effets que l’on peut ajouter à une carte, fruits de l’innovation technologique, ouvrent de nouveaux horizons pour la cartographie et peuvent servir de nouvelles bases au raisonnement dans la prise de décisions. / Water, which is one of our most important natural resources, stops at neither political nor artificial boundaries. This is why it is necessary to treat it globally instead of the present situation, where water is managed nationally and regionally. A possible solution for this is an international unified water management system, and effective information is a key requirement for this to happen. Maps contain visual information which is independent of language, and map visualization is an important tool of communication. Therefore I have been comparing two European Union countries (France and Hungary) to understand the processes of map communication in relation to EU regulations. The first objective of my research has been the examination of how far the harmonization of map communication has been achieved in the European directives, particularly concerning water-related directives. Secondly, to the extent that harmonization has not occurred, I have investigated into the reasons why this has happened and whether there are any solutions to this issue. Effectiveness of map-based communication is closely related to uniform data systematization. This is why I have endeavored to discover and develop a harmonizationhelping system for visualization. Finally, I have examined whether, in this legally-regulated research environment, there is the possibility of innovative rather than traditional map representations. As results I gave an overview of the European directives and projects, and I examined the relations between them. At the same time I determined the role of the cartographer concerning the directives. I created an examining system based on the rules of the French and Hungarian thematic cartography. I made certain that the directives are necessary but not sufficient conditions of harmonized map communication. The necessary condition of this is a uniform and harmonized system of thematic data. I verified that the maps created by existing processes do not meet the claims of the three different user circles aimed at by the WFD. I created my own communicative model for maps associated with water after studying Robinson-Petchenik-and Kolácný’s communicative models. I took into consideration every element of map-forming, which may have an influence on the decision made based on the map. I developed innovative prototypes for certain types of WFD maps to the general public and decision-makers. / Elsisorban szeretnék köszönetet mondani témavezetiimnek Philippe Quodverte-nek és José Jesús Reyes Nunez-nek, akik a doktori kezdetétil tanácsaikkal folyamatosan segítettek. Philippe Quodverte-nek külön szeretném megköszönni, hogy Erasmusos orléans-i tartózkodásom után három évvel újbóli támogatásáról biztosított és elvállalta a doktori témám vezetését, illetve azt a türelmet, amivel segített a francia doktori kutatásra vonatkozó eliírások és térképészeti hagyományok elsajátításában. Nagyon élveztem a vele való beszélgetéseket és térképészeti eszmecseréinket. Emellett köszönettel tartozom Zentai Lászlónak és Verebiné Fehér Katalinnak a nekem nyújtott segítségükért és hasznos tanácsaikért, illetve az ELTE Térképtudományi és Geoinformatikai Tanszék minden munkatársának volt tanáraimnak, akik támogatásával jutothattam el a doktoriig. Továbbá köszönöm Guillame Giroir-nak, a Földrajzi Doktori Iskola (CEDETE) vezetijének, hogy befogadott csapatába, és részese lehetek a CEDETE életének. Köszönet az Orléans-i Egyetemen kollégáimnak Anabelle Mas-nak, Stéphane Grivel-nek, Frank Guéritnek és Bertrand Sajaloli-nak, akik tanácsaikkal támogattak és segítették munkámat. Külön köszönet Matthieu Lee-nek, a CEDETE térképészének, aki észrevételeivel segítette a doktoriban bemutatott térképek elkészítését. Külön szeretném megköszönni mindazoknak, akik magyar és francia részril segítettek a Víz Keretirányelv és az INSPIRE végrehajtásának megismerésében, illetve az adatok elérésében, azaz név szerint François Robida (BRGM), Janik Michon (ONEMA), Jelinek Gabriella (Vidékfejlesztési Minisztérium), Tahy Ágnes (VKKI). Köszönettel tartozom Vikor Zsuzsának a dolgozat nyelvhelyességének ellenirzéséért. Köszönöm emellett családomnak, szüleimnek, nagyszüleimnek és testvéremnek, hogy bátorítottak és mellettem álltak. Nem utolsó sorban szeretném megköszönni doktorandusz társaimnak, Anh Tu-nak, Cristina-nak, Sylvain-nak, Eszternek, és barátaimnak, Virgine-nek Anabella-nak, Alexandranak, Chloë-nak és Dávidnak, hogy a nehéz pillanatokban segítettek és jó tanácsokkal láttak el. Külön köszönet Virginie Anne-nak a francia összefoglaló nyelvhelyességének ellenirzéséért és baráti támogatásáért.

No description available.

No description available.