Search for dissertations about: "fixed-point computations"

Showing result 1 - 5 of 9 swedish dissertations containing the words fixed-point computations.

2. 1. Object-Oriented Declarative Program Analysis

   Author : Eva Magnusson; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; Datalogi; control; systems; numerical analysis; Declarative object-oriented programming; attribute grammars; fixed-point computations; Computer science; cross references; system; kontroll;

   Abstract : This thesis deals with techniques for raising the programming level for a particular kind of computations, namely those on abstract syntax trees. Such computations are central in many program analysis tools, such as compilers, smart language-sensitive editors, and static analysis tools. READ MORE

4. 2. Applications and Extensions of Reference Attributed Grammars

   Author : Eva Magnusson; Institutionen för datavetenskap; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; aspect-oriented compiler construction; reference attributes; fixed-point computations; Attribute grammars;

   Abstract : Programming languages are the main tools used to describe models of the real world and algorithms which manipulate these models. Over time much effort has been devoted to the task of making programming languages more high-level by enhancing their expressiveness, bringing it closer to the way the programmer thinks and reasons. READ MORE

5. 3. Supersymmetry, branes and the mysterious M

   Author : Pär Stjernberg; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Theoretical physics; Teoretisk fysik; Physics; Fysik; Theoretical Physics; teoretisk fysik;

   Abstract : String theory is the only known theory that unifies general relativity and quantum mechanics in a consistent way. In recent years there has been a dramatic progress in the understanding of the non-perturbative aspects of string theory. It is now believed that string theory is part of a larger theory called M-theory. READ MORE

6. 4. ASIP for Wireless Communication and Media

   Author : Johan Eilert; Dake Liu; Viktor Öwall; Linköpings universitet; []
   Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

   Abstract : While general purpose processors reach both high performance and high application flexibility, this comes at a high cost in terms of silicon area and power consumption. In systems where high application flexibility is not required, it is possible to trade off flexibility for lower cost by tailoring the processor to the application to create an Application Specific Instruction set Processor (ASIP) with high performance yet low silicon cost. READ MORE

7. 5. Types for XML with Application to Xcerpt

   Author : Artur Wilk; Wlodzimierz Drabent; Jan Maluszýnski; Franciois Bry; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; XML; types; Xcerpt; XML schema; ontologies; XML querying; Computer science; Datavetenskap;

   Abstract : XML data is often accompanied by type information, usually expressed by some schema language. Sometimes XML data can be related to ontologies defining classes of objects, such classes can also be interpreted as types. Type systems proved to be extremely useful in programming languages, for instance to automatically discover certain kinds of errors. READ MORE