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 1006 for “"checking"”.
-
HyperLTL Model Checking
HyperLTL model checking je technika pre overenie systému voči danej hypervlastnosti vyjadrenej logikou HyperLTL, ktorá dokáže prepojiť viaceré spustenia systému. Hoci bol vytvorený algoritmický prístup založený na automatoch, spolieha sa na štandardné operácie -automatov. Cieľom tejto práce je …
-
Performance assertion checking
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1992.
-
Disk Based Model Checking
<p>Disk based model checking does not receive much attention in the model checking field becasue of its costly time overhead. In this thesis, we present a new disk based algorithm that can get close to or faster verification speed than a RAM based algorithm that has enough memory to complete its …
-
ONLINE MISINFORMATION AND FACT-CHECKING
… begun to counter false news by integrating fact-checking services. These fact-checkers verify posts’ content and inform users about the posts’ veracity before engaging with them. While the efficacy of fact-checking on users has been studied in prior literature, little attention has been paid to …
-
Model checking multi-agent systems
… verification include theorem proving and model checking. Model checking techniques, in particular, have been successfully employed in the formal verification of distributed systems, including hardware components, communication protocols, security protocols. In contrast to traditional distributed …
-
Easy instances for model checking
… is focused on the complexity of the model-checking problem and its generalizations. This question is intimately related to the expressibility of the logical language in question. We investigate the parameterized complexity of queries expressible in monadic second order logic over tree-like …
-
Rewriting-based model checking methods
Model checking is an automatic technique for verifying concurrent systems. The properties of the system to be verified are typically expressed as temporal logic formulas, while the system itself is formally specified as a certain system specification language, such as computational logics and …
-
Equivalence checking of retimed circuits
… improve the ability of Formality, an equivalence checking tool written at Synopsys, to handle retimed circuits. At the beginning of this project Formality already had an implementation of peripheral retiming, an algorithm that can handle a large set of retimed circuits. In this thesis, I explain …
-
Static conformance checking for matrices
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.
-
Checking in on the channel
The urban redevelopment of the last fifty years reshaped the entire Southwest quadrant (and much of the adjoining Southeast) of Washington, DC. By using a Modernist tabula rasa approach in their remaking, the architects of the redevelopment obliterated the quadrant's historical context, and left …
-
Diagnostic Checking, Time Series and Regression
… test statistic can be used for diagnostic checking ARMA, VAR, FGN, GARCH, and TAR time series models as well as for checking randomness of series and goodness-of- fit VAR models with stable Paretian errors. The asymptotic distribution of the test statistic is derived as well as a chi-square …
-
Guided random-walk based model checking
… ever before. Formal methods, particularly model checking, is an approach that attempts to prove mathematically that a model of the behaviour of a product is correct with respect to certain properties. Certain errors can therefore be proven never to occur in the model. This approach has tremendous …
-
Efficient Software Checking for Fault Tolerance
Embargo set by: Seth Robbins for item 83122 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs
-
Automated energy compliance checking in construction
Automated energy compliance checking aims to automatically check the compliance of a building design – in a building information model (BIM) – with applicable energy requirements. A significant number of efforts in both industry and academia have been undertaken to automate the compliance checking …
-
Automated methods for checking differential privacy
… We propose the first decision procedure for checking differential privacy of a non-trivial class of probabilistic computations. Our procedure takes as input a program P parametrized by a privacy budget epsilon and either proves differential privacy for all possible values of epsilon, or …
-
Declarative symbolic pure-logic model checking
Model checking, a technique for findings errors in systems, involves building a formal model that describes possible system behaviors and correctness conditions, and using a tool to search for model behaviors violating correctness properties. Existing model checkers are well-suited for analyzing …
-
Network assisted file system consistency checking
… an extension to NFSCK, a research project about checking file system consistency at NetApp. NFSCK requires disk space to store temporary files, but sometimes insufficient disk space is available, and NFSCK cannot be used. NAN allows NFSCK to use an NFS server to store these temporary files. Tests …
-
Checking Metadata Usage for Enterprise Applications
It is becoming more and more common for developers to build enterprise applications on Spring framework or other other Java frameworks. While the developers are enjoying the convenient implementations of web frameworks, developers should pay attention to con- figuration deployment with metadata …
Page 1 of 51