Sökning: "white box"
Visar resultat 1 - 5 av 10 avhandlingar innehållade orden white box.
Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER
Sammanfattning : Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of testcases, and over more heavy-weight white-box testing frameworks that impose restrictions on how properties and tested code are written. LÄS MER
Sammanfattning : Dysregulated inflammatory responses are characterized by excessive release of endogenous pro-inflammatory molecules, danger-associated molecular patterns (DAMPs). A prototypical DAMP, High Mobility Group Box 1 protein (HMGB1), is primarily bound to DNA in the nucleus of most eukaryotic cells. LÄS MER
Sammanfattning : Linear descriptor systems form the natural way in which linear models of physical systems are delivered from an object-oriented modeling tool like Modelica. Linear descriptor systems are also known as linear differential-algebraic equations in the continuous-time case. LÄS MER
Sammanfattning : High performance, low power and low cost will continue to be driving factors for digital signal processor (DSP) and embedded computer systems of the future. Recent improvements of semiconductor technology have led to faster circuits, higher density, and smaller dimensions. LÄS MER