Search
Now showing items 1-59 of 59
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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, ...
(Master thesis / Hovedoppgave, 2002)
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Research report / Forskningsrapport, 2002)
(Research report / Forskningsrapport, 2002)
(Research report / Forskningsrapport, 2002)
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Research report / Forskningsrapport, 2002)
(Master thesis / Hovedoppgave, 2002)
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Research report / Forskningsrapport, 2002)
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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, ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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.
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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. ...
(Master thesis / Hovedoppgave, 2002)
:)
Mangler sammendrag
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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, ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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, ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...
(Master thesis / Hovedoppgave, 2002)
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 ...