Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(LLVM). Showing records 1 – 30 of 114 total matches.

[1] [2] [3] [4]

Search Limiters

Last 2 Years | English Only

Levels

Languages

Country

▼ Search Limiters


University of Illinois – Chicago

1. Casula, Dario. Witnessing Control Flow Graph Optimizations.

Degree: 2016, University of Illinois – Chicago

 Proving the correctness of a program transformation, and specifically, of a compiler op- timization, is a long-standing research problem. Trusting the compiler requires to guarantee… (more)

Subjects/Keywords: llvm; witness; z3; CFG; compiler

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Casula, D. (2016). Witnessing Control Flow Graph Optimizations. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/20974

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Casula, Dario. “Witnessing Control Flow Graph Optimizations.” 2016. Thesis, University of Illinois – Chicago. Accessed April 17, 2021. http://hdl.handle.net/10027/20974.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Casula, Dario. “Witnessing Control Flow Graph Optimizations.” 2016. Web. 17 Apr 2021.

Vancouver:

Casula D. Witnessing Control Flow Graph Optimizations. [Internet] [Thesis]. University of Illinois – Chicago; 2016. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/10027/20974.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Casula D. Witnessing Control Flow Graph Optimizations. [Thesis]. University of Illinois – Chicago; 2016. Available from: http://hdl.handle.net/10027/20974

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Delaware

2. Chen, Yuanfang. Software simultaneous multithreading through compilation.

Degree: PhD, University of Delaware, Department of Electrical and Computer Engineering, 2018, University of Delaware

 With the Dennard Scaling law break for a long time, the computer architecture design progress towards the wider rather than deeper organization. There are three… (more)

Subjects/Keywords: Applied sciences; Compiler; LLVM; SMT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, Y. (2018). Software simultaneous multithreading through compilation. (Doctoral Dissertation). University of Delaware. Retrieved from http://udspace.udel.edu/handle/19716/23594

Chicago Manual of Style (16th Edition):

Chen, Yuanfang. “Software simultaneous multithreading through compilation.” 2018. Doctoral Dissertation, University of Delaware. Accessed April 17, 2021. http://udspace.udel.edu/handle/19716/23594.

MLA Handbook (7th Edition):

Chen, Yuanfang. “Software simultaneous multithreading through compilation.” 2018. Web. 17 Apr 2021.

Vancouver:

Chen Y. Software simultaneous multithreading through compilation. [Internet] [Doctoral dissertation]. University of Delaware; 2018. [cited 2021 Apr 17]. Available from: http://udspace.udel.edu/handle/19716/23594.

Council of Science Editors:

Chen Y. Software simultaneous multithreading through compilation. [Doctoral Dissertation]. University of Delaware; 2018. Available from: http://udspace.udel.edu/handle/19716/23594


Brno University of Technology

3. Patrik, Nikolas. Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs.

Degree: 2020, Brno University of Technology

 This thesis presents designing new forward slicing solution for the DiffKemp tool. After strenuous analysis of currently implemented solution in DiffKemp for forward slicing we… (more)

Subjects/Keywords: statická analýza; DiffKemp; dopredné orezávanie programov; llvm; llvm ir; clang; static analysis; DiffKemp; forward slicing; llvm; llvm ir; clang

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Patrik, N. (2020). Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/195001

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Patrik, Nikolas. “Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/195001.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Patrik, Nikolas. “Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs.” 2020. Web. 17 Apr 2021.

Vancouver:

Patrik N. Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/195001.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Patrik N. Automatické dopředné prořezávání programů: Automatic Forward Slicing of Programs. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/195001

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New South Wales

4. Ye, Ding. Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis.

Degree: Computer Science & Engineering, 2015, University of New South Wales

 Memory errors in C programs are the root causes of many defects and vulnerabilitiesin software engineering. Among the available error detection techniques,dynamic analysis is widely… (more)

Subjects/Keywords: C programs; LLVM Compiler architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ye, D. (2015). Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/54507 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:35127/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Ye, Ding. “Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis.” 2015. Doctoral Dissertation, University of New South Wales. Accessed April 17, 2021. http://handle.unsw.edu.au/1959.4/54507 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:35127/SOURCE02?view=true.

MLA Handbook (7th Edition):

Ye, Ding. “Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis.” 2015. Web. 17 Apr 2021.

Vancouver:

Ye D. Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis. [Internet] [Doctoral dissertation]. University of New South Wales; 2015. [cited 2021 Apr 17]. Available from: http://handle.unsw.edu.au/1959.4/54507 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:35127/SOURCE02?view=true.

Council of Science Editors:

Ye D. Accelerating Dynamic Detection of Memory Errors for C Programs via Static Analysis. [Doctoral Dissertation]. University of New South Wales; 2015. Available from: http://handle.unsw.edu.au/1959.4/54507 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:35127/SOURCE02?view=true


Brno University of Technology

5. Nosterský, Milan. Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices.

Degree: 2019, Brno University of Technology

 This master's thesis deals with the integrations of C++ programming language and its standard C++11 into the compiler for embedded systems. This compiler is based… (more)

Subjects/Keywords: C++; LLVM; Výjimky; Codasip; CodAL; C++; LLVM; Exceptions; Codasip; CodAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nosterský, M. (2019). Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180359

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nosterský, Milan. “Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/180359.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nosterský, Milan. “Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices.” 2019. Web. 17 Apr 2021.

Vancouver:

Nosterský M. Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/180359.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nosterský M. Překlad C++ aplikací pro vestavěná zařízení: Compilation of C++ Applications for Embedded Devices. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180359

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

6. Šnobl, Pavel. Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems.

Degree: 2019, Brno University of Technology

 This master's thesis deals with the support for compilation and execution of programs written using OpenCL framework on embedded systems. OpenCL is a system for… (more)

Subjects/Keywords: OpenCL; LLVM; Codasip; SIMD; VLIW; OpenCL; LLVM; Codasip; SIMD; VLIW

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Šnobl, P. (2019). Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/61853

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Šnobl, Pavel. “Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/61853.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Šnobl, Pavel. “Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems.” 2019. Web. 17 Apr 2021.

Vancouver:

Šnobl P. Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/61853.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Šnobl P. Překlad OpenCL aplikací pro vestavěné systémy: Compilation of OpenCL Applications for Embedded Systems. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/61853

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

7. Šnobl, Pavel. Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler.

Degree: 2019, Brno University of Technology

 This bachelor thesis deals with support of automatic vectorization of code in the LLVM compilation framework and with extension of Codix processor model of SIMD… (more)

Subjects/Keywords: SIMD; LLVM; Codix; CodAL; autovektorizace; SIMD; LLVM; Codix; CodAL; Auto-Vectorization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Šnobl, P. (2019). Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56572

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Šnobl, Pavel. “Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/56572.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Šnobl, Pavel. “Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler.” 2019. Web. 17 Apr 2021.

Vancouver:

Šnobl P. Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/56572.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Šnobl P. Podpora SIMD instrukcí v překladači LLVM: SIMD Instructions Support in LLVM Compiler. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56572

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

8. Ševčík, Václav. Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation.

Degree: 2020, Brno University of Technology

 The focus of this master's thesis is on the topic of instrumentation during the compilation process in the LLVM compiler. The tool enables to instrument… (more)

Subjects/Keywords: LLVM; LLVM IR; instrumentace během překladu; Testos; LLVM průchod; instrumentační knihovna; instrumentační framework; instrumentace funkce; instrumentace přístupu do paměti; modul LLVM; vícevláknovost; nepřímá adresace; LLVM; LLVM IR; source code instrumentation; Testos; LLVM pass; instrumentation library; instrumentation framework; instrumentation function; instrumentation memory access; LLVM modul; multithreading; indirect addressing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ševčík, V. (2020). Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/192441

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ševčík, Václav. “Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/192441.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ševčík, Václav. “Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation.” 2020. Web. 17 Apr 2021.

Vancouver:

Ševčík V. Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/192441.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ševčík V. Rozvoj instrumentace programu při překladu: Development of Instrumentation during Compilation. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/192441

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Sydney

9. Subotic, Pavle. Applying Elimination-Based Algorithms to Abstract Interpretation .

Degree: 2014, University of Sydney

 Unbounded abstract domains are used in static program analysis frameworks for representing ranges of variables, and their applications include elimination of assertions in programs, automatically… (more)

Subjects/Keywords: Static Analysis; Abstract Interpretation; Formal Verification; LLVM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Subotic, P. (2014). Applying Elimination-Based Algorithms to Abstract Interpretation . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/12052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Thesis, University of Sydney. Accessed April 17, 2021. http://hdl.handle.net/2123/12052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Web. 17 Apr 2021.

Vancouver:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Internet] [Thesis]. University of Sydney; 2014. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/2123/12052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Thesis]. University of Sydney; 2014. Available from: http://hdl.handle.net/2123/12052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

10. Veškrna, Martin. Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform.

Degree: 2018, Brno University of Technology

This Bachelor thesis describes changes on compilation platform LLVM/Clang for support variable bit width of integer data types. Advisors/Committee Members: Hruška, Tomáš (advisor), Trmač, Miloslav (referee).

Subjects/Keywords: bitová šířka; integer; LLVM; Clang; C; bit width; integer; LLVM; Clang; C

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Veškrna, M. (2018). Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/55940

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Veškrna, Martin. “Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform.” 2018. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/55940.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Veškrna, Martin. “Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform.” 2018. Web. 17 Apr 2021.

Vancouver:

Veškrna M. Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/55940.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Veškrna M. Libovolná bitová šířka datového typu integer v platformě LLVM: Variable Bit Width of the Integer in LLVM Platform. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/55940

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

11. Kollát, Samuel. Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level.

Degree: 2019, Brno University of Technology

 This work contains definition of obfuscation and methods of obfuscation. It is followed by description of LLVM Project and its suitability for obfuscation on the… (more)

Subjects/Keywords: Obfuskace; deobfuskace; překladač; LLVM; reverzní inženýrství; Obfuscation; deobfuscation; compiler; LLVM; reverse engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kollát, S. (2019). Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54840

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kollát, Samuel. “Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/54840.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kollát, Samuel. “Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level.” 2019. Web. 17 Apr 2021.

Vancouver:

Kollát S. Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/54840.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kollát S. Generická obfuskace na úrovni bajtkódu: Generic Obfuscation on the Bytecode Level. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/54840

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

12. Šoková, Veronika. Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure.

Degree: 2019, Brno University of Technology

 This Bachelor's thesis deals with the development of an LLVM adapter for the Code Listener Infrastructure, which simplifies the creation of static analyzers such as… (more)

Subjects/Keywords: LLVM; infrastruktura Code Listener; plugin; statická analýza; LLVM; Code Listener Infrastructure; plug-in; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Šoková, V. (2019). Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56576

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Šoková, Veronika. “Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/56576.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Šoková, Veronika. “Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure.” 2019. Web. 17 Apr 2021.

Vancouver:

Šoková V. Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/56576.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Šoková V. Vývoj LLVM adaptéru pro infrastrukturu Code Listener: Development of an LLVM Adapter for the Code Listener Infrastructure. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56576

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

13. Bobek, Jiří. Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches.

Degree: 2019, Brno University of Technology

 Instruction cache performance is very important for the overall performance of a computer. The placement of code blocks in memory can significantly affect the cache… (more)

Subjects/Keywords: instrukční cache; optimalizace; LLVM; rozmístění bloků; instruction cache; optimization; LLVM; block placement

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bobek, J. (2019). Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/64083

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bobek, Jiří. “Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/64083.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bobek, Jiří. “Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches.” 2019. Web. 17 Apr 2021.

Vancouver:

Bobek J. Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/64083.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bobek J. Profilem řízené optimalizace pro instrukční vyrovnávací paměti: Profile-Guided Optimizations for Instruction Caches. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/64083

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

14. Macko, Lukáš. Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation.

Degree: 2019, Brno University of Technology

 The thesis deals with reverse techniques in software engineering. It presents practical application of software reverse engineering, used tools and approaches. The topic of instruction… (more)

Subjects/Keywords: zpětný překladač; dekódovaní instrukcí; LLVM IR; hybridní analýza; decompiler; instruction decoding; LLVM IR; hybrid analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Macko, L. (2019). Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/64084

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Macko, Lukáš. “Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/64084.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Macko, Lukáš. “Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation.” 2019. Web. 17 Apr 2021.

Vancouver:

Macko L. Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/64084.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Macko L. Dekódování binárního kódu do vyšší formy reprezentace: Binary-Code Decoding to a High-Level Representation. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/64084

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Urbana-Champaign

15. Dietz, William Barrett. Aligning intent and behavior in software systems: how programs communicate & their distribution and organization.

Degree: PhD, Computer Science, 2020, University of Illinois – Urbana-Champaign

 Managing the overwhelming complexity of software is a fundamental challenge because complexity is the root cause of problems regarding software performance, size, and security. Complexity… (more)

Subjects/Keywords: Compilers; Link-Time Optimization; Slipstream; Software Multiplexing; ALLVM; LLVM; LLVM IR; Nix

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dietz, W. B. (2020). Aligning intent and behavior in software systems: how programs communicate & their distribution and organization. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/107994

Chicago Manual of Style (16th Edition):

Dietz, William Barrett. “Aligning intent and behavior in software systems: how programs communicate & their distribution and organization.” 2020. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed April 17, 2021. http://hdl.handle.net/2142/107994.

MLA Handbook (7th Edition):

Dietz, William Barrett. “Aligning intent and behavior in software systems: how programs communicate & their distribution and organization.” 2020. Web. 17 Apr 2021.

Vancouver:

Dietz WB. Aligning intent and behavior in software systems: how programs communicate & their distribution and organization. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/2142/107994.

Council of Science Editors:

Dietz WB. Aligning intent and behavior in software systems: how programs communicate & their distribution and organization. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2020. Available from: http://hdl.handle.net/2142/107994

16. Li, Hanbing. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.

Degree: Docteur es, Informatique, 2015, Rennes 1

Les systèmes temps-réel devenaient omniprésents, et jouent un rôle important dans notre vie quotidienne. Pour les systèmes temps-réel dur, calculer des résultats corrects n’est pas… (more)

Subjects/Keywords: Temps réel; Analyse Pire Cas; Compilation; Optimisation pour Performance; Llvm; Real-Time; Wcet; Compilation; Performance Optimization; Llvm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, H. (2015). Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. (Doctoral Dissertation). Rennes 1. Retrieved from http://www.theses.fr/2015REN1S040

Chicago Manual of Style (16th Edition):

Li, Hanbing. “Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.” 2015. Doctoral Dissertation, Rennes 1. Accessed April 17, 2021. http://www.theses.fr/2015REN1S040.

MLA Handbook (7th Edition):

Li, Hanbing. “Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET.” 2015. Web. 17 Apr 2021.

Vancouver:

Li H. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. [Internet] [Doctoral dissertation]. Rennes 1; 2015. [cited 2021 Apr 17]. Available from: http://www.theses.fr/2015REN1S040.

Council of Science Editors:

Li H. Extraction and traceability of annotations for WCET estimation : Extraction et traçabilité d’annotations pour l’estimation de WCET. [Doctoral Dissertation]. Rennes 1; 2015. Available from: http://www.theses.fr/2015REN1S040


Brno University of Technology

17. Pončák, Matej. Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler.

Degree: 2020, Brno University of Technology

 In order to program a target architecture in one of the high-level programming languages, the compiler must support that architecture. The thesis describes the structure… (more)

Subjects/Keywords: jazyk C; prekladač; clang; llvm; sdcc; backend; hcs08; C language; compiler retargetting; clang; llvm; sdcc; backend; hcs08

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pončák, M. (2020). Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/194889

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pončák, Matej. “Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/194889.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pončák, Matej. “Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler.” 2020. Web. 17 Apr 2021.

Vancouver:

Pončák M. Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/194889.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pončák M. Rozšíření překladače jazyka C o podporu dalších embedded mikroprocesorů: Retargeting of the C language compiler. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/194889

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

18. Kašťák, Matej. Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler.

Degree: 2019, Brno University of Technology

 The goal of this thesis is to propose and implement a decompiler for the AArch64 architecture. The thesis firstly introduces the concept of reverse engineering,… (more)

Subjects/Keywords: ARM64; AArch64; ARMv8; reverzné inžinierstvo; spätný preklad; LLVM; Capstone; RetDec; ARM64; AArch64; ARMv8; reverse engineering; decompilation; LLVM; Capstone; RetDec

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kašťák, M. (2019). Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180277

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kašťák, Matej. “Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/180277.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kašťák, Matej. “Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler.” 2019. Web. 17 Apr 2021.

Vancouver:

Kašťák M. Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/180277.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kašťák M. Zpětný překlad aplikací pro architekturu AArch64 v nástroji RetDec: Decompilation of AArch64 Binaries in RetDec Decompiler. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180277

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

19. Sušovský, Tomáš. Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace.

Degree: 2019, Brno University of Technology

 This thesis focuses on design and implementation of a tool for automated generation of test inputs for a specified program trace. The aim of the… (more)

Subjects/Keywords: Testování sfotwaru; LLVM; SMT-LIB; Generování testových vstupů; Software testing; LLVM; SMT-LIB; Test inputs generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sušovský, T. (2019). Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180432

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sušovský, Tomáš. “Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/180432.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sušovský, Tomáš. “Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace.” 2019. Web. 17 Apr 2021.

Vancouver:

Sušovský T. Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/180432.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sušovský T. Generování testovacích vstupů podle stopy programu: Generating Test Inputs Based on Program Trace. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180432

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

20. Mináč, Tomáš. Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures.

Degree: 2020, Brno University of Technology

 This work discusses about CodAl language and Codasip framework. It describes LLVM compiling platform, LLVM IR and its possible optimizations. The result of this work… (more)

Subjects/Keywords: Plánování; překladač; VLIW architektura; základní blok; globální plánovaní; LLVM; Codasip; Scheduling; compiler; VLIW architecture; Basic Blok; Global Scheduling; LLVM; Codasip

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mináč, T. (2020). Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/189609

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mináč, Tomáš. “Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/189609.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mináč, Tomáš. “Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures.” 2020. Web. 17 Apr 2021.

Vancouver:

Mináč T. Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/189609.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mináč T. Kompilátor jazyka C pro VLIW architektury: C Compiler for VLIW Architectures. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/189609

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

21. Mikó, Albert. Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions.

Degree: 2020, Brno University of Technology

 The design of instruction sets for application specific processors is a difficult task. This thesis describes the tasks of selection, marking and creation of instruction… (more)

Subjects/Keywords: ISE; rozšíření instrukční sady; specializované instrukce; LLVM IR; ISE; instruction set extension; specialized instructions; LLVM IR

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mikó, A. (2020). Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/189731

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mikó, Albert. “Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/189731.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mikó, Albert. “Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions.” 2020. Web. 17 Apr 2021.

Vancouver:

Mikó A. Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/189731.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mikó A. Semiautomatická optimalizace pomocí specializovaných instrukcí: Semi-Automatic Optimization Using Specialized Instructions. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/189731

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

22. Porwolik, Tomáš. Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End.

Degree: 2020, Brno University of Technology

 This thesis deals with a decompilation tool which converts low-level binary code to a high-level representation. This tool is being developed by AVG Technologies. The… (more)

Subjects/Keywords: zpětné inženýrství; zpětný překlad; strukturování kódu; LLVM; AVG; BIR; goto; reverse engineering; decompilation; code structuring; LLVM; AVG; BIR; goto

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Porwolik, T. (2020). Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/190165

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Porwolik, Tomáš. “Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End.” 2020. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/190165.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Porwolik, Tomáš. “Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End.” 2020. Web. 17 Apr 2021.

Vancouver:

Porwolik T. Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/190165.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Porwolik T. Strukturování kódu v zadní části zpětného překladače: Code Structuring in Decompiler Back-End. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/190165

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

23. Melo, Stanislav. Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions.

Degree: 2018, Brno University of Technology

 One of the important feature of application specific processors is performance. To maximize it, the processor must adapt to needs of application that it is… (more)

Subjects/Keywords: instrukční rozšíření; algoritmus single-cut; LLVM IR; základní blok; instruction-set extension; single-cut algorithm; LLVM IR; basic block

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Melo, S. (2018). Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/55047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Melo, Stanislav. “Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions.” 2018. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/55047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Melo, Stanislav. “Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions.” 2018. Web. 17 Apr 2021.

Vancouver:

Melo S. Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/55047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Melo S. Zrychlení vykonávání softwaru pomocí automatických instrukčních rozšíření: Software Execution Acceleration Using Automatic Instruction Set Extensions. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/55047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

24. Češka, Martin. Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors.

Degree: 2018, Brno University of Technology

 This thesis deals with the process of automatic searching of instruction-set extensions for application-specific instruction-set processors. This process uses slightly edited ISEGEN algorithm. At first,… (more)

Subjects/Keywords: ISE; rozšíření instrukční sady; ISEGEN; profilování; LLVM IR; ISE; instruction set extension; ISEGEN; profiling; LLVM IR

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Češka, M. (2018). Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54833

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Češka, Martin. “Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors.” 2018. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/54833.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Češka, Martin. “Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors.” 2018. Web. 17 Apr 2021.

Vancouver:

Češka M. Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/54833.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Češka M. Automatické vyhledávání instrukčních rozšíření aplikačních procesorů: Automatic Searching of Instruction Extensions for Application Processors. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/54833

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

25. Sečkařová, Petra. Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode.

Degree: 2019, Brno University of Technology

 The most of the analyses evaluating the quality of code are derived from Control Flow Graphs  – CFG. Model-based testing as one of them uses… (more)

Subjects/Keywords: bajtkód jazyka Java; graf toku řízení; analýza; LLVM IR; Java bytecode; control flow graph; analysis; LLVM IR

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sečkařová, P. (2019). Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sečkařová, Petra. “Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/69661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sečkařová, Petra. “Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode.” 2019. Web. 17 Apr 2021.

Vancouver:

Sečkařová P. Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/69661.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sečkařová P. Extrakce grafu toku řízení z bajtkódu Java: Extraction of Control Flow Graph from Java Bytecode. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/69661

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

26. Melo, Stanislav. Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler.

Degree: 2019, Brno University of Technology

 One of the important feature of application specific processors is performance. To maximize it, the compiler must adapt to needs of processor that it is… (more)

Subjects/Keywords: peephole optimalizace; instrukce s více výsledky; LLVM; generování kódu; peephole optimizations; multile output instructions; LLVM; code generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Melo, S. (2019). Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/61941

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Melo, Stanislav. “Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/61941.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Melo, Stanislav. “Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler.” 2019. Web. 17 Apr 2021.

Vancouver:

Melo S. Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/61941.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Melo S. Generované peephole optimalizace v překladači LLVM: Generated Peephole Optimizations in LLVM Compiler. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/61941

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

27. Nagy, Michal. Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor.

Degree: 2019, Brno University of Technology

 This bachelor's thesis deals with creation of an AVR32 backend for the LLVM compiler framework. The core of this work consists of explaining the way… (more)

Subjects/Keywords: AVR32; popis architektury; backend; překladač; GCC; LLVM; mikroprocesorová architektura; AVR32; architecture description; backend; compiler; GCC; LLVM; microprocessor architecture

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nagy, M. (2019). Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56018

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nagy, Michal. “Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/56018.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nagy, Michal. “Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor.” 2019. Web. 17 Apr 2021.

Vancouver:

Nagy M. Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/56018.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nagy M. Překladač jazyka C pro mikroprocesor AVR32: C Compiler for AVR32 Microprocesor. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56018

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

28. Nagy, Michal. Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation.

Degree: 2018, Brno University of Technology

 This thesis concerns the issue of completness detection of instruction set description for the LLVM compiler, or the ability of a compiler to generate target… (more)

Subjects/Keywords: LLVM; TableGen; kompletnost; stromová gramatika; legalizace; výběr instrukcí; dynamické kontroly; LLVM; TableGen; completeness; tree grammar; legalization; instruction selection; dynamic checks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nagy, M. (2018). Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/52712

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nagy, Michal. “Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation.” 2018. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/52712.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nagy, Michal. “Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation.” 2018. Web. 17 Apr 2021.

Vancouver:

Nagy M. Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/52712.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nagy M. Detekce kompletnosti instrukční sady pro generování univerzálního překladače jazyka C: Instruction Set Completness Detection for Retargetable C Compiler Generation. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/52712

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

29. Mikó, Albert. Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions.

Degree: 2019, Brno University of Technology

 The design of specialized instructions for application specific processors is a challenging task. This thesis describes the issues of effective specification and use of specialized… (more)

Subjects/Keywords: specializovaná instrukce; ASIP; LLVM; aplikačně specifický procesor; CodAL; specialized instruction; ASIP; LLVM; application specific processor; CodAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mikó, A. (2019). Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/61936

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mikó, Albert. “Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/61936.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mikó, Albert. “Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions.” 2019. Web. 17 Apr 2021.

Vancouver:

Mikó A. Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/61936.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mikó A. Akcelerace aplikací pomocí specializovaných instrukcí: Acceleration of Applications Using Specialized Instructions. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/61936

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

30. Baručák, Robert. Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures.

Degree: 2019, Brno University of Technology

 Presented is implementation of algorithm for alias analysis, which was integrated into LLVM framework. Properties and limitations of various alias analysis algorithms are discussed. Demonstrated… (more)

Subjects/Keywords: LLVM; překladač; VLIW; optimalizace; alias analýza; if-konverze; predikáty; Codasip; LLVM; compiler; VLIW; optimization; alias analysis; if-conversion; predicates; Codasip

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Baručák, R. (2019). Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53380

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Baručák, Robert. “Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures.” 2019. Thesis, Brno University of Technology. Accessed April 17, 2021. http://hdl.handle.net/11012/53380.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Baručák, Robert. “Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures.” 2019. Web. 17 Apr 2021.

Vancouver:

Baručák R. Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Apr 17]. Available from: http://hdl.handle.net/11012/53380.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Baručák R. Optimalizace v překladači C pro VLIW architektury: Optimizations in C Compiler for VLIW Architectures. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/53380

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4]

.