Teses / dissertações sobre o tema "Automatic software transformation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 24 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "Automatic software transformation".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.
Serrano, Lucas. "Automatic inference of system software transformation rules from examples". Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS425.
Texto completo da fonteThe Linux kernel is present today in all kinds of computing environments, from smartphones to supercomputers, including both the latest hardware and "ancient" systems. This multiplicity of environments has come at the expense of a large code size, of approximately ten million lines of code, dedicated to device drivers. However, to add new functionalities, or for performance or security reasons, some internal Application Programming Interfaces (APIs) can be redesigned, triggering the need for changes of potentially thousands of drivers using them.This thesis proposes a novel approach, Spinfer, that can automatically perform these API usage updates. This new approach, based on pattern assembly constrained by control-flow relationships, can learn transformation rules from even imperfect examples. Learned rules are suitable for the challenges found in Linux kernel API usage updates
Liang, Dong. "Automatic generation of software applications". Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.
Texto completo da fonteBrown, Stephen Anthony. "Models for automatic diffrentiation : a conceptual framework for exploiting program transformation". Thesis, University of Hertfordshire, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028.
Texto completo da fonteCouto, Emanuel Amaral. "Speculative execution by using software transactional memory". Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2659.
Texto completo da fonteMany programs sequentially execute operations that take a long time to complete. Some of these operations may return a highly predictable result. If this is the case, speculative execution can improve the overall performance of the program. Speculative execution is the execution of code whose result may not be needed. Generally it is used as a performance optimization. Instead of waiting for the result of a costly operation,speculative execution can be used to speculate the operation most probable result and continue executing based in this speculation. If later the speculation is confirmed to be correct, time had been gained. Otherwise, if the speculation is incorrect, the execution based in the speculation must abort and re-execute with the correct result. In this dissertation we propose the design of an abstract process to add speculative execution to a program by doing source-to-source transformation. This abstract process is used in the definition of a mechanism and methodology that enable programmer to add speculative execution to the source code of programs. The abstract process is also used in the design of an automatic source-to-source transformation process that adds speculative execution to existing programs without user intervention. Finally, we also evaluate the performance impact of introducing speculative execution in database clients. Existing proposals for the design of mechanisms to add speculative execution lacked portability in favor of performance. Some were designed to be implemented at kernel or hardware level. The process and mechanisms we propose in this dissertation can add speculative execution to the source of program, independently of the kernel or hardware that is used. From our experiments we have concluded that database clients can improve their performance by using speculative execution. There is nothing in the system we propose that limits in the scope of database clients. Although this was the scope of the case study, we strongly believe that other programs can benefit from the proposed process and mechanisms for introduction of speculative execution.
Amer, Hoda. "Automatic transformation of UML software specification into LQN performance models using graph grammar techniques". Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.
Texto completo da fonteDziak, Damian, Bartosz Jachimczyk e Tomasz Jagusiak. "Automatic Waterjet Positioning Vision System". Thesis, Blekinge Tekniska Högskola, Sektionen för ingenjörsvetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5047.
Texto completo da fonteLubiński, Piotr. "Automatic Form-Factor Transformations of Web Pages and Web Services UIs". Thesis, Linköping University, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-19606.
Texto completo da fonteBrowsing the Web on a distant screen may very often become user’s unpleasant experience. Such a situation may happen in a living room environment, where the user attempts to browse the Web on TV sitting at 10-foot distance from the screen. In a vast number of web sites that the user is able to request, many may contain, for instance, tiny text characters, which would become unreadable when watched from the distance. On the other hand, also navigation through the Web offerings can become troublesome. Especially, when the user is only equipped with the commonly used remote controller, interaction with the displayed content may prove inefficient. Therefore, methods to overcome content visibility and navigation problems become challenging. In this thesis we perceive living room environment as a good scenario, in which web-enabled handheld devices could further be utilized to interact with Consumer Electronics products, such as TVs. This sort of interaction should make an advantage of publically available Web resources to have them displayed on TV and controlled from the distance by the user who is equipped with, for instance, a web-enabled mobile phone. We think that such an interaction approach would become beneficial in several ways, making the Web browsing routine an interactive, possibly a group activity. Discussed in this thesis solutions are the first step of automatic transformations of web content into a form that can be rendered on Web4CE (Web for Consumer Electronics) products. A particularly important aspect of the proposed system is the concept of request/response HTTP message processing and HTML modification. According to this approach, living room browsing activity should be achievable without the need to re-author already existing web sites.
Cohen, Albert. "Analyse et transformation de programmes: du modèle polyédrique aux langages formels". Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 1999. http://tel.archives-ouvertes.fr/tel-00550829.
Texto completo da fonteChristoph, Alexander. "Automatische Transformation von Software-Modellen /". Norderstedt : Books on Demand, 2005. http://www.gbv.de/dms/ilmenau/toc/503792349.PDF.
Texto completo da fonteLin, Yuehua. "A model transformation approach to automated model evolution". Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/lin.pdf.
Texto completo da fonteNewman, Christian D. "A SOURCE CODE TRANSFORMATION LANGUAGE TO SUPPORT SOFTWARE EVOLUTION". Kent State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=kent1500560236029486.
Texto completo da fonteNewman, Christian D. "NORMALIZING-REFACTORINGS: SIMPLIFYING THE CONSTRUCTION OF SOURCE CODE TRANSFORMATIONS". Kent State University / OhioLINK, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=kent1385057030.
Texto completo da fonteShah, Seyyed Madasar Ali. "Model transformation dependability evaluation by the automated creation of model generators". Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3407/.
Texto completo da fonteOskarsson, Andreas. "Efficient transformation from general flow into a specific test case in an automated testing environment". Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3718.
Texto completo da fonteSwamy, Sneha. "Transformation of Object-Oriented Associations and Embedded References to Them". Wright State University / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=wright1218692829.
Texto completo da fonteBowers, Gregory Arland. "Chemical Applications in Techniques of Emerging Significance: Nanoparticle Transformation in Mitochondria and Relative Tautomer Populations in Cellular Automata". Wright State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=wright1516085869626903.
Texto completo da fonteDoni, Pracner. "Translation and Transformation of Low Level Programs". Phd thesis, Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu, 2019. https://www.cris.uns.ac.rs/record.jsf?recordId=110184&source=NDLTD&language=en.
Texto completo da fonteU okviru ove teze se predstavlja pristup radu sa programima niskog nivoa koji omogućava automatsko restrukturiranje i podizanje na više nivoe. Samim tim postaje mnogo lakše razumeti logiku programa što smanjuje vreme razvoja.Proces je dizajniran tako da bude fleksibilan i sastoji se od više nezavisnih alata. Samim tim je lako menjati proces po potrebi, ali i upotrebiti razvijene alate u drugim procesima. Tipično se mogu razlikovati dva glavna koraka. Prvi je prevođenje u jezik WSL,za koji postoji veliki broj transformacija programa koje očuvavaju semantiku. Drugi su transformacije u samom WSL-u. Za potrebe prevođenja su razvijena dva alata, jedan koji radi sa podskupom x86 asemblera i drugi koji radi sa MikroJava bajtkôdom. Rezultat prevođenja je program niskog nivoa u WSL jeziku.Primarni cilj ovog istraživanja je bila potpuna automatizacija odabira transformacija, tako da i korisnici bez iskustva u radu sa sistemom mogu efikasno da primene ovaj proces za svoje potrebe. Sa druge strane zbog fleksibilnosti procesa, iskusni korisnici mogu lakoda ga prošire ili da ga integrišu u neki drugi već postojeći proces.Automatizacija je postignuta pretraživanjem usponom (eng. hill climbing).Eksperimenti vršeni na nekoliko tipova ulaznih programa niskog nivoa su pokazali da rezultati mogu biti izuzetni. Za funkciju pogodnosti je korišćena ugrađena metrika koja daje “težinu” struktura u programu. Kod ulaza za koje je originalni izvorni kôd bio dostupan, krajnje metrike najboljih varijanti prevedenih i transformisanih programa su bile na sličnom nivou. Neki primeri su bolji od originala, dok su drugi bili nešto kompleksniji. Rezultati su uvek pokazivali značajna unapređenja u odnosu na originalni kôd niskog nivoa.
Garchery, Quentin. "Certification de la transformation de tâches de preuve". Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG006.
Texto completo da fonteIn various provers and deductive verification tools, logical transformations are used extensively in order to reduce a proof task into a number of simpler tasks. Logical transformations are often part of the trusted base of such tools. In this thesis, we develop a framework to improve confidence in their results. We follow a skeptical} approach: transformations are instrumented to produce certificates that are checked by a third-party tool. Thus, we benefit from a modular approach that is also robust to changes in the source code of the transformations. We design two kinds of certificates. Transformations produce surface certificates} that are then translated to kernel certificates} which are destined for final verification. We made sure that surface certificates are easy to produce. Moreover, surface certificates are as independent of the transformation application as possible and this makes for a modular certification. On the contrary, kernel certificates include numerous details about the transformation application and are kept elementary. This helps to define simpler checkers and establish their correctness. We propose a translation procedure from surface certificates to kernel certificates which does not need to be trusted. Logical transformations are considered in a higher-order logic, with type polymorphism and built-in theories such as equality and integer arithmetic. We apply our framework to Why3 and use it to instrument pre-existing and complex transformations. Additionally, we implement two certificate checkers. The first one follows an efficient computational approach while the second is based on a shallow embedding of proof tasks inside the logical framework Lambdapi, thus exhibiting formal guaranties of its correctness
Заковоротный, Александр Юрьевич. "Синтез автоматизированной системы управления подвижным составом на основе геометрической теории управления и нейронных сетей". Thesis, НТУ "ХПИ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28330.
Texto completo da fonteDissertation for the degree of Doctor of Technical Science on Specialty 05.13.07 – Automation of Control Processes. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv, 2017. The dissertation is devoted to solving scientific and applied problems of increasing energy characteristics of traction rolling stock, traction asynchronous drive through the development and introduction of new onboard intellectual decision support system of machinist that is based on more accurate models and optimize dynamics tools, using new methods and specialized software and new technologies of information processing based on stable and plastic neural networks and new models of associative memory, which creates theoretical precondition for developing of automatic control systems of high-speed rolling stock. Developed a comprehensive diesel-train model that takes into account the principal vibrations of the rolling stock and the distribution of forces of interaction between them, as well as parallel performance of traction drive of wagons with motors that adequately reflects the processes that occur on the real object. Developed specialized software that realizes the man-machine system that automates the conversion of analytical geometric control theory in the synthesis models to the Brunovsky form. Based on the neural networks that can solve problems with multiple solutions, developed a new method of search switching functions between the variables in the form of linear models Brunovsky and variables of nonlinear models control object. Developed stable-flexible Hamming neural networks, Hebb and other networks based on Perceptron, that can recognize new information and studying during its performance and modification Hamming neural network, capable identify several solutions. Has developed structure and components of the onboard intellectual decision support system that allows the actual use of the rolling stock and when happening currently changing road conditions, system can give for machinist new control laws under which adheres to a schedule for the least cost fuel and energy resources. Conducted experimental investigations on mathematical models and real object that confirming the correctness of the proposed solutions, methods and algorithms.
Заковоротний, Олександр Юрійович. "Синтез автоматизованої системи управління рухомим складом на основі геометричної теорії керування та нейронних мереж". Thesis, НТУ "ХПІ", 2017. http://repository.kpi.kharkov.ua/handle/KhPI-Press/28327.
Texto completo da fonteDissertation for the degree of Doctor of Technical Science on Specialty 05.13.07 – Automation of Control Processes. – National Technical University "Kharkіv Polytechnic Institute", Kharkіv, 2017. The dissertation is devoted to solving scientific and applied problems of increasing energy characteristics of traction rolling stock, traction asynchronous drive through the development and introduction of new onboard intellectual decision support system of machinist that is based on more accurate models and optimize dynamics tools, using new methods and specialized software and new technologies of information processing based on stable and plastic neural networks and new models of associative memory, which creates theoretical precondition for developing of automatic control systems of high-speed rolling stock. Developed a comprehensive diesel-train model that takes into account the principal vibrations of the rolling stock and the distribution of forces of interaction between them, as well as parallel performance of traction drive of wagons with motors that adequately reflects the processes that occur on the real object. Developed specialized software that realizes the man-machine system that automates the conversion of analytical geometric control theory in the synthesis models to the Brunovsky form. Based on the neural networks that can solve problems with multiple solutions, developed a new method of search switching functions between the variables in the form of linear models Brunovsky and variables of nonlinear models control object. Developed stable-flexible Hamming neural networks, Hebb and other networks based on Perceptron, that can recognize new information and studying during its performance and modification Hamming neural network, capable identify several solutions. Has developed structure and components of the onboard intellectual decision support system that allows the actual use of the rolling stock and when happening currently changing road conditions, system can give for machinist new control laws under which adheres to a schedule for the least cost fuel and energy resources. Conducted experimental investigations on mathematical models and real object that confirming the correctness of the proposed solutions, methods and algorithms.
Liang, Dong. "Automatic generation of software applications: a platform-based MDA approach". Doctoral thesis, 2013. https://tubaf.qucosa.de/id/qucosa%3A22931.
Texto completo da fonteZHAO, XULIN. "A BUSINESS PROCESS DRIVEN APPROACH FOR AUTOMATIC GENERATION OF BUSINESS APPLICATIONS". Thesis, 2011. http://hdl.handle.net/1974/6296.
Texto completo da fonteThesis (Ph.D, Electrical & Computer Engineering) -- Queen's University, 2011-01-30 00:06:34.77
Marker, Bryan Andrew. "Design by transformation : from domain knowledge to optimized program generation". Thesis, 2014. http://hdl.handle.net/2152/24738.
Texto completo da fontetext
CARNEVALI, LAURA. "Formal methods in the development life cycle of real-time software". Doctoral thesis, 2010. http://hdl.handle.net/2158/521924.
Texto completo da fonte