Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 20 for “"Symbolic Analysis"”.
-
Symbolic analysis for parallelizing compilers
… parallel computers. Based on this methodology, a symbolic analysis framework is developed for the Parafrase-2 parallelizing compiler. This framework extends the scope of a variety of important program analysis problems, and solves them in a unified way. The attained solution space of these …
-
On symbolic analysis of cryptographic protocols
The universally composable symbolic analysis (UCSA) framework layers Dolev-Yao style symbolic analysis on top of the universally composable (UC) secure framework to construct computationally sound proofs of cryptographic protocol security. The original proposal of the UCSA framework by Canetti and …
-
Symbolic analysis techniques for effective automatic parallelization
Made available in DSpace on 2011-05-07T12:55:55Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9624292.pdf: 5755308 bytes, checksum: a606b4b119bd2f869783098a4f5ae735 (MD5) Previous issue date: 1995
-
Automatic array privatization and demand-driven symbolic analysis
Memory-related anti- and output dependences are false dependences because they do not represent the flow of data but rather only the collisions caused by memory location reuse. Privatization is a technique to eliminate cross-iteration anti-dependences. A variable is privatized if each processor …
-
A symbolic analysis of relay and switching circuits
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1940.
-
Computational methods for physiological data
… computational methods for the structured analysis of large multi-patient, multi-signal datasets. We propose two new approaches, morphologic variability (MV) and physiological symbolic analysis, for the analysis of continuous long-term signals. MV studies subtle micro-level variations in …
-
Rewriting-based symbolic methods for distributed system verification
… research project is to develop rewriting-based symbolic analysis methods that (1) can analyze systems which need an unbounded amount of time and/or space (2) may be highly distributed (3) use modular specification techniques so that work is never wasted (4) are generic across a possibly infinite …
-
Incomplete factorization preconditioning for linear least squares problems
… this portion of the dissertation is the careful symbolic analysis of the production of the preconditioner and its use during the incomplete factorization phase to avoid excessive unnecessary work.
-
Constraint Solving for Diagnosing Concurrency Bugs
… this work, we propose a logical constraint-based symbolic analysis method to aid in the diagnosis of concurrency bugs and find their root causes, which can be later used to recommend repairs. In our method, the diagnosis process is formulated as a set of constraint solving problems. By leveraging …
-
Charro Days: History, Culture, and Identity on the U.S.-Mexico Border
… I discuss each event and pair it with a symbolic and interpretive theory. The three styles of symbolic analysis are those of Clifford Geertz, Sherry Ortner, and Victor Turner. Charro Days is a critical node in the process of creating meaning and identity. This thesis provides insights to …
-
Comparison of model checking and simulation to examine aircraft system behavior
… results provided by the model checking with SAL (Symbolic Analysis Laboratory) in a previous work, have been used to provide input for simulation. In this work, this automation surprise was simulated with the simulation platform WMC (Work Models that Compute) and compared to the corresponding …
-
Anomaly detection in rolling element bearings via two-dimensional Symbolic Aggregate Approximation
Symbolic dynamics is a current interest in the area of anomaly detection, especially in mechanical systems. Symbolic dynamics reduces the overall dimensionality of system responses while maintaining a high level of robustness to noise. Rolling element bearings are particularly common mechanical …
-
Scalable Structure Learning, Inference, and Analysis with Probabilistic Programs
… solutions to probabilistic inference and analysis queries? This thesis presents efficient techniques for addressing these fundamental challenges grounded in probabilistic programming, that is, by representing probabilistic models as computer programs in specialized programming languages. …
-
Development of Computational Tools for the Design, Simulation and Optimization of Cyclic Steady State (CSS) Adsorption and Chromatographic Processes
This dissertation presents an analysis of two aspects of the chromatographic separation process known as Simulated Moving Bed (SMB) chromatography. The first aspect is system design, and the second is improving computer simulations to generate heuristics for choosing operational modes. For the past …
-
Memoria y nostalgia del Ochocientos: Il Gattopardo y Bearn. La transformación de la clase aristocrática italiana y española y su retrato en la literatura del siglo XX
… and intimate perspective into the historical analysis of the European aristocracy, demonstrating how literature preserves mentalities and traditions while enriching historiography by offering subjective and symbolic perspectives on processes of social change. To achieve this, the research …
-
Ideas of order and patterns of change in Yaminahua society
… the "fit" between this type of ideology (highly symbolic, highly logical - · - what used to be called a totemic system) with social practice an~ the exigencies of social life. Here the thesi s addresses certain issues arising from the debates about Levi-Straussian str ucturalism and the other …
-
Architecture and CAD techniques for optimizing FPGAs and reliability of integrated circuits.
… We propose a hybrid method that combines exact symbolic analysis with probabilistic measures to estimate reliability. We use such measures in rewiring and gate-sizing based methods to optimize reliability. We study trade-offs involved in terms of area, power and delay when optimizing …
-
SEMANTIC ANALYSIS AND UNDERSTANDING OF HUMAN BEHAVIOUR IN VIDEO STREAMING
This thesis investigates the semantic analysis of the human behaviour captured by video streaming, both from the theoretical and technological points of view. The video analysis based on the semantic content is in fact still an open issue for the computer vision research community, especially when …
-
Mining specifications in a new world: using a test generator through a learning lens
This Dissertation was approved for publication on 2024-12-06 at 10:26.