Sökning: "symbolic evaluation"

Visar resultat 1 - 5 av 26 avhandlingar innehållade orden symbolic evaluation.

  1. 1. TV-tittande som dialog : På väg mot en symbolisk-interaktionistisk TV-teori

    Författare :Margareta Rönnberg; Stockholms universitet Institutionen för filmvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; identification; para-social interaction; mirroring; symbolic interactionism; role-taking; the TV-other ; the generalized media-other ; dialogue; aesthetic philosphy; imagination; narrative psychology; identity construction; values; evaluation;

    Sammanfattning : Research itself -  on television and the young -  is the object of this research. From a humanistic viewpoint, relational and interactional concepts are critically scrutinized: how have eg 'identification' and 'para-social interaction' been defined and used by (psycho-analytically influenced) mass communication researchers in sociology, psychology and pedagogy in order to allegedly 'explain' the 'effects' of television on the identity, personality or behavior of young viewers? These definitions and uses are found lacking in many respects, and the views of insightful film theoreticians are recommended instead. LÄS MER

  3. 2. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

  4. 3. Symbolic Trajectory Evaluation using a Satisfiability Solver

    Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : .... LÄS MER

  5. 4. Towards a Deductive Compilation Approach

    Författare :Ran Ji; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Software Engineering; Software Verification; Partial Evaluation; Symbolic Execution; Deductive Compilation;

    Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER

  7. 5. Analysing Fault Tolerance for Erlang Applications

    Författare :Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    Sammanfattning : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. LÄS MER