Sökning: "debugging kernel prototypes"

Hittade 3 avhandlingar innehållade orden debugging kernel prototypes.

  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; Peter Fritzson; [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. On-chip monitoring for non-intrusive hardware/software observability

    Detta är en avhandling från Uppsala University

    Författare :Mohammed El Shobaki; Hans Hansson; [2004]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : The increased complexity in today's state-of-the-art computer systems make them hard to analyse, test, and debug. Moreover, the advances in hardware technology give system designers enormous possibilities to explore hardware as a means to implement performance demanding functionality. LÄS MER

  3. 3. On-Chip Monitoring for Non-Intrusive Hardware/Software Observability

    Detta är en avhandling från Uppsala University

    Författare :Mohammed El Shobaki; [2004]
    Nyckelord :;

    Sammanfattning : The increased integration of hardware and software components intoday's state-of-the-art computer systems make them complex and hardto analyse, test, and debug. Moreover, the advances in hardwaretechnology give system designers enormous possibilities to explorehardware as a means to implement performance demandingfunctionality. LÄS MER