Sökning: "debugging"

Visar resultat 1 - 5 av 38 avhandlingar innehållade ordet debugging.

  1. 1. Debugging and Structural Analysis of Declarative Equation-Based Languages

    Detta är en avhandling från Institutionen för datavetenskap

    Författare :Peter Bunus; Linköpings universitet.; Linköpings universitet.; [2002]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Sammanfattning : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. LÄS MER

  2. 2. Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-based Models

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Martin Sjölund; Linköpings universitet.; Linköpings universitet.; [2013]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modelling; debugging; profiling; optimisation; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modelling languages provide a convenient, declarative method for describing models of cyber-physical systems.Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  3. 3. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Martin Sjölund; Linköpings universitet.; Linköpings universitet.; [2015]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Simulation; modeling; debugging; profiling; optimization; parallelism; Modelica;

    Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER

  4. 4. Integration of Ontology Alignment and Ontology Debugging for Taxonomy Networks

    Detta är en avhandling från Linköping : Linköping University Electronic Press

    Författare :Valentina Ivanova; Linköpings universitet.; Linköpings universitet.; [2014]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ontology; ontology engineering; ontology alignment; ontology debugging;

    Sammanfattning : Semantically-enabled applications, such as ontology-based search and data integration, take into account the semantics of the input data in their algorithms. Such applications often use ontologies, which model the application domains in question, as well as alignments, which provide information about the relationships between the terms in the different ontologies. LÄS MER

  5. 5. Programming Model and Protocols for Reconfigurable Distributed Systems

    Detta är en avhandling från Stockholm : KTH Royal Institute of Technology

    Författare :Cosmin Ionel Arad; KTH.; SICS.; [2013]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

    Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER