973 research outputs found
Systematic Testing of Hardware Compilers: Testing the DWARV C-to-VHDL Compiler
No full textDWARV is a C-to-VHDL compiler which can compile arbitrary C programs for a heterogeneous platform with minimal effort. Depending on the application this will imply faster execution. We give an overview of C-to-VHDL compilers. One important aspect of all software is its reliability, and we aim to assess DWARV’s reliability and the adequacy of its test suite. Based on the identified shortcomings of the test suite, we implement the test result framework Dummy. We explore some of the additional possibilities created by the usage of Dummy, and provide a plan to improve DWARV’s test suite. We conclude with an analysis of the results that show the advantages of the implemented test framework and proposed test plan.Microelectronics & Computer EngineeringElectrical Engineering, Mathematics and Computer Scienc
Compiler Assisted Runtime Adaptation
No full textIn this dissertation, we address the problem of runtime adaptation of the application to its execution environment. A typical example is changing theprocessing element on which a computation is executed, considering the available processing elements in the system. This is done based on the information and instrumentation provided by the compiler and taking into account the status of the environment. The work focuses on heterogeneous multicore embedded architectures. We address three aspects of application optimizations: hardware software mapping, memory allocation and parallel execution. For each aspect, an algorithm is developed and, using a suitable application, it is tested on the hardware platform. The programming paradigm on which this work is based is the Molen programming paradigm, extended and adapted for our specific platform and operating environment. The hardware software mapping algorithm objective is to choose at runtime, on which processing element it is more efficient to execute a function. For the memory allocation we propose an algorithm, that using compile-time gathered information and the current execution environment, decides on the best allocation for memory, at runtime. For dealing with parallel applications we developed an algorithm that selects the best trade-off between area and speedup and decides on the number of concurrent units that execute. The experiments were performed on an embedded multicore heterogeneous platform, namely the hArtes Hardware Platform (hHP). This platform contains an ARM processor as General Purpose Processor (GPP), an Atmel Magic Diopsis Digital Signal Processor (DSP) and a Xilinx Virtex4 Field Programmable Gate Array (FPGA). The applications used to validate the algorithms are real life applications from the multimedia field: a video encoder/decoder and a wavefield synthesis application. The mapping algorithms obtains improvements between 5% and 43%. We showed this is an adaptable algorithm, that will adapt the execution in case the execution overhead increases. The memory allocation algorithm obtained a speedup of 18% on the selected application. For this algorithm we show that the solution is within 14% of the optimal solution, computed using Integer Linear Programming (ILP). The scenario based selection of parallel computations, is between 21% to 92% better than existing solutions.Microelectronics & Computer EngineeringElectrical Engineering, Mathematics and Computer Scienc
M.S. Kutorga and V.M. Vedrov: Conflict of Teacher and Student
No full textВ статье рассматривается конфликт между М.С. Куторгой и его учеником В.М. Ведровым. Исследуются причины конфликта, а также то влияние, которое он оказал на дальнейшую научную карьеру ученика. This article discusses the conflict between M.S. Kutorga and his student V.M. Vedrov. The author investigates the causes of the conflict and its impact on academic career V.M. Vedrov
Dedicated to the 90th birth anniversary of academician V.M. Glushkov
No full text24 августа 2013 года исполнилось 90 лет со дня рождения Виктора Михайловича Глушкова — выдающегося ученого, автора фундаментальных работ в области кибернетики, вычислительной техники и прикладной математики. Академик В.М. Глушков прожил 58 лет, а 35 лет его творческого пути принесли мировой науке сотни основополагающих работ, способствующих формированию кибернетики как науки.On 24 August 2013 ninety years passed since Victor Glushkov’s birthday, who was an outstanding scientist, author of fundamental works in the field of cybernetics, computer engineering and applied mathematics. Academician V.M. Glushkov lived to be 58, and 35 years of his creative development brought hundreds of works which contributed to forming cybernetics as a science. V.M. Glushkov joined such important courses of scientific-technical progress as the cybernetics fundamentals development and practical methods of developing computer engineering forming. He was one of the founders of the interdepartmental collection of scientific papers “Cybernetics and Computer Engineering”. Thoughtful scientist and unsurpassed pedagogue V.M. Glushkov is a founder of a world-known school
Stylistic perspective as a scope of intellectual potential of scientific personality: V.M. Rusanivsky
No full textУ статті в аспекті стилістичної перспективи аналізується наукова творчість українського лінгвіста В.М. Русанівського. Тексти мовознавця розглядаються в контексті еволюційної епістеми. Увага зосереджується на лінгвістичних ідеях В.М. Русанівського щодо критеріїв розвитку літературної мови, її стильової репрезентації, знакових для літературної мови постатях. Формулюється теза про співмірність між стилістичним ресурсом літературної мови й інтелектуальною потужністю дослідника, який пізнає її функціональний потенціал.The author in terms of stylistic perspective analyzes the scientific activity of Ukrainian linguist V.M. Rusanivsky. The texts of famous linguist are considered in the context of evolutionary episteme. Attention is focused on linguistic ideas of V.M. Rusanivsky about development of literary language, its stylistic representation and personalities, precedent for Ukrainian literary language and culture
Great Ukrainian V.M. Glushkov and His Scientifical School
No full textРозкрито умови виникнення і роботи кібернетичної школи В.М.Глушкова, її специфічні особливості. показано концептуальні ідеї, основні напрямки досліджень, головні досягнення школи В.М.Глушкова. Характеризуються риси В.М.Глушкова як лідера наукової школи.Раскрыты условия возникновения и работы кибернетической школы В.М. Глушкова, ее специфические особенности. Показаны концептуальные идеи, основные направления исследований, главные достижения школы В.М. Глушкова. Характеризуются черты В.М. Глушкова как лидера научной школы.The author discloses the factors leading the Glushkov school to appear, ist works and specifics; shows its conceptual ideas, key research areas, basic achievements. V.M. Glushkov’s personal features are described as jnes of a founder of a academic school
Great Ukrainian V.M. Glushkov and His Scientifical School
No full textРозкрито умови виникнення і роботи кібернетичної школи В.М.Глушкова, її специфічні особливості. показано концептуальні ідеї, основні напрямки досліджень, головні досягнення школи В.М.Глушкова. Характеризуються риси В.М.Глушкова як лідера наукової школи.Раскрыты условия возникновения и работы кибернетической школы В.М. Глушкова, ее специфические особенности. Показаны концептуальные идеи, основные направления исследований, главные достижения школы В.М. Глушкова. Характеризуются черты В.М. Глушкова как лидера научной школы.The author discloses the factors leading the Glushkov school to appear, ist works and specifics; shows its conceptual ideas, key research areas, basic achievements. V.M. Glushkov’s personal features are described as jnes of a founder of a academic school
Scientific ideas of pedologist-geographer V.M. Fridland, their origins and development (to the 100th anniversary)
No full textV.M. Fridland (1919–1983) – distinguished Soviet pedologist-geographer and cartographer, graduated from Moscow State University, Doctor of geographical sciences, Professor, laureate of the Dokuchaev Prize of USSR Academy of Sciences. He developed the doctrine of the structure of soil cover. Editor-in-chief and author of Soil maps: RSFSR, scale 1 :2 500 000 (1988); Educational Soil Map of the World, scale 1 : 15 000 000 (1984). One of the first Russian soil researchers of humid and arid tropics and subtropics, author of the USSR soil classifications, and of a number of books on soils
Hardware acceleration of BWA-MEM genomic short read mapping for longer read lengths
No full textWe present our work on hardware accelerated genomics pipelines, using either FPGAs or GPUs to accelerate execution of BWA-MEM, a widely-used algorithm for genomic short read mapping. The mapping stage can take up to 40% of overall processing time for genomics pipelines. Our implementation offloads the Seed Extension function, one of the main BWA-MEM computational functions, onto an accelerator. Sequencers typically output reads with a length of 150 base pairs. However, read length is expected to increase in the near future. Here, we investigate the influence of read length on BWA-MEM performance using data sets with read length up to 400 base pairs, and introduce methods to ameliorate the impact of longer read length. For the industry-standard 150 base pair read length, our implementation achieves an up to two-fold increase in overall application-level performance for systems with at most twenty-two logical CPU cores. Longer read length requires commensurately bigger data structures, which directly impacts accelerator efficiency. The two-fold performance increase is sustained for read length of at most 250 base pairs. To improve performance, we perform a classification of the inefficiency of the underlying systolic array architecture. By eliminating idle regions as much as possible, efficiency is improved by up to +95%. Moreover, adaptive load balancing intelligently distributes work between host and accelerator to ensure use of an accelerator always results in performance improvement, which in GPU-constrained scenarios provides up to +45% more performance.Accepted author manuscriptComputer EngineeringFTQC/Bertels LabQuantum & Computer Engineerin
Review of a New Textbook On International Law Shumiliov V.M. "International Law": textbook.-Moscow: Pubbshing house "Welby", 2007,486 p.
No full textThe new textbook by Shumilov V.M. stands out among more than twenty other textbooks on international law. Apart from the distinction of the book in organization of its content it also dwells on international law issues and questions of international law science, which were omitted or unnoticed by the authors of the other textbooks.The following features of the book can be singled out. First, the author introduces the notion of "international system" which forms the framework of the textbook. Further the author separates the international system into several "layers": economic, cultural, etc. Second the author employs the concept of "civilization approach" which is nowadays actively used in liberal arts and social sciences. Third, the problem of the system of international law is elaborated upon. For example, the author advances the hypothesis that there are several branches and institutions of international law which are in the process of formation such as international administrative law. The book also includes such topics as state interests, ideological basis of the elaboration of international legal norms.The fact that deserves attention is that for the first time in the textbook of this kind a list of suggested topics for PhD theses is published. Another feature of the book is that the author tries to avoid difficult for comprehension constructions and instead uses clear and easy-to-understand phrases.The reviewer comes to a conclusion that after the publication of the new textbook by Shumilov V.M. the international law as a science and a classroom discipline will make a great step towards its further development
- …
