Relevant bibliographies by topics / Code of Execution of Sentences / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Code of Execution of Sentences.

Dissertations / Theses on the topic 'Code of Execution of Sentences'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Code of Execution of Sentences.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Rönn, Mattias. "Symvex : A Symbolic Execution System for Machine Code." Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-124181.

Full text
Abstract:
This thesis is a part of an ongoing research project at Link ̈oping University. The goal of the thesis work is to design and implement a prototype for a symbolic execution system that scales well with larger programs and is capable of performing symbolic execution on machine code. For this reason we have analyzed the current state of symbolic executors that are able to perform symbolic execution on machine code to see if we could use that implementation as base for our prototype. We wanted to know if any of the existing systems scaled well with large software. We found that neither of the exis
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Yi. "Visualizing the execution of object-oriented code mobility applications." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0019/MQ57744.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Liew, Daniel Simon. "Symbolic execution of verification languages and floating-point code." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/59705.

Full text
Abstract:
The focus of this thesis is a program analysis technique named symbolic execution. We present three main contributions to this field. First, an investigation into comparing several state-of-the-art program analysis tools at the level of an intermediate verification language over a large set of benchmarks, and improvements to the state-of-the-art of symbolic execution for this language. This is explored via a new tool, Symbooglix, that operates on the Boogie intermediate verification language. Second, an investigation into performing symbolic execution of floating-point programs via a standardi
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Yi Carleton University Dissertation Engineering Systems and Computer. "Visualizing the execution of object-oriented code mobility applications." Ottawa, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Piano, Matteo. "Multi-Architecture Binary Rewriter to Prevent ROP Arbitrary Code Execution." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-220524.

Full text
Abstract:
Despite the increasing attention to the topic of computer security, the amount of vulnerable software services is still high. The exploitation of a common vulnerability like memory management bugs brought to the development of an attack known as Return Oriented Programming (ROP). Such technique employs malicious memory injections to hijack the control flow of the targeted application and execute an arbitrary series of instructions. This thesis explores the design and implementation of a static binary rewriting tool able to instrument applications compiled for the Linux operating system in orde
APA, Harvard, Vancouver, ISO, and other styles
6

Bell, Karl. "Automated Student Code Assessment with Symbolic Execution and Java PathFinder." DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/891.

Full text
Abstract:
The assessment of student code is a necessary part of most programming courses. However, many ways of assessing the correctness of student code can be very time-consuming and may be error-prone. This paper presents JSymTester, a tool which uses the symbolic execution framework of the Java PathFinder to find test inputs for student code and uses these inputs to extensively compare its functionality to a reference implementation. This allows for automatic testing of student code, relying only on the reference implementation and the student's own implementation, eliminating the need to manually w
APA, Harvard, Vancouver, ISO, and other styles
7

Heinig, Andreas. "Execution of SPE code in an Opteron-Cell/B.E. hybrid system." Master's thesis, Universitätsbibliothek Chemnitz, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200800863.

Full text
Abstract:
It is a great research interest to integrate the Cell/B.E. processor into an AMD Opteron system. The result is a system benefiting from the advantages of both processors: the high computational power of the Cell/B.E. and the high I/O throughput of the Opteron. The task of this diploma thesis is to accomplish, that Cell-SPU code initially residing on the Opteron could be executed on the Cell under the GNU/Linux operating system. However, the SPUFS (Synergistic Processing Unit File System), provided from STI (Sony, Toshiba, IBM), does exactly the same thing on the Cell. The Cell is a combinati
APA, Harvard, Vancouver, ISO, and other styles
8

Heinig, Andreas Mehlan Torsten. "Execution of SPE code in an Opteron-Cell/B.E. hybrid system." [S.l. : s.n.], 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

ROGLIA, G. FRESI. "THREATS ON REAL, EMULATED AND VIRTUALIZED INTEL X86 MACHINE CODE EXECUTION." Doctoral thesis, Università degli Studi di Milano, 2011. http://hdl.handle.net/2434/155476.

Full text
Abstract:
Cybercriminals have all the interest in not being detected while perpetrating their intentions. Impeding such threats to spread has become of valuable importance. This goal can be achieved working on the threat vectors cybercriminals use or directly on the threat once identified. Among threat vectors we can cite application software vulnerabilities which can be abused by malware and malicious users to gain access to systems and confidential data. To be able to impede exploitation of such vulnerabilities, security specialists need to be aware of attack techniques used by malware and malicious
APA, Harvard, Vancouver, ISO, and other styles
10

Mamon, Andrei. "Graphical visualization of softwarepipelined code execution on pipelined andclustered VLIW DSP processors." Thesis, Linköping University, PELAB - Programming Environment Laboratory, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57642.

Full text
Abstract:
<p>This report follows the development, testing and evaluation of a retargetable compilervisualization framework Optvis which can be used to visualize compiler generated code fordifferent VLIW architectures. Optvis is implemented in C++ programming language andfunctions as both standalone application and as plug-in for the retargetable compilerframework OPTIMIST.The purpose of this thesis work is to present the Optvis framework, to give a detailed viewover its internal structure and interaction with an end user. Additionally Optvis-OPTIMISTintegration is discussed. Testing and evaluation round
APA, Harvard, Vancouver, ISO, and other styles
11

Parno, Bryan. "Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers." Research Showcase @ CMU, 2010. http://repository.cmu.edu/dissertations/28.

Full text
Abstract:
As society rushes to digitize sensitive information and services, it is imperative to adopt adequate security protections. However, such protections fundamentally conflžict with the benefits we expect from commodity computers. In other words, consumers and businessesvalue commodity computers because they provide good performance and an abundance offeatures at relatively low costs. Meanwhile, attempts to build secure systems from the groundup typically abandon such goals, and hence are seldom adopted . In this dissertation, I argue that we can resolve the tension between security and featuresby
APA, Harvard, Vancouver, ISO, and other styles
12

Li, Pei. "Unified system of code transformation and execution for heterogeneous multi-core architectures." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0441/document.

Full text
Abstract:
Architectures hétérogènes sont largement utilisées dans le domaine de calcul haute performance. Cependant, le développement d'applications sur des architectures hétérogènes est indéniablement fastidieuse et sujette à erreur pour un programmeur même expérimenté. Pour passer une application aux architectures multi-cœurs hétérogènes, les développeurs doivent décomposer les données de l'entrée, gérer les échanges de valeur intermédiaire au moment d’exécution et garantir l'équilibre de charge de système. L'objectif de cette thèse est de proposer une solution de programmation parallèle pour les prog
APA, Harvard, Vancouver, ISO, and other styles
13

Vodounon-Djegni, Comlan René. "L’exécution des sentences arbitrales contre les personnes publiques de l’OHADA." Thesis, Université Côte d'Azur, 2022. http://www.theses.fr/2022COAZ0008.

Full text
Abstract:
La thèse porte sur « L’exécution des sentences arbitrales contre les personnes publiques de l’OHADA ». Elle a pour but de démontrer comment mettre en œuvre ces sentences sans se heurter à l’immunité d’exécution des personnes qui en bénéficient. En effet, en l’absence d’une exception arbitrale, l’interdiction de l’exécution forcée et des mesures conservatoires à l’encontre de ces personnes semble s’étendre à l’exécution forcée des sentences arbitrales contre les personnes publiques de l’OHADA. Or, comme ces dernières, l’immunité d’exécution a également un fondement contractuel ; c’est une règle
APA, Harvard, Vancouver, ISO, and other styles
14

Preußer, Thomas. "Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-77425.

Full text
Abstract:
This thesis explores the execution of object-oriented code on an embedded Java platform. It presents established and derives new approaches for the implementation of high-level object-oriented functionality and commonly expected system services. The goal of the developed techniques is the provision of the architectural base for an efficient and predictable code execution. The research vehicle of this thesis is the Java-programmed SHAP platform. It consists of its platform tool chain and the highly-customizable SHAP bytecode processor. SHAP offers a fully operational embedded CLDC environment,
APA, Harvard, Vancouver, ISO, and other styles
15

Treadwell, Steven B. (Steven Brett). "Estimating task execution delay in a real-time system via static source code analysis." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/46427.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Yadegari, Babak. "Automatic Deobfuscation and Reverse Engineering of Obfuscated Code." Diss., The University of Arizona, 2016. http://hdl.handle.net/10150/613135.

Full text
Abstract:
Automatic malware analysis is an essential part of today's computer security practices. Nearly one million malware samples were delivered to the analysts on a daily basis on year 2014 alone while the number of samples submitted for analysis increases almost exponentially each year. Given the size of the threat we are facing today and the amount of malicious codes emerging every day, the ability to automatically analyze unknown and unwanted software is critically important more than ever. On the other hand, malware writers adapt their malicious codes to new security measurements to protect them
APA, Harvard, Vancouver, ISO, and other styles
17

Law, Thomas. "O reconhecimento e a execução de sentenças arbitrais estrangeiras no Brasil: atualizado com o novo CPC." Pontifícia Universidade Católica de São Paulo, 2016. https://tede2.pucsp.br/handle/handle/7056.

Full text
Abstract:
Made available in DSpace on 2016-04-26T20:24:19Z (GMT). No. of bitstreams: 1 Thomas Law.pdf: 1275572 bytes, checksum: 98183030b6c760470e7582142b05e99a (MD5) Previous issue date: 2016-03-09<br>This Master s Thesis focuses on the acknowledgement and enforcement of foreign arbitral awards in Brazil, based on the theoretical and practical research in the fields of civil procedural law and international law, considering it includes a study on the different international laws, conventions and treaties on international commercial arbitration, as well as on the acknowledgement and enforcement of arb
APA, Harvard, Vancouver, ISO, and other styles
18

McKay, Alexander Scott. "IMPROVING DATA QUALITY WITH FOUR SHORT SENTENCES: HOW AN HONOR CODE CAN MAKE THE DIFFERENCE DURING DATA COLLECTION." CSUSB ScholarWorks, 2014. https://scholarworks.lib.csusb.edu/etd/78.

Full text
Abstract:
Careless responders have a large impact on a study by causing issues such as Type II errors (failing to reject a false null hypothesis), which then waste researchers’ time and money. Research on careless responding has focused primarily on detecting and removing careless responders rather than on reducing careless responding before data collection begins. The purpose of the present study was to test the use of honor codes with or without the presentation of a picture of watchful eyes to increase self-awareness thereby reducing careless responding. Participants (N = 305) were randomly assigned
APA, Harvard, Vancouver, ISO, and other styles
19

Knestrick, Christopher C. "Lunar: A User-Level Stack Library for Network Emulation." Thesis, Virginia Tech, 2004. http://hdl.handle.net/10919/31351.

Full text
Abstract:
The primary issue with developing new networking protocols is testing how the protocol will behave when deployed on a large scale; of particular interest is how it will interact with existing protocols. Testing a protocol using a network simulator has drawbacks. First, the protocol must be written for the simulator and then rewritten for actual deployment. Aside from the additional work, this allows for software bugs to be introduced between testing and implementation. More importantly, there are correctness issues. Since both the new and existing protocols must be specially written for the si
APA, Harvard, Vancouver, ISO, and other styles
20

Aljamaan, Hamoud. "Model-Oriented Tracing Language: Producing Execution Traces from Tracepoints Injected into Code Generated from UML Models." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/33419.

Full text
Abstract:
This thesis investigates the building of a textual tracing language that operates at the model level to allow trace specification of textually modeled UML constructs. Current tracing approaches focus on manually injecting tracepoints into targeted systems at the source code level. Such approaches are useful in code-centric development styles where the majority of the code is handwritten. However, in the case of Model Driven Development (MDD), where models are utilized to generate some or all of the code, current tracing technology results in low level trace specification and generation of exec
APA, Harvard, Vancouver, ISO, and other styles
21

Dollinger, Jean-François. "A framework for efficient execution on GPU and CPU+GPU systems." Thesis, Strasbourg, 2015. http://www.theses.fr/2015STRAD019/document.

Full text
Abstract:
Les verrous technologiques rencontrés par les fabricants de semi-conducteurs au début des années deux-mille ont abrogé la flambée des performances des unités de calculs séquentielles. La tendance actuelle est à la multiplication du nombre de cœurs de processeur par socket et à l'utilisation progressive des cartes GPU pour des calculs hautement parallèles. La complexité des architectures récentes rend difficile l'estimation statique des performances d'un programme. Nous décrivons une méthode fiable et précise de prédiction du temps d'exécution de nids de boucles parallèles sur GPU basée sur tro
APA, Harvard, Vancouver, ISO, and other styles
22

Sairaman, Viswanath. "A Generalized Framework for Automatic Code Partitioning and Generation in Distributed Systems." Scholar Commons, 2010. https://scholarcommons.usf.edu/etd/1759.

Full text
Abstract:
In distributed heterogeneous systems the partitioning of application software to be executed in a distributed fashion is a challenge by itself. The task of code partitioning for distributed processing involves partitioning the code into clusters and mapping those code clusters to the individual processing elements interconnected through a high speed network. Code generation is the process of converting the code partitions into individually executable code clusters and satisfying the code dependencies by adding communication primitives to send and receive data between dependent code clusters. I
APA, Harvard, Vancouver, ISO, and other styles
23

Westerlund, Robert. "A tool to facilitate interactive and collaborative learning of execution flow and code for novice computer science students." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-25590.

Full text
Abstract:
Some students reading courses in introductory imperative programming at university level struggle with the course and the drop-out rates from the courses are rather high. One possible reason for this is that some find programming hard to learn. There are many tools which aim to help students learn programming by visualizing the state and execution of code. However, most, if not all, of these tools visualize only the current state of the program being visualized. The first and foremost result of this project is a look into a way to approach visualizing historic information about previous progra
APA, Harvard, Vancouver, ISO, and other styles
24

CARDOSO, David Menezes. "A Framework for Monitorable Services Implementation." Universidade Federal de Pernambuco, 2012. https://repositorio.ufpe.br/handle/123456789/10442.

Full text
Abstract:
Submitted by Pedro Henrique Rodrigues (pedro.henriquer@ufpe.br) on 2015-03-04T17:46:47Z No. of bitstreams: 2 dissertation_dmc4_final.pdf: 2547061 bytes, checksum: 37ab52f20fadfed5e6ba1cfb7649f971 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-03-04T17:46:47Z (GMT). No. of bitstreams: 2 dissertation_dmc4_final.pdf: 2547061 bytes, checksum: 37ab52f20fadfed5e6ba1cfb7649f971 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02-16<br>Since the very first graphical use
APA, Harvard, Vancouver, ISO, and other styles
25

Carroll, William D. "Demonstration of a concurrently programmed tactical level control software for autonomous vehicles and the interface to the execution level code." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA381020.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Saad, Ibrahim Mohamed Mohamed. "Extracting Parallelism from Legacy Sequential Code Using Transactional Memory." Diss., Virginia Tech, 2016. http://hdl.handle.net/10919/71861.

Full text
Abstract:
Increasing the number of processors has become the mainstream for the modern chip design approaches. However, most applications are designed or written for single core processors; so they do not benefit from the numerous underlying computation resources. Moreover, there exists a large base of legacy software which requires an immense effort and cost of rewriting and re-engineering to be made parallel. In the past decades, there has been a growing interest in automatic parallelization. This is to relieve programmers from the painful and error-prone manual parallelization process, and to cope
APA, Harvard, Vancouver, ISO, and other styles
27

Preußer, Thomas [Verfasser], Rainer [Akademischer Betreuer] Spallek, and Andreas [Akademischer Betreuer] Koch. "Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform / Thomas Preußer. Gutachter: Andreas Koch. Betreuer: Rainer Spallek." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://d-nb.info/1067729224/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Preußer, Thomas B. [Verfasser], Rainer [Akademischer Betreuer] Spallek, and Andreas [Akademischer Betreuer] Koch. "Increasing the Performance and Predictability of the Code Execution on an Embedded Java Platform / Thomas Preußer. Gutachter: Andreas Koch. Betreuer: Rainer Spallek." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-77425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Huthmann, Jens Christoph [Verfasser], Andreas [Akademischer Betreuer] Koch, and Mladen [Akademischer Betreuer] Berekovic. "An Execution Model and High-Level-Synthesis System for Generating SIMT Multi-Threaded Hardware from C Source Code / Jens Christoph Huthmann ; Andreas Koch, Mladen Berekovic." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2017. http://d-nb.info/1147566100/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Kiepas, Patryk. "Analyses de performances et transformations de code pour les applications MATLAB." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEM063.

Full text
Abstract:
MATLAB est un environnement informatique doté d'un langage de programmation simple et d'une vaste bibliothèque de fonctions couramment utilisées en science et ingénierie (CSE) pour le prototypage rapide. Cependant, certaines caractéristiques de son environnement, comme son langage dynamique ou son style de programmation interactif, affectent la rapidité d'exécution des programmes. Les approches actuelles d'amélioration des programmes MATLAB traduisent le code dans des langages statiques plus rapides comme C ou Fortran, ou bien appliquent systématiquement des transformations de code au programm
APA, Harvard, Vancouver, ISO, and other styles
31

Bogren, Patrik, and Isak Kristola. "Exploring the use of call stack depth limits to reduce regression testing costs." Thesis, Mittuniversitetet, Institutionen för data- och systemvetenskap, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-43166.

Full text
Abstract:
Regression testing is performed after existing source code has been modified to verify that no new faults have been introduced by the changes. Test case selection can be used to reduce the effort of regression testing by selecting a smaller subset of the test suite for later execution. Several criteria and objectives can be used as constraints that should be satisfied by the selection process. One common criteria is function coverage, which can be represented by a coverage matrix that maps test cases to methods under test. The process of generating and evaluating these matrices can be very tim
APA, Harvard, Vancouver, ISO, and other styles
32

Bilberg, Dennis. "Comparing performance between react native and natively developed smartphone applications in swift : A comparative analysis and evaluation of the React Native framework." Thesis, Högskolan i Skövde, Institutionen för informationsteknologi, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-15480.

Full text
Abstract:
In today's society, smartphones are so widely established that corporations have even changed their cooperate culture when it comes to bringing your own personal device to work. Sales graphs prove that smartphones are more established today than ever before, which creates pressure for companies big, as small to extend and provide their services from the pocket of the user in the form of a smartphone mobile application. This paper focuses on the development of smartphone applications. Looking into the native development way for iOS and the code fragmentation that characterizes the long and cost
APA, Harvard, Vancouver, ISO, and other styles
33

Procházka, Pavel. "Obchod a investice do nemovitostí postižených exekucí v České republice." Master's thesis, Vysoké učení technické v Brně. Fakulta podnikatelská, 2012. http://www.nusl.cz/ntk/nusl-223672.

Full text
Abstract:
Tato diplomová práce analyzuje právní základy a užití občanského zákoníku, majetkových zákonů, občanského soudního řádu a exekuční řádu v obchodu s nemovitostmi. Skrze případové studie se snaží poukázat na kritická místa a proveditelnost jednotlivých investic do exekucí zasažených či jinak právně znehodnocených nemovitostí. Závěrečná část hledá standardizované postupy, které nachází optimální mix rizika a profitability.
APA, Harvard, Vancouver, ISO, and other styles
34

Trávníček, Michal. "Simulácia dátových sietí s využitím priameho vykonávania kódu." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220191.

Full text
Abstract:
Purpose of this master thesis was to explain simulation of real network, point to the imperfection during these simulations and try to find out technologies and solutions that could improve credibility of simulation. For this purpose, network simulator ns-3 has been chosen which supports direct code execution together with Quagga software suite. Master thesis describes internet protocol IPv4, UDP protocol, basics of routing and detailed explanation of OSPF routing protocol. Focus in this thesis is also on general description of simulation, its kinds and detail explanation of discrete simulatio
APA, Harvard, Vancouver, ISO, and other styles
35

Tinnefeld, Christian [Verfasser], and Hasso [Akademischer Betreuer] Plattner. "Building a columnar database on shared main memory-based storage : database operator placement in a shared main memory-based storage system that supports data access and code execution / Christian Tinnefeld ; Betreuer: Hasso Plattner." Potsdam : Universität Potsdam, 2014. http://d-nb.info/1218398442/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Carpentier, Robin. "Privacy-preserving third-party computations on secure personal data management systems." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG079.

Full text
Abstract:
La centralisation des données personnelles par certaines des entreprises les plus influentes du monde met en péril la vie privée des individus. Des législations récentes comme le Règlement Général sur la Protection des Données en Europe encadrent la collecte et le traitement des données des citoyens. En particulier, le droit à la portabilité permet aux individus de récupérer une copie de leurs données détenues par un organisme. Conjointement, des solutions de Cloud Personnels (PDMS) se développent, renforçant l'autonomisation des utilisateurs en leur facilitant la gestion de leurs données. Ell
APA, Harvard, Vancouver, ISO, and other styles
37

Lamberský, Vojtěch. "Návrh metod a nástrojů pro zrychlení vývoje softwaru pro vestavěné procesory se zaměřením na aplikace v mechatronice." Doctoral thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-234258.

Full text
Abstract:
The main focus of this dissertation thesis is on methods and tools which can increase the speed of software development process for embedded processors used in mechatronics applications. The first part of this work introduces software and hardware tools suitable for a rapid development and prototyping of new applications used today. This work focuses on two main topics from the mentioned application field. The first topic is a development of tools for an automatic code generation from the Simulink environment for an embedded processor. The second topic is a development of tools enabling execut
APA, Harvard, Vancouver, ISO, and other styles
38

Siddiqui, Asher. "Capturing JUnit Behavior into Static Programs : Static Testing Framework." Thesis, Linnaeus University, School of Computer Science, Physics and Mathematics, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-5510.

Full text
Abstract:
<p>In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the <em>JUnit3.8 </em>source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective be
APA, Harvard, Vancouver, ISO, and other styles
39

Chielle, Eduardo. "Selective software-implemented hardware fault tolerance tecnhiques to detect soft errors in processors with reduced overhead." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/142568.

Full text
Abstract:
A utilização de técnicas de tolerância a falhas em software é uma forma de baixo custo para proteger processadores contra soft errors. Contudo, elas causam aumento no tempo de execução e utilização de memória. Em consequência disso, o consumo de energia também aumenta. Sistemas que operam com restrição de tempo ou energia podem ficar impossibilitados de utilizar tais técnicas. Por esse motivo, este trabalho propoe técnicas de tolerância a falhas em software com custos no desempenho e memória reduzidos e cobertura de falhas similar a técnicas presentes na literatura. Como detecção é menos custo
APA, Harvard, Vancouver, ISO, and other styles
40

Pérez, Hualde Alejandro. "The Public Services Concession Contract as a "Long Term" Contract." Derecho & Sociedad, 2016. http://repositorio.pucp.edu.pe/index/handle/123456789/119148.

Full text
Abstract:
In this article, the author highlights the benefits of incorporating the concepts “concession contract” and “long term contract” within the new Civil and Commercial Code of the Nation in Argentina. For the author, these contractual arrangements are fundamental in Administrative Law to understand the scope of the concession of public services, specifically in regard to the introduction of changes in the contract. This also means that foreign police concepts or theories as ius variandi, which only add authoritarian elements under the contract, are not longer required.<br>En el presente artículo,
APA, Harvard, Vancouver, ISO, and other styles
41

David, Robin. "Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0013/document.

Full text
Abstract:
L’analyse de codes malveillants est un domaine de recherche en pleine expansion de par la criticité des infrastructures touchées et les coûts impliqués de plus en plus élevés. Ces logiciels utilisent fréquemment différentes techniques d’évasion visant à limiter la détection et ralentir les analyses. Parmi celles-ci, l’obfuscation permet de cacher le comportement réel d’un programme. Cette thèse étudie l’utilité de l’Exécution Symbolique Dynamique (DSE) pour la rétro-ingénierie. Tout d’abord, nous proposons deux variantes du DSE plus adaptées aux codes protégés. La première est une redéfinition
APA, Harvard, Vancouver, ISO, and other styles
42

David, Robin. "Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes." Electronic Thesis or Diss., Université de Lorraine, 2017. http://www.theses.fr/2017LORR0013.

Full text
Abstract:
L’analyse de codes malveillants est un domaine de recherche en pleine expansion de par la criticité des infrastructures touchées et les coûts impliqués de plus en plus élevés. Ces logiciels utilisent fréquemment différentes techniques d’évasion visant à limiter la détection et ralentir les analyses. Parmi celles-ci, l’obfuscation permet de cacher le comportement réel d’un programme. Cette thèse étudie l’utilité de l’Exécution Symbolique Dynamique (DSE) pour la rétro-ingénierie. Tout d’abord, nous proposons deux variantes du DSE plus adaptées aux codes protégés. La première est une redéfinition
APA, Harvard, Vancouver, ISO, and other styles
43

Corteggiani, Nassim. "Towards system-wide security analysis of embedded systems." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS285.

Full text
Abstract:
Cette thèse se consacre à l'amélioration des techniques d'analyse dynamiques permettant la vérification de logiciels conçus pour des systèmes embarqués, couramment appelé micrologiciel. Au vu de l'augmentation significative de la connectivité des appareils électroniques, les préoccupations concernant leur sécurité s'intensifient. Les conséquences d'une faille de sécurité sur ces appareils peuvent impliquer des répercussions économiques non négligeables et des difficultés techniques importantes pour appliquer un correctif. C’est le cas notamment des amorceurs de code qui sont généralement stock
APA, Harvard, Vancouver, ISO, and other styles
44

Afifi, Mohammed Ahmed Melegy Mohammed. "TCP FTAT (Fast Transmit Adaptive Transmission): A New End-To- End Congestion Control Algorithm." Cleveland State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=csu1414689425.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Švikruha, Patrik. "Využití technologie Blazor s frameworkem DotVVM." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2019. http://www.nusl.cz/ntk/nusl-400921.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Noorkami, Paria. "Execution backtracking using reverse execution of machine code." Thesis, 1999. http://hdl.handle.net/2429/9759.

Full text
Abstract:
Execution backtracking is the process of restoring the state of a program to an arbitrary point earlier in its execution history. It is used to facilitate program debugging. In this thesis, a novel execution backtracking approach is developed and implemented to assist the task of debugging software. The approach is demonstrated for structured C programs and exploits backtracking the program at machine code level. The approach has a lower run-time overhead than the existing approaches. The execution backtracking approach is integrated with a diagnosis test bed that consists of a symbolic
APA, Harvard, Vancouver, ISO, and other styles
47

Wu, Yi-Lun, and 吳依倫. "Unknown Word Extraction fromMultilingual Code-Switched Sentences." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/08909589562461278018.

Full text
Abstract:
碩士<br>元智大學<br>資訊管理學系<br>99<br>Unknown word extraction plays an important rule in the field of Chinese language analysis. Several short terms of compound language are not available in dictionary up to now, and affect the result of Chinese word segmentation. This research focuses on extracting unknown words from code-Switched sentences, especially for “short term”. This research provides several approaches for comparison and examination as follows. My research primarily uses the Pointwise Mutual Information(PMI) to calculate the relationship between two different terms, and PMI would choose bigg
APA, Harvard, Vancouver, ISO, and other styles
48

Tsai, Shu-Yu, and 蔡書瑜. "Suspension of the Execution of Sentences in the Perspective of Sentencing." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/91316971233726501638.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

"Supporting Source Code Feature Analysis Using Execution Trace Mining." Thesis, 2013. http://hdl.handle.net/10388/ETD-2013-10-1266.

Full text
Abstract:
Software maintenance is a significant phase of a software life-cycle. Once a system is developed the main focus shifts to maintenance to keep the system up to date. A system may be changed for various reasons such as fulfilling customer requirements, fixing bugs or optimizing existing code. Code needs to be studied and understood before any modification is done to it. Understanding code is a time intensive and often complicated part of software maintenance that is supported by documentation and various tools such as profilers, debuggers and source code analysis techniques. However, most of t
APA, Harvard, Vancouver, ISO, and other styles
50

Wang, Jyun-Yi, and 王浚懿. "Locating Interested Code by Program Execution Paths with Debugger." Thesis, 2013. http://ndltd.ncl.edu.tw/handle/hg3589.

Full text
Abstract:
碩士<br>國立中央大學<br>軟體工程研究所<br>101<br>In the maintenance process of large-scale programs, tracing and understanding the source code is an important process before the program can be modified or extended. To a programmer who needs to understand an unfamiliar software system, it is always a daunting task. In most cases, the comprehension process is often time-consuming and tiresome. Some researches indicated that programmers can waste 80 percent of time comprehending software in wrong directions. The wrong directions could end up spending time on understanding the code in the wrong places and then r
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Code of Execution of Sentences' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography