Bibliografías temáticas / Checkley / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Checkley.

Tesis sobre el tema "Checkley"

Autor: Grafiati
Publicado: 26 de julio de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Checkley".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Checkley, Stephen [Verfasser]. "Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley." Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Bahtiyar, Muhammed Yasin. "Software Architecture Checker." Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2294.

Texto completo
Resumen
<p>By the increasing needs of software industry, software systems became more complex constructions than ever before. As a result of increasing complexity in software systems, functional decomposition of these systems gains the status of the most important aspect in the software development process. Dividing problems to sub-problems and producing specific solutions for divided parts makes it easier to solve the main problem.</p><p>Component Based Software Engineering is a way of developing software systems that consists of logically or functionally decomposed components which integrated to eac
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Bubeník, Martin. "RaspberryPI kamerový checker." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2019. http://www.nusl.cz/ntk/nusl-402129.

Texto completo
Resumen
The diploma thesis deals with the industrial inspection of correctly made connectors based on computer recognition, and the detection and recognition application is implemented in Python on the Raspberry Pi platform.The work uses empirically known OpenCV library for recognition. The work also deals with the selection of suitable hardware devices, which are a camera with a lens and an illuminator, from which is created one compact device together with the Raspberry Pi microcomputer. The compact device is further mounted on the designed mechanical structure under which is created inspection zone
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Kojovic, Ivana. "An automatic protocol composition checker." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for telematikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-19105.

Texto completo
Resumen
Formal analysis is widely used to prove security properties of the protocols. There are tools to check protocols in isolation, but in fact we use many protocols in parallel or even vertically stacked, e.g. running an application protocol (like login) over a secure channel (like TLS) and in general it is unclear if that is safe. There are several works that give sufficient conditions for parallel and vertical composition, but there exists no program to check whether these conditions are actually met by a given suite of protocols.The aim of the master thesis project is to implement a protocol co
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Ghribi, Brahim. "A model checker for LOTOS." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.

Texto completo
Resumen
LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnections) services and protocols. CTL (Computation Tree Logic) is a branching-time temporal logic, which can be used to express properties of the system being designed. Efficient algorithms were reported in the literature which make it possible to check whether a given behaviour tree enjoys a property expressed in CTL. Such
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Hedin, Rasmus. "Spell checker in CET Designer." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-131642.

Texto completo
Resumen
A common feature of text input tools is spell checking. It exists in search engines, email clients and of course in word processors like Microsoft Word. By having a spell checker when you are typing you can be more efficient than if you had to check the spelling with a separate proofing tool. Spell checking is a common request by the users of the room planning software CET Designer which is developed by Configura. In this thesis Windows Spell Checking API is evaluated and compared to alternative spell checkers. A prototype of an integrated spell checker in CET Designer text tool is then implem
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Viktorsson, Arvid, and Illya Kyrychenko. "Spell checker for a Java Application." Thesis, Karlstads universitet, Institutionen för matematik och datavetenskap (from 2013), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-78054.

Texto completo
Resumen
Many text-editor users depend on spellcheckers to correct their typographical errors. The absence of a spellchecker can create a negative experience for the user. In today's advanced technological environment spellchecking is an expected feature. 2Consiliate Business Solutions owns a Java application with a text-editor which does not have a spellchecker. This project aims to investigate and implement available techniques and algorithms for spellcheckers and automated word correction. During implementation, the techniques were tested for their performance and the best solutions were chosen for
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Yoo, Joonhyuk. "Harnessing checker hierarchy for reliable microprocessors." College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7688.

Texto completo
Resumen
Thesis (Ph. D.) -- University of Maryland, College Park, 2007.<br>Thesis research directed by: Dept. of Electrical and Computer Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Gerber, Erick D. B. "A model checker for the LF system." Thesis, Stellenbosch : Stellenbosch University, 2007. http://hdl.handle.net/10019.1/19597.

Texto completo
Resumen
Thesis (MSc)--University of Stellenbosch, 2007.<br>ENGLISH ABSTRACT: Computer aided veri cation techniques, such as model checking, can be used to improve the reliability of software. Model checking is an algorithmic approach to illustrate the correctness of temporal logic speci cations in the formal description of hardware and software systems. In contrast to traditional testing tools, model checking relies on an exhaustive search of all the possible con gurations that these systems may exhibit. Traditionally model checking is applied to abstract or high level designs of software. Howeve
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Hoyos, Jacob. "PLPrepare: A Grammar Checker for Challenging Cases." Digital Commons @ East Tennessee State University, 2021. https://dc.etsu.edu/etd/3898.

Texto completo
Resumen
This study investigates one of the Polish language’s most arbitrary cases: the genitive masculine inanimate singular. It collects and ranks several guidelines to help language learners discern its proper usage and also introduces a framework to provide detailed feedback regarding arbitrary cases. The study tests this framework by implementing and evaluating a hybrid grammar checker called PLPrepare. PLPrepare performs similarly to other grammar checkers and is able to detect genitive case usages and provide feedback based on a number of error classifications.
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Eriksson, Marcus. "A CLP(FD)-based model checker for CTL." Thesis, Linköping University, Department of Computer and Information Science, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-109.

Texto completo
Resumen
<p>Model checking is a formal verification method where one tries to prove or disprove properties of a formal system. Typical systems one might want to prove properties within are network protocols and digital circuits. Typical properties to check for are safety (nothing bad ever happens) and liveness (something good eventually happens).</p><p>This thesis describes an implementation of a sound and complete model checker for Computation Tree Logic (CTL) using Constraint Logic Programming over Finite Domains (CLP(FD)). The implementation described uses tabled resolution to remember earlier compu
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Thiruvillamalai, Varadarajan. "A type-checker for real-time Object-Z." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq23526.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Al-Mahmood, Saiyid Jami Islah Ahmad. "A distributed design rule checker for VLSI layouts." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-11012008-063423/.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Azmy, Noran. "A Machine-Checked Proof of Correctness of Pastry." Thesis, Université de Lorraine, 2016. http://www.theses.fr/2016LORR0277/document.

Texto completo
Resumen
Les réseaux pair-à-pair (P2P) constituent un modèle de plus en plus populaire pour la programmation d’applications Internet car ils favorisent la décentralisation, le passage à l’échelle, la tolérance aux pannes et l’auto-organisation. à la différence du modèle traditionnel client-serveur, un réseau P2P est un système réparti décentralisé dans lequel tous les nœuds interagissent directement entre eux et jouent à la fois les rôles de fournisseur et d’utilisateur de services et de ressources. Une table de hachage distribuée (DHT) est réalisée par un réseauP2P et offre les mêmes services qu’une t
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Azmy, Noran. "A Machine-Checked Proof of Correctness of Pastry." Electronic Thesis or Diss., Université de Lorraine, 2016. http://www.theses.fr/2016LORR0277.

Texto completo
Resumen
Les réseaux pair-à-pair (P2P) constituent un modèle de plus en plus populaire pour la programmation d’applications Internet car ils favorisent la décentralisation, le passage à l’échelle, la tolérance aux pannes et l’auto-organisation. à la différence du modèle traditionnel client-serveur, un réseau P2P est un système réparti décentralisé dans lequel tous les nœuds interagissent directement entre eux et jouent à la fois les rôles de fournisseur et d’utilisateur de services et de ressources. Une table de hachage distribuée (DHT) est réalisée par un réseauP2P et offre les mêmes services qu’une t
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Khorsandi, Aghai Majid. "Model Checking WOOL Parallel Library using SPIN Model Checker." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-159177.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Yuen, Adrienne L. "Gallicisms: An analysis leading towards a prototype gallicisms checker." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/10340.

Texto completo
Resumen
The anglicization of French has long been perceived as a major problem and much effort has been made both in France and in Canada to minimize its effects. The gallicization of English, though a problem of much smaller magnitude, has also been observed, particularly in areas such as Quebec where French is the dominant language. However, gallicization his received much less attention than anglicization. In fact, there seems to be little concern among Quebec's anglophones over the gallicization of English, which many do not perceive as being a problem. This lack of interest is not without potenti
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Kim, Kwanghyun. "An interactive design rule checker for integrated circuit layout." Thesis, Virginia Polytechnic Institute and State University, 1985. http://hdl.handle.net/10919/50034.

Texto completo
Resumen
An implementation of an interactive design rule checker is described in this thesis. Corner-based design rule checking algorithm is used for the implementation. Due to the locality of checking mechanism of the corner-based algorithm, it is suitable for hierarchical and interactive local design rule checking. It also allows the various design rules to be specified very easily. Interactive operations are devised so that the design rule checker can be invoked from inside the layout editor. All the information about the violation, such as position, type of violation, and symbol definition name ar
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Neupane, Thakur. "STAMINA: Stochastic Approximate Model-Checker for Infinite-State Analysis." DigitalCommons@USU, 2019. https://digitalcommons.usu.edu/etd/7607.

Texto completo
Resumen
Reliable operation of every day use computing system, from simple coffee machines to complex flight controller system in an aircraft, is necessary to save time, money, and in some cases lives. System testing can check for the presence of unwanted execution but cannot guarantee the absence of such. Probabilistic model checking techniques have demonstrated significant potential in verifying performance and reliability of various systems whose execution are defined with likelihood. However, its inability to scale limits its applicability in practice. This thesis presents a new model checker, STAM
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Stratis, Athanasios. "Model-based Testing on Generated C Code." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28381.

Texto completo
Resumen
In this master thesis we investigated whether it is possible to use automatically generated C code from Function Block Diagram models as an input to the CPAchecker model checker in order to generate automated test cases. Function Block Diagram is a non-executable programming and modeling language. Consequently, we need to transform this language to an executable language that can be model checked. A tool that achieves this is the MITRAC tool, a proprietary development tool used in the embedded system domain, for engineering programmable logic controllers. The purpose of this research was to in
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Johnson, Timothy E. "MOSSTAT An interactive static rule checker for MOS VLSI designs." Full text open access at:, 1986. http://content.ohsu.edu/u?/etd,109.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Sexton, John A. "Detecting errors in software using a parameter checker : an analysis /." Online version of thesis, 1989. http://hdl.handle.net/1850/10585.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Kleymann, Thomas. "Hoare logic and VDM : machine-checked soundness and completeness proofs." Thesis, University of Edinburgh, 1998. http://hdl.handle.net/1842/387.

Texto completo
Resumen
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Many incorrect results have been published in the past. We take advantage of the computer-aided proof tool LEGO to interactively establish soundness and completeness of both Hoare Logic and the operation decomposition rules of the Vienna Development Method (VDM) with respect to operational semantics. We deal with parameterless recursive procedures and local variables in the context of total correctness. As a case study, we use LEGO to verify the correctness of Quicksort
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Kopas, Robert George. "The design and implementation of a specification language type checker." Thesis, Monterey, California. Naval Postgraduate School, 1989. http://hdl.handle.net/10945/25822.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Unver, Evren R. (Evren Rifki). "Implementation of a design rule checker for silicon wafer fabrication." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/35387.

Texto completo
Resumen
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.<br>Includes bibliographical references (leaves 90-92).<br>by Evren R. Ünver.<br>M.Eng.
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Nelson, Andrew P. "Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++." DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.

Texto completo
Resumen
Static analysis tools can aid programmers by reporting potential programming mistakes prior to the execution of a program. Funqual is a static analysis tool that reads C++17 code ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the user. This sort of analysis can help the programmer to avoid errors such as accidentally calling blocking functions in time-sensitive contexts or accidentally allocating memory in heap-sensitive environments. To accomplish this, we create a type system whereby functions can be given user-defined type qualifier
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Deitle, Scott Edward. "[Un]checked Emergence: infusing the human element into algorithmic design." Thesis, Montana State University, 2008. http://etd.lib.montana.edu/etd/2008/deitle/DeitleS0508.pdf.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Esen, Zafer. "Extension of the ELDARICA C model checker with heap memory." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-397812.

Texto completo
Resumen
Model checking is a verification method which is used to detect bugs which would be extremely hard to detect using traditional testing, and ELDARICA is a state-of-the-art model checker which accepts a variety of formats as its input, including programs written in a fragment of the C language. This thesis aims to improve the C front-end of ELDARICA to a point where it can automatically model and verify C programs which contain pointers, heap memory interactions and structs, which are currently not supported. This work models the heap in a similar way to how it was done in JayHorn, a model check
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Banda, Gourinath, and John P. Gallagher. "Constraint-based abstraction of a model checker for infinite state systems." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4151/.

Texto completo
Resumen
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Johansson, Emil. "Granskning av Solibri Model Checker - En Svenskanpassning : Jämförelse av två egenkontrollsystem." Thesis, Uppsala universitet, Byggteknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-209768.

Texto completo
Resumen
The building industry are currently going through a huge alteration. The introduction of BIM (Building Information Modeling). Which also implements a lot of new ways of solving problems that building modeling can cause. This report is written for Uppsala University in cooperation with Temagruppen in Uppsala. However, it contains a comparison between two different systems that checks building models. Temagruppen invested in a new Swedish adaptation of a software called Solibri Model Checker. This Software controlling the availability in building models, it also introduces a new way of interacti
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Markovic, Filip. "Automated Test Generation for Structured Text Language using UPPAAL Model Checker." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28412.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Hernández, Puertas Tamara. "Corrective Feedback in the EFL Classroom: Grammar Checker vs. Teacher’s Feedback." Doctoral thesis, Universitat Jaume I, 2022. http://dx.doi.org/10.6035/14110.2022.149225.

Texto completo
Resumen
The aim of this doctoral thesis is to compare the feedback provided by the teacher to that obtained by the software called Grammar Checker on grammatical errors in the written production of English as a foreign language students. Traditionally, feedback has been considered as one of the three theoretical conditions for language learning (along with input and output) and, for this reason, extensive research has been carried out on who should provide it, when and the level of explicitness. However, there are far fewer studies that analyse the use of e-feedback programs as a complement or alterna
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Pereira, Vinícius. "Uma abordagem para representação de resultados formais na UML." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/.

Texto completo
Resumen
A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do c
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Martins, Alexandre Locci. "Teste e verificação formal do comportamento excepcional de programas Java." Universidade de São Paulo, 2014. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-11082014-150106/.

Texto completo
Resumen
Estruturas de tratamento de exceção são extremamente comuns em softwares desenvolvidos em linguagens modernas, como Java, e afetam de forma contundente o comportamento de um software quando exercitadas. Apesar destas duas características, as principais técnicas de verificação, teste de software e verificação formal, e as ferramentas a elas vinculadas, tendem a negligenciar o comportamento excepcional. Alguns dos fatores que levam a esta negligência são a não especificação do comportamento excepcional em termos de projeto e a consequente implementação das estruturas de tratamento com base no ju
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Filipovikj, Predrag. "Connecting a Design Framework for Service-oriented Systems with UPPAAL model-checker." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-23137.

Texto completo
Resumen
In the context of Service-Oriented Systems (SOS), services represent loosely coupled discrete units that can be created, invoked, composed and decomposed upon a client request. In such a setting, where complex systems are composed out of services based on the client request, ensuring the expected level of Quality-of-Service (QoS) becomes a difficult task. In systems built on service-oriented principles, the formal specification of both functional and extra-functional system behavior, service availability, compatibility and interoperability between different services and systems have become imp
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Zaza, Nosheen. "Evaluating the Accuracy of Annotations in the Loci 3.0 Pluggable Type Checker." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-195827.

Texto completo
Resumen
This thesis work investigates the accuracy of Loci, a static type checker in expressing thread-locality at compile time. To do this, we need to capture both thread-locality at runtime, and thread-locality expressed statically using Loci. We present the framework we built to find these measurements, describe the process of adding Loci annotations to two multi-threaded benchmarks, and measure the accuracy of expressed thread-locality using the developed framework. We found that Loci annotations could express a thread-locality rate of 99.9% in terms of object count for a small benchmark of 1436 L
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Rocha, Herbert Oliveira. "Verificação e comprovação de erros em códigos C usando bounded model checker." Universidade Federal do Amazonas, 2011. http://tede.ufam.edu.br/handle/tede/2965.

Texto completo
Resumen
Made available in DSpace on 2015-04-11T14:03:20Z (GMT). No. of bitstreams: 1 HERBERT OLIVEIRA.pdf: 512075 bytes, checksum: acc5d05442df938abdfa025f9db23367 (MD5) Previous issue date: 2011-02-04<br>CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>The use of computer-based systems in several domains has increased significantly over the last years, one of the main challenges in software development of these systems is to ensure the correctness and reliability of these. So that software verification now plays an important role in ensuring the overall product quality, a
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Leitner, Florian. "Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN." [S.l. : s.n.], 2008. http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-61257.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Azmy, Noran [Verfasser], and Christoph [Akademischer Betreuer] Weidenbach. "A machine-checked proof of correctness of Pastry / Noran Azmy ; Betreuer: Christoph Weidenbach." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2017. http://d-nb.info/112307061X/34.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Boulé, Marc. "Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring." Thesis, McGill University, 2008. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18754.

Texto completo
Resumen
Producing error-free circuits is of paramount importance in the semiconductor industry. Assertions are becoming an indispensable means of verifying the correctness of increasingly complex digital designs. Assertions model the proper behavior of a design, and are expressed in a high level language based on temporal logic. In dynamic verification, simulation is used to exercise a circuit in order to assess its behavior. For large designs, simulation times are often prohibitively excessive, and designs are instead emulated in hardware. Because of their high-level temporal operators, assertion sta
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Breitner, Joachim [Verfasser]. "Lazy Evaluation: From natural semantics to a machine-checked compiler transformation / Joachim Breitner." Karlsruhe : KIT Scientific Publishing, 2016. http://www.ksp.kit.edu.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Metz, Gale Lynn. "The units of measure consistency checker for the entity-relationship-attribute requirements model." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9941.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Welmers, Laura Hazel. "The implementation of an input/output consistency checker for a requirements specification document." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9889.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Victor, Nyström. "En utredande jämförelse av programvaror vid BIM-samordning." Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-69681.

Texto completo
Resumen
BIM är en fras som har tagits upp allt frekventare inom byggbranschen senaste åren. Uttrycket har olika innebörd beroende på vem som tillfrågas och dennes kunskap inom området. BIM-verktyg är något som med åren också har ökat på marknaden. Verktygen har olika användningsområden beroende på vilken aktör som ska utnyttja det. I BIM-projekt används såkallade samordningsverktyg för att bland annat kontrollera olika discipliners modeller där valet av programvara är avgörande beroende på funktionalitet och nyttjare.  I detta arbete studerades två programvaror som kan användas vid BIM-samordning. Gen
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Yazdani, Najafabadi HamidReza. "Contract Programming Checker : A Study for Making an Automated Test Tool Using a Parser." Thesis, Uppsala University, Department of Information Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-108026.

Texto completo
Resumen
<p>Thanks to computer software development, the communication industry hasevolved a lot during the last few years. Software and hardware integration made itpossible to exploit the best out of available equipments.</p><p>One of the important issues in software development process is to avoid bugs ordetect them in the early stage of development phase. Experiments have shown thatmost of the bugs are usually coming from the small fraction of the code. If this part ofthe code can be detected in advance then it is possible to benefit the cost of softwareproduction in great amount of time and money.
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Stenh, Fredrik. "Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage." Thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-89281.

Texto completo
Resumen
<p>UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with Aalborg University inDenmark. UPPAAL can be used to model, simulate, and verify timed automata. It has been used in many case studies since the first release in 1995.</p><p>libCoverage is a library developed at Uppsala University which can be used togenerate test-cases for real-time systems described as networks of timed automata. The test-cases are generated based upon a given coverage criteria, where the coverage criteria is specified by a parameterized observer au
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Doczkal, Christian [Verfasser], and Gert [Akademischer Betreuer] Smolka. "A machine-checked constructive metatheory of computation tree logic / Christian Doczkal. Betreuer: Gert Smolka." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2016. http://d-nb.info/1097263258/34.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Sherwany, Amanj. "The Design, Implementation and Evaluation of a Pluggable Type Checker for Thread-Locality in Java." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-155786.

Texto completo
Resumen
This thesis presents a simple type system for expressing thread-locality in Java. Classes and types are annotated to express thread-locality and violations, where supposedly thread-local data may be shared between two or more threads, are detected at compile-time. The proposed system is an improvement over Loci, a minimal and modular type checker for expressing thread-locality in Java due to Wrigstad et al. The improved Loci system presented in this thesis only adds an additional metadata annotation, four in total. We implemented the system as a command line tool that can be plugged into the s
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Mesa-Martinez, Francisco J. "Optimistic-checker tandem processor design : exploiting design complexity to expose new opportunities for processor optimization /." Diss., Digital Dissertations Database. Restricted to UC campuses, 2007. http://uclibs.org/PID/11984.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Cohen, Jonathan E. W. (Jonathan Ephraim Weis) 1976. "Safety at what price? : setting anti-terrorist policies for checked luggage on US domestic aircraft." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/36099.

Texto completo
Resumen
Thesis (S.M.)--Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2000.<br>Includes bibliographical references (leaves 45-46).<br>In this thesis, we considered the costs and benefits of implementing Positive Passenger Bag Match (PPBM) - an anti-terrorist measure to keep bombs out of checked luggage - on US domestic passenger flights. We constructed a stochastic model for comparing the cost-effectiveness of three alternative approaches to PPBM: no PPBML implementation; a PPBM implementation that is applied to 5% of passengers; and a full (100%) implem
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Checkley" para otros tipos de fuentes:
Artículos de revistas Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía