|
|
Extensible disassembler with support for interactive instruction reordering
Dubský, Jan ; Bulej, Lubomír (advisor) ; Jermář, Jakub (referee)
Machine code disassembling is a process of transforming binary machine code into assembly code. The main purpose of this process is to help people to understand the purpose of the program without knowing its source code. Unfortunately, the machine code produced by compilers is quite hard to read due to numerous optimizations applied to it. One substantially problematic optimization is instruction scheduling which mangles instruction order to increase final performance. The goal of this thesis is to implement a disassembler capable of reordering individual instructions. This would allow the user to restructure the machine code into a more read- able form. To provide such functionality, the disassembler has to be able to understand the meaning of machine code instructions. For this reason, we will design a platform- independent internal representation of machine code and we will translate any machine code into it. This representation will be then used to analyze dependencies between in- structions which can be further used in instruction reordering algorithm. At the very end, we will discuss the possibility of platform-independent program emulation based on internal disassembler representation. 1
|
|
|
Porting SPARTAN kernel to SPARC V9 architecture
Jermář, Jakub ; Yaghob, Jakub (advisor) ; Patočka, Mikuláš (referee)
Overview of the HelenOS operating system (basic kernel functionality, memory management, userspace support). Overview of the 64-bit SPARC V9 architecture (registers, traps, memory management unit, ASI, interrupts). Description of implementation of the HelenOS operating system for the SPARC V9 architecture (system boot, work with OpenFirmware, TLB and trap table take-over, context switching and FPU context, management of register windows and the preemptible trap handler, time management, handling I/O devices, interrupts, address spaces and virtual address translation using the page hash table, TSB, solution to the illegal virtual aliasing problem, system call support, pseudo threads, application processor start-up, spinlock implementation). Overview and comparison of Solaris and Linux implementations.
|
|
|
Unusual experiments in education of optics at grammar school
Malý, Jakub ; Drozd, Zdeněk (advisor) ; Jermář, Jakub (referee)
Nazev prace: Netradicne pqjate pokusy z optiky na gymnaziu Autor: Jakub Maly Katedra: Katedra didaktiky fyziky Vedouci bakalafske prace: Doc. RNDr. /denek Drozd Ph.D. e-mail vedouci'ho: /dcnck.Dro/d^mlT.cuni.cx Ahstrakt: Protoze oplika byva fazcna az jako posledm blok vc vyuce fyziky, je casto z casovych duvodu ochuzena o mnohe zajimave pokusy. Ci'lem teto prace jc vymysleni a vyzkouscni pokusii, ktere by mohly vhodne doplnit a zpestfit vyuku optiky na gymnaziieh. Jsou zde zmfneny ctyfi. Sestrojeni dalckohlcdu, pokus s lotalnim odrazcm, Rayleighuv rozptyl a vytvafeni duhy. Kazda kapitola ma teoretickou cast a cast ve ktcre je popisovan poslup pfi provadeni pokusu. V kazde kapitolejsou lake zinineny proble'my, ktcre mohou nastat, vcetnc navrhu na jejich feseni. Klicova slova: pokusy, optika, dalekohled, duha Title: Unusual experiments in education of optics at grammar school Author: Jakub Maly Department: Supervisor: Doc. RNDr. /dcnek Drozd Ph.D. Supervisor's e-mail address: /denck.Dro/difV'mn'.cuni.cz Abstract: Optics is usuallysituated as a last part of education of physics. Because of time pressure optics is usually deprive of many interesting experiments. The object of this work is making up and practicingexperiments, which can complete and vary education of optics at grammar school. Here arc mention...
|
|
|
Unusual physical tables
Slavíková, Karolina ; Jermář, Jakub (advisor) ; Drozd, Zdeněk (referee)
Název práce: Netradiční fyzikální tabulky Autor: Karolina Slavíková Katedra: Katedra didaktiky fyziky Vedoucí diplomové práce: Mgr. Jakub Jermář, Katedra didaktiky fyziky Abstrakt: Hlavním výsledkem diplomové práce jsou elektronické fyzikální tabulky obsahující přes 300 položek objekt· a jejich vlastností - fyzikálních veličin. Tyto tabulky jsou součástí práce a jsou umístěny na jejím konci jako příloha. Práce se zabývá problematikou výběru vhodných objekt· z reálného života a použitím jejich typických vlastností pro tvorbu nových fyzikálních úloh. Její součástí je zmapování středoškolských učebnic, které tvořily podklad pro výběr objekt· a jejich vlastností, a dále tvorba elektronických fyzikálních tabulek a jejich využití ve výuce. Práce obsahuje čtyři vzorové příklady pro základní a střední školy a návod na použití elektronických tabulek. ást práce se zabývá názory na pro- blematiku hmotného bodu a metodami měření a odhadování fyzikálních veličin pomocí jednoduchých pom·cek. Klíčová slova: fyzikální veličiny, elektronické tabulky, tabelované hodnoty Title: Unusual physical tables Author: Karolina Slavíková Department: Department of Physics Education Supervisor: Mgr. Jakub Jermář, Department of Physics Education Abstract: The main outcomes of this thesis are electronic physical tables contai- ning over...
|
|
|
Physicist's guide to the city
Suchá, Katarína ; Jermář, Jakub (advisor) ; Kekule, Martina (referee)
Title: Physicist's Guide to the City Author: Bc. Katarína Suchá Department: Katedra didaktiky fyziky Supervisor: Mgr. Jakub Jermář Supervisor's e-mail address: jakub.jermar@mff.cuni.cz Abstract: This diploma thesis aims to create a guide to the interesting places in Prague which are related to the physics. The guide contains suggestions for tours containing description of each visited place, including address, GPS coordinates, map with marked route and photographs. For students were created worksheets. The next part of the thesis contains list of places suitable for physical excursions. The thesis can serve as a teaching aid for preparing school trips and excursions. All guides, student worksheets and descriptions of excursions were published on FyzWeb in the section Exkurze (http://fyzweb.cz/exkurze/). Keywords: excursion, physiscs, worksheets, school trip, Prague, FyzWeb
|
|
|
Unusual experiments in education of optics at grammar school
Malý, Jakub ; Drozd, Zdeněk (advisor) ; Jermář, Jakub (referee)
Nazev prace: Netradicne pqjate pokusy z optiky na gymnaziu Autor: Jakub Maly Katedra: Katedra didaktiky fyziky Vedouci bakalafske prace: Doc. RNDr. /denek Drozd Ph.D. e-mail vedouci'ho: /dcnck.Dro/d^mlT.cuni.cx Ahstrakt: Protoze oplika byva fazcna az jako posledm blok vc vyuce fyziky, je casto z casovych duvodu ochuzena o mnohe zajimave pokusy. Ci'lem teto prace jc vymysleni a vyzkouscni pokusii, ktere by mohly vhodne doplnit a zpestfit vyuku optiky na gymnaziieh. Jsou zde zmfneny ctyfi. Sestrojeni dalckohlcdu, pokus s lotalnim odrazcm, Rayleighuv rozptyl a vytvafeni duhy. Kazda kapitola ma teoretickou cast a cast ve ktcre je popisovan poslup pfi provadeni pokusu. V kazde kapitolejsou lake zinineny proble'my, ktcre mohou nastat, vcetnc navrhu na jejich feseni. Klicova slova: pokusy, optika, dalekohled, duha Title: Unusual experiments in education of optics at grammar school Author: Jakub Maly Department: Supervisor: Doc. RNDr. /dcnek Drozd Ph.D. Supervisor's e-mail address: /denck.Dro/difV'mn'.cuni.cz Abstract: Optics is usuallysituated as a last part of education of physics. Because of time pressure optics is usually deprive of many interesting experiments. The object of this work is making up and practicingexperiments, which can complete and vary education of optics at grammar school. Here arc mention...
|
|
|
Porting SPARTAN kernel to SPARC V9 architecture
Jermář, Jakub ; Patočka, Mikuláš (referee) ; Yaghob, Jakub (advisor)
Overview of the HelenOS operating system (basic kernel functionality, memory management, userspace support). Overview of the 64-bit SPARC V9 architecture (registers, traps, memory management unit, ASI, interrupts). Description of implementation of the HelenOS operating system for the SPARC V9 architecture (system boot, work with OpenFirmware, TLB and trap table take-over, context switching and FPU context, management of register windows and the preemptible trap handler, time management, handling I/O devices, interrupts, address spaces and virtual address translation using the page hash table, TSB, solution to the illegal virtual aliasing problem, system call support, pseudo threads, application processor start-up, spinlock implementation). Overview and comparison of Solaris and Linux implementations.
|
guest ::
