This thesis evaluates and discusses the ABEL system, an interactive theorem prover, developed at the Department of Informatics at the University of Oslo. The ABEL system is ultimately intended to be an environment for ...

A way to avoid many of the difficulties encountered with conventional methods in D/A converters is to use a well-established technique called delta-sigma noise shaping~\cite{steven}. This technique will increase the ...

In software engineering most proposed technology have not been subject to a thorough investigation. Knowledge of the effects, strenghts, and weaknesses of technology is essential to ensure a successful transfer to industry ...

Det overordnede temaet i oppgaven er endringshåndtering i evolusjonære webutviklingsprosjekter. Evolusjonær utvikling kan karakteriseres ved at man har uferdige inkrementelle leveranser som utvikler seg mot å bli et ferdig ...

It is a well known fact in the database community that the ACID properties of transactions are too restrictive for long lasting collaboration efforts. Anfindsen (1997) shows that the only ACID property we really want to ...

The thesis conducts a study in how datasets obtained from parallel simulation can represented and filtered in a visualization system. The primary result of this thesis is the implementation of a visualization system, ...

This thesis describes the most common methods for view dependent multi-resolution triangulations for use in terrain modeling. A visualization program based on the algorithms presented by P. Lindstrom and V. Pascucci in ...

This thesis presents our study of medical students in their clinical practice and their use of mobile terminals, serving as information resources, in relation to the Knowmobile project. The main objective is to shed light ...

Denne hovedoppgaven ble påbegynt i januar 2001 ved Universitetet i Oslo, Institutt for informatikk. Oppgaven ble veiledet av Dag Langmyhr ved studieretningen for databehandling. Oppgaven beskriver et prosjektarbeid der ...

Oppgaven ser på hendelsesbasert kommunikasjon mellom komponenter i et distribuert system, og er den del av Distribuert Multimedia Jornalering (DMJ) prosjektet ved Simulasenteret på Fornebu. Oppgaven ser på tre ulike ...

In this cand.scient. thesis we propose a strategy for testing validity of decomposition of contract oriented specifications. The strategy is based on Abadi and Lamport's Composition Theorem for the Temporal Logic of Actions ...

Datamaskinen har gjennomgått store endringer de siste 50 årene, og fra å bli oppfattet som et verktøy, blir den nå av mange også oppfattet som et medium. I Norge er satsingsomfanget for IKT (Informasjons- og kommunikasj ...

The Bluetooth technology is starting to be common in accessories like cellular phones and personal data assistants. Although Bluetooth was started as a project to replace the cables between cellular phones and its accessories, ...

Parallel finite element solvers based on ILU preconditionings are developed, implemented and tested in two and three dimensions Laplace problem. The computational domain is decomposed into N subdomains for parallel ...

This document is a thesis for the master of science degree at the University of Oslo. Working with the Composite Hull Embedded Sensor System project group, I have worked with visualizing data from a ship hull monitoring ...

We study problems that comes up when Hoare logic is used to prove programs written in object oriented languages (i.e. Java). The main problem we study, is due to pointer aliasing. Traditional Hoare logic handles programs ...

This thesis is about interaction between different architectures in high performance computing for file system I/O. This is evaluated by performance, scalability and fault handling. What excel in a loosely coupled system ...

The cost of arrays are often (more or less) proportional to the number of elements. Often there are also technical difficulties in fitting a high number of elements and cables on the surface of a transducer. It is therefore ...

Suksess i dagens konkurranseutsatte programvareindustri er i økende grad avhengig av evnen til å reagere raskt på et marked i endring og endrede krav fra brukerne. Programvare har fått en økende økonomisk betydning, og ...

An electronic circuit is presented that computes the visual disparity between to input images. The output of the circuit, combined with the specification of the sensors/stereo camera that provides the images, can be used ...

Time synchronization is essential for the world as we know it. Everything from financial transactions to robot guidance depends on accurate time. In the high end industrial sector, where both accuracy and availability are ...

Frequently, effort estimates of software development projects are based on expert estimation , i.e., human judgment without much support from documented data of previous projects or estimation models. In many cases this ...

The importance of mobility nowadays is growing exponentially and who knows what we can expect in future from all the new wireless technologies? Thus there is an inexorable increase in need for mobile networking that is ...

The motivation for studying the issues of this paper comes from a possible use in controlling satelite signals. We wish to minimize the time spent when several signals are sent through a satelite-station. The speed is ...

The topic of this thesis is radiation testing of both bipolar and CMOS semiconductors. The semiconductors which is tested is intended to be used in the front-end control system of the upcoming ATLAS particle detector which ...

This is a Cand. Sicent.(M.Sc) thesis in computer science presented to the Department of Informatics at the University of Oslo. This thesis investigates the process of constructing a presentation, using multimedia and ...

The Cand. Scient. thesis explores the idea of combining languages for specification and experimentation in mixed approaches of software development. Extending on the idea that a mixed approach of analytical and experimental ...

This thesis presents a framework for modeling and developing temporal information systems. The framework defines a model driven development process which automatically transforms temporal system models into executable ...

This thesis treats the implementational and some theoretical aspects of the Q-Morph algorithm for 2D domains. The main application areas are within FE methods. Q-Morph uses an advancing front method for generating unstructured, ...

This thesis describes the design and implementation of a persistent distributed object oriented system and programming environment. It is built on an existing non-distributed server, Dworkin's Generic Driver (DGD). Focus ...

Oppgaven tar for seg problematikken rundt bufferhåndtering i forbindelse med ATM-svitsjer, og presenterer forskjellige løsningsmetoder på dette området. En bestemt løsningsmåte blir deretter presentert detaljert.

I denne oppgaven har jeg studert mobilitetsbaserte, kontekstoppmerksomme applikasjoner. Kort fortalt er dette applikasjoner som er utviklet for å støtte mobile PDA-brukere med tjenester basert på hvem de er, hvor de er, ...

The thesis investigates how local privacy control mechanisms can contribute to the development of intelligent and user-friendly location-aware mobile services. Privacy issues arise naturally in location-aware systems, since ...

Implementation of Elliptic Curve Cryptosystems. A short introduction to Elliptic Curve Cryptosystems with discussions regarding: * How to choose domain parameters to obtain good security * How to optimize scalar ...

The growing number of multimedia multicast applications makes security of such applications important. I have studied key management in IP-multicast in this master thesis. Only authorized members in a multicast group ...

I denne hovedfagsoppgaven har jeg sett på tjenestekvaliteten mellom et IPv4 nettverk og et IPv6 nettverk. For å se hvordan tjenestekvalitet kan bli bevart mellom disse, har oppgaven fått en naturlig vinkling mot migrering. IPv4 ...

Sammendrag Denne hovedfagsoppgaven presenterer, sammenligner og diskuterer tre flerapplikasjons operativsystem for smartkort. Presentasjonen tar for seg både de organisatoriske og de tekniske sidene med smartkort operativsystem. ...

:) Mangler sammendrag

A recognized problem facing system developers today is that the data modelling techniques and database technology in general have been outrun by current state-of-the-art software development technology and modern programming ...

The report describes the process of designing, building and evaluating a Simula compiler based directly on the multi-platform optimization and code generation framework of the GNU Compiler Collection (GCC). Utilization of ...

A component model is a defined set of services that assist the developer with traditionally difficult tasks such as transaction handling, synchronization, and security. The two component models Enterprise Java Beans 2.0 ...

Oslo airport/Gardermoen has one of the most sophisticated control towers in the world (2001). This paper describes and analyzes how air traffic controllers at Gardermoen work, i.e. how they cooperate, use tools and equipment ...

OUN (Oslo University Notation)is developed at the University of Oslo. It is a formal notation intended to be easier to understand and use. It is adjusted to support the development of distributed systems. In the rst part ...

During the last ten years the computer has shifted from primarily being a tool to primarily being a medium. Now integration of different types of media in the computer is possible, and one of the results of this integration ...

Abstract Line Integral Convolution (LIC), introduced in 1993 by Cabral and Leedom [1], is a powerful texture-based technique for vector field visualization. Based upon blurring an input texture locally along field lines ...

From the start of the software era in the 1940s until today, software development and maintenance have become increasingly more complex and expensive. It has therefore been of growing importance for software engineering ...

During the last decade, the computer have become more like a machine for processing media. Now, all types of media can be integrated in the computer, thus the computer can be regarded as a meta-medium. The integration of ...

Various methods for formal program verification have been around for a long time. Hoare logic is one such formalism for verification of imperative programs. When aliasing may occur in the programs, which is usually the ...

Multimediaapplikasjoner består ofte av store og tidsavhengige multimediadatatyper som f.eks. video og audio. I forhold til tradisjonelle datatyper stiller håndteringen av disse datatypene nye krav til systemet applikasjonen ...

During the course of this project an electrical circuit was developed. The resulting VLSI chip encodes an array of analog inputs into a digital code. The chip performs analog-to-digital conversion, intensity normalization ...

IEEE is currently standardizing a spatial reuse ring topology network called the Resilient Packet Ring (RPR, IEEE P802.17). The goal of the RPR development is to make a LAN/MAN standard, but also WANs are discussed. A ring ...

Hovedfokus i denne oppgaven er hvordan databaseteknologi har utviklet seg i takt med utviklingen av XML-teknologier og ønsket om mer generelle og ``tynne klienter'', og den tar for seg teori fra mange ulike domener som ...