Log in

Relevant bibliographies by topics / Rewriting techniques / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Rewriting techniques.

Dissertations / Theses on the topic 'Rewriting techniques'

Author: Grafiati

Published: 25 May 2024

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 20 dissertations / theses for your research on the topic 'Rewriting techniques.'

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

Sapiña, Sanchis Julia. "Rewriting Logic Techniques for Program Analysis and Optimization." Doctoral thesis, Universitat Politècnica de València, 2018. http://hdl.handle.net/10251/94044.

Full text

Abstract:

Esta tesis propone una metodología de análisis dinámico que mejora el diagnóstico de programas erróneos escritos en el lenguaje Maude. La idea clave es combinar técnicas de verificación de aserciones en tiempo de ejecución con la fragmentación dinámica de trazas de ejecución para detectar automáticamente errores en tiempo de ejecución, al tiempo que se reduce el tamaño y la complejidad de las trazas a analizar. En el caso de violarse una aserción, se infiere automáticamente el criterio de fragmentación, lo que facilita al usuario identificar rápidamente la fuente del error. En primer lugar, l

APA, Harvard, Vancouver, ISO, and other styles

2

Papadopoulos, George Angelos. "Parallel implementation of concurrent logic languages using graph rewriting techniques." Thesis, University of East Anglia, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329340.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Buth, Karl-Heinz [Verfasser]. "Techniques for Modelling Structured Operational and Denotational Semantics Definitions with Term Rewriting Systems / Karl Heinz Buth." Kiel : Universitätsbibliothek Kiel, 1994. http://d-nb.info/1080332669/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Feliú, Gabaldón Marco Antonio. "Logic-based techniques for program analysis and specification synthesis." Doctoral thesis, Universitat Politècnica de València, 2013. http://hdl.handle.net/10251/33747.

Full text

Abstract:

La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma y en lenguajes imperativos con tipos, objetos, estructuras y punteros. Respecto al estado actual de la tesis, la parte de análisis de programas ya está consolidada, mientras que la parte de inferencia de especificaciones sigue en fase de desarrollo activo. La primera parte da soluciones para la ejecución de análisis de punteros especificados en Datalog. En esta parte se han

APA, Harvard, Vancouver, ISO, and other styles

5

Rusinowitch, Michaël. "Démonstration automatique par des techniques de réécritures." Nancy 1, 1987. http://www.theses.fr/1987NAN10358.

Full text

Abstract:

Introduction à la logique du premier ordre et aux systèmes de réécriture. Étude de quelques ordres de simplification. Arbres sémantiques transfinis. Stratégies de paramodulation. Complétude en présence de règles de réduction. Stratégies de superposition. Ensembles complets de règles d'inférence pour les axiomes de régularité

APA, Harvard, Vancouver, ISO, and other styles

6

Kamat, Niranjan Ganesh. "Sampling-based Techniques for Interactive Exploration of Large Datasets." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1523552932728325.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Karanasos, Konstantinos. "View-Based techniques for the efficient management of web data." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00755328.

Full text

Abstract:

Data is being published in digital formats at very high rates nowadays. A large share of this data has complex structure, typically organized as trees (Web documents such as HTML and XML being the most representative) or graphs (in particular, graph-structured Semantic Web databases, expressed in RDF). There is great interest in exploiting such complex data, whether in an Open Data access model or within companies owning it, and efficiently doing so for large data volumes remains challenging. Materialized views have long been used to obtain significant performance improvements when processing

APA, Harvard, Vancouver, ISO, and other styles

8

Beveraggi, Marc. "Problemes combinatoires en codage algebrique." Paris 6, 1987. http://www.theses.fr/1987PA066265.

Full text

Abstract:

La these comporte quatre parties : la premiere traite des codes a longueur variable; on etablit des bornes inferieures et superieures pour la cardinalite des codes de ce type, correcteurs ou detecteurs d'une erreur, et parfois prefixes; la deuxieme etudie la cardinalite maximale d'un ensemble de permutations tel que deux permutations quelconques soient k-compatibles; la troisieme concerne le nombre maximal de reecritures de n nombres sur une memoire a ecriture irreversible de taille n; la quatrieme traite d'un probleme similaire au precedent avec la condition supplementaire que les nombres ecr

APA, Harvard, Vancouver, ISO, and other styles

9

Ferey, Gaspard. "Higher-Order Confluence and Universe Embedding in the Logical Framework." Electronic Thesis or Diss., université Paris-Saclay, 2021. http://www.theses.fr/2021UPASG032.

Full text

Abstract:

La multiplicité des systèmes formels a mis en évidence la nécessité d'un socle logique commun dans lequel les formalismes logiques pourraient être exprimés.L'enjeu principal de ce manuscrit est la définition de techniques d'encodages reposant sur la réécriture de termes et capables de réprésenter les fonctionnalités avancées des systèmes de types modernes.Nos encodages s'appuieront sur le lambda-Pi calcul modulo, un système de types dépendants, communément utilisé comme cadre logique, étendu ici par de laréécriture d'ordre supérieur. On s'intéresse, dans une première partie, aux critères de co

APA, Harvard, Vancouver, ISO, and other styles

10

Zighem, Ismail. "Etude d'invariants de graphes planaires." Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10211.

Full text

Abstract:

Dans la première partie, nous construisons, à partir de relations linéaires de récurrence, des invariants de graphes planaires 4-réguliers prenant leurs valeurs dans un anneau commutatif. Ces relations représentent des règles récursives bien définies sur cette catégories de graphes, ramenant le calcul des valeurs de l'invariant en ces graphes à une combinaison linéaire d'autres graphes plus réduits. Après avoir dégagé quelques conditions nécessaires pour que ces règles soient mutuellement compatibles, nous montrons en utilisant un résultat de la théorie des systèmes de réécriture qu'elles sont

APA, Harvard, Vancouver, ISO, and other styles

11

SAKAI, Masahiko, and Keiichirou KUSAKARI. "Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique." Institute of Electronics, Information and Communication Engineers, 2009. http://hdl.handle.net/2237/14975.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Dunn, Jennifer Erin. "Ambiguous and ambivalent signatures : rewriting, revision, and resistance in Emma Tennant's fiction." Thesis, University of Oxford, 2007. http://ora.ox.ac.uk/objects/uuid:6a4e8319-422a-48b9-8e43-cd05d742450f.

Full text

Abstract:

While existing criticism of Emma Tennant's work emphasizes its feminist agenda, less attention has been paid to her rewriting of different narratives and discourses. Tennant's career has centered on challenging literary values as well as generic categories, realist conventions, and gender stereotypes. Contrary to implications that rewriting is "re-vision," an "act of survival" that corrects or subverts earlier texts, this thesis argues that Tennant's characteristic resistance to categories also extends to the work of rewriting and revision. Her texts suggest that the act of "writing back" is n

APA, Harvard, Vancouver, ISO, and other styles

13

Pérution-Kihli, Guillaume. "Data Management in the Existential Rule Framework : Translation of Queries and Constraints." Electronic Thesis or Diss., Université de Montpellier (2022-....), 2023. http://www.theses.fr/2023UMONS030.

Full text

Abstract:

Le contexte général de ce travail est la problématique de la conception de systèmes de haute qualité intégrant plusieurs sources de données via une couche sémantique codée dans un langage de représentation et de raisonnement sur les connaissances. Nous considérons les systèmes de gestion de données basés sur des connaissances (KBDM), qui sont structurés en trois couches : la couche de données, qui comprend les sources de données, la couche de connaissances (ou ontologique), et les mappings entre les deux. Les mappings et les connaissances sont exprimés dans le cadre des règles existentielles.

APA, Harvard, Vancouver, ISO, and other styles

14

Yang, Bin. "Contribution to a kernel of symbolic asymptotic modeling software." Thesis, Besançon, 2014. http://www.theses.fr/2014BESA2055/document.

Full text

Abstract:

Cette thèse est consacrée au développement d’un noyau du logiciel MEMSALab de modélisation parcalcul symbolique qui sera utilisé pour la génération automatique de modèles asymptotiques pourdes matrices de micro et nano-systèmes. Contrairement à des logiciels traditionnels réalisant des simulationsnumériques utilisant des modèles prédéfinis, le principe de fonctionnement de MEMSALabest de construire des modèles asymptotiques qui transforment des équations aux dérivées partiellesen tenant compte de leurs caractéristiques. Une méthode appelée ”par extension-combinaison” pourla modélisation asympt

APA, Harvard, Vancouver, ISO, and other styles

15

Fournial, Céline. "Imitation et création dans le" théâtre moderne" (1550-1650) : la question des cycles d’inspiration." Thesis, Sorbonne université, 2019. http://www.theses.fr/2019SORUL012.

Full text

Abstract:

La seconde moitié du XVIe siècle voit naître le théâtre moderne français sous l’effet d’une vaste réflexion sur la littérature, indissociable de la théorie de l’imitation créatrice promue comme méthode d’écriture universelle par les Humanistes. Les termes et les enjeux de cette réflexion se transforment dans la première moitié du XVIIe siècle, notamment à partir de la fin des années 1620, où s’engagent des débat sur le théâtre, alors très riche en tentatives de renouvellement dramatique. Dans ces circonstances, le choix des sources d’inspiration n’est pas indifférent. Les auteurs ne sont pas s

APA, Harvard, Vancouver, ISO, and other styles

16

Santiago, Pinazo Sonia. "Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA." Doctoral thesis, Universitat Politècnica de València, 2015. http://hdl.handle.net/10251/48527.

Full text

Abstract:

The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data to ensure security. Formal methods are used in protocol analysis to provide formal proofs of security, and to uncover bugs and security flaws that in some cases had remained unknown long after the original protocol publication, such as the case of the well known Needham-Schroeder Public Key (NSPK) protocol. In this thesis we tackle problems regarding the three main pil

APA, Harvard, Vancouver, ISO, and other styles

17

Mohammed, Shoeb Ahmed. "Coding Techniques for Error Correction and Rewriting in Flash Memories." 2010. http://hdl.handle.net/1969.1/ETD-TAMU-2010-08-8476.

Full text

Abstract:

Flash memories have become the main type of non-volatile memories. They are widely used in mobile, embedded and mass-storage devices. Flash memories store data in floating-gate cells, where the amount of charge stored in cells – called cell levels – is used to represent data. To reduce the level of any cell, a whole cell block (about 106 cells) must be erased together and then reprogrammed. This operation, called block erasure, is very costly and brings significant challenges to cell programming and rewriting of data. To address these challenges, rank modulation and rewriting codes have been p

APA, Harvard, Vancouver, ISO, and other styles

18

Shoaran, Maryam. "Automata methods and techniques for graph-structured data." Thesis, 2011. http://hdl.handle.net/1828/3249.

Full text

Abstract:

Graph-structured data (GSD) is a popular model to represent complex information in a wide variety of applications such as social networks, biological data management, digital libraries, and traffic networks. The flexibility of this model allows the information to evolve and easily integrate with heterogeneous data from many sources. In this dissertation we study three important problems on GSD. A consistent theme of our work is the use of automata methods and techniques to process and reason about GSD. First, we address the problem of answering queries on GSD in a distributed environme

APA, Harvard, Vancouver, ISO, and other styles

19

Wang, Li-Wei, and 王立為. "Application of DAG-Aware MIG Rewriting Technique in Logic Synthesis and Verification." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/13593673123619241948.

Full text

Abstract:

碩士<br>國立臺灣大學<br>電子工程學研究所<br>104<br>A Majority-Inverter Graph (MIG) is a recently introduced logic representation form which manipulates logic by using only 3-input majority function (MAJ) and inversion function (INV). Its algebraic and Boolean properties enables efficient logic optimizations. In particular, MIG algorithms obtained significantly superior synthesis results as compared to the state-of-the-art approaches based on AND-inverter graphs and commercial tools. In this thesis, we integrate the DAG-aware rewriting technique, a fast greedy algorithm for circuit compression, into MIG and ap

APA, Harvard, Vancouver, ISO, and other styles

20

CHEN, HONG-CHIH, and 陳宏志. "Iterative Learning Control Technique Using G-code Rewriting Algorithm for Contour Control." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/k2ud6n.

Full text

Abstract:

碩士<br>國立中正大學<br>資訊工程研究所<br>106<br>The traditional iterative learning control (ILC) technology provides better position commands for the machining. However, most commercial controllers cannot accept position commands to control the machining path directly. Therefore, it is hard to leverage self-developed ILC on these commercial controllers. In this thesis, for XY plane, we develop a G-code rewriting algorithm to control machining path to solve this issue. The proposed algorithm can transfer position commands to the corresponding G-code commands. In order to preserve the same machining time,

APA, Harvard, Vancouver, ISO, and other styles

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!