-
Khademi, Naeem; Welzl, Michael; Armitage, Grenville & Gjessing, Stein
(2016).
Improving the Fairness of Alternative Backoff with ECN (ABE).
Vis sammendrag
Abstract:
Explicit Congestion Notification (ECN) lets a bottleneck's Active Queue Management (AQM) mechanism inform an endpoint about congestion without having to drop a packet. A recently proposed sender-side modification called Alternative Backoff with ECN (ABE) enables reduced latency while maintaining good utilization with ECN. However, under certain circumstances ABE can produce a degree of unfair behavior between ABE-enabled TCP senders and conventional TCP senders. We propose specific guidance for configuring bottleneck AQMs to assist in fairness between ABE-enabled and conventional TCP flows. We evaluate our proposal using RED, then describe how it can be applied to other AQM mechanisms and incrementally introduced into the Internet.
-
Islam, Safiqul; Welzl, Michael & Gjessing, Stein
(2013).
One Control to Rule Them All - Coupled Congestion Control for RTP Media.
-
Maharjan, Sabita; Yuen, C; Chew, Y; Zhang, Yan & Gjessing, Stein
(2010).
Distributed Spectrum Sensing for Cognitive Radio Networks with Heterogeneous Traffic.
-
Dalbro, Martin; Veld, Aart Joakim in't; Gjessing, Stein; Riis, Håvard Kolle; Lande, Tor Sverre & Søråsen, Oddvar
(2008).
Building a test-bed for wireless sensor networking for under-water oil and gas installations.
-
Hansen, Audun Fosselie; Cicic, Tarik & Gjessing, Stein
(2006).
Alternative Schemes for Proactive IP Recovery.
-
Hansen, Audun Fosselie; Kvalbein, Amund; Cicic, Tarik; Gjessing, Stein & Lysne, Olav
(2005).
Resilient Routing Layers for Recovery in Packet Networks.
-
Kvalbein, Amund & Gjessing, Stein
(2005).
Protection of RPR strict order traffic.
-
Davik, Bjørn Fredrik; Kvalbein, Amund & Gjessing, Stein
(2005).
Improvement of Resilient Packet Ring Fairness.
-
Davik, Bjørn Fredrik; Kvalbein, Amund & Gjessing, Stein
(2005).
Resilent Packet Ring Low Priority Traffic Latency.
-
Davik, Bjørn Fredrik; Kvalbein, Amund & Gjessing, Stein
(2005).
An Analytical Bound for Convergence of the Resilient Packet Ring Aggressive Mode Fairness Algorithm.
-
Davik, Bjørn Fredrik; Kvalbein, Amund & Gjessing, Stein
(2005).
Performance Evaluation and Improvement of Non-Stable Resilent Packet Ring Behavior.
-
Davik, Bjørn Fredrik & Gjessing, Stein
(2005).
Applying the DiffServ Model to a Resilient Packet Ring Network.
-
Hansen, Audun Fosselie; Kvalbein, Amund; Cicic, Tarik; Gjessing, Stein & Lysne, Olav
(2005).
Resilient Routing Layers: an Overview of Technology and Applications.
-
Hansen, Audun Fosselie; Kvalbein, Amund; Cicic, Tarik & Gjessing, Stein
(2005).
Resilient Routing Layers for Network Disaster Planning.
-
Hansen, Audun Fosselie; Kvalbein, Amund; Cicic, Tarik; Gjessing, Stein; Lysne, Olav & Jensen, T.
[Vis alle 7 forfattere av denne artikkelen]
(2005).
Fast, Effective and Stable IP Recovery using Resilient Routing Layers.
-
Kvalbein, Amund; Hansen, Audun Fosselie; Cicic, Tarik; Gjessing, Stein & Lysne, Olav
(2005).
Fast Recovery from Link Failures using Resilient Routing Layers.
-
Cicic, Tarik; Kvalbein, Amund; Hansen, A.F. & Gjessing, Stein
(2005).
Resilient Routing Layers and p-Cycles: Tradeoffs in Network Fault Tolerance.
-
Cicic, Tarik; Hansen, A.F.; Gjessing, Stein & Lysne, Olav
(2005).
Applicability of Resilient Routing Layers for k-Fault Network Recovery.
-
Kvalbein, Amund; Gjessing, Stein & Davik, Bjørn Fredrik
(2004).
Performance Evaluation of an Enhanced Bridging Algorithm in RPR Networks.
-
Kvalbein, Amund & Gjessing, Stein
(2004).
Analysis and improved performance of RPR protection.
-
Gjessing, Stein; Lysne, Olav; Hansen, Audun Fosselie & Kvalbein, Amund
(2004).
The Vine Project: Towards Predictable Communication in Heterogeneous Networks.
-
Gjessing, Stein & Davik, Bjørn Fredrik
(2004).
The Stability of the Resilient Packet Ring Aggressive Fairness Algorithm.
-
Gjessing, Stein; Libæk, B & Teigen, P
(2003).
The Simula RPR simulator written i Java.
-
Engelsåstrø, M; Ingvaldsen, T & Gjessing, Stein
(2002).
IP Multicast: Idé som forenkler innholdsdistribusjon.
ToU Magasinet.
-
Gjessing, Stein
(2002).
Lessons Learned from Java Simulations.
-
Gjessing, Stein
(2002).
RPR's worst case scenario?
-
Gjessing, Stein & Davik, Bjørn Fredrik
(2002).
Performance Evaluation of Back-Pressure Fairness in RPR.
Vis sammendrag
A ring network needs a fairness algorithm that regulates each
station's access to the ring. In this paper we explore some of the
properties of back-pressure flow control to achieve fair allocation of ring bandwidth between stations. We investigate the stability of
different variants of back-pressure flow control, and suggest
improvements to the fairness algorithm proposed by the RPR working
group. We have developed a discrete event simulator in the
programming language Java and use this simulator to evaluate the
performance of the discussed back-pressure algorithms using different traffic scenarios.
-
Gjessing, Stein & Davik, Bjørn Fredrik
(2002).
Improved Fairness and Class of Service Behaviour in a Resilient Packet Ring.
-
Gjessing, Stein & Davik, Bjørn Fredrik
(2002).
Avoiding Head-of-Line Blocking using an Enhanced Fairness Algorithm.
Vis sammendrag
IEEE is currently conducting an effort to standardize a full duplex,
spatial reuse, ring network architecture, called the Resilient Packet Ring (IEEE P802.17). We discuss the relationship between spatial reuse and head of line blocking in such a ring. An algorithm that schedules packets individually based on destination address is outlined. We have written a model of the RPR architecture in the programming language Java, and simulated several scenarios in order to evaluate and compare our algorithm with a con- ventional ring fairness algorithm.Our performance evaluations show that it is possible to achieve significant higher throughput for traffic scenarios where head of line blocking traditionally has degraded performance. Where head of line blocking is not an issue, our algorithm behaves like the traditional one
-
Gjessing, Stein
(2001).
Evaluation of an Enhanced Fairness Algorithm that Avoids HOL Blocking.
-
Gjessing, Stein
(2001).
Flow Control algorithms revisited.
-
Gjessing, Stein
(2001).
C++ and Java: A Comparison and an Evaluation.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
An Improved PIM-SM Tree Recovery Algorithm.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
Performance Evaluation of PIM-SM Recovery.
-
Gjessing, Stein
(2001).
C# og Java - En sammenligning og evaluering.
-
Gjessing, Stein
(2001).
Fairness Algorithms Revisited.
-
Gjessing, Stein
(2001).
A Fairness Algorithm for Dynamic Spatial Reuse Avoiding HOL Blocking.
-
Gjessing, Stein
(2001).
Preliminary Performance Results from a Simple Java Model.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
An Improved PIM-SM Tree Recovery Algorithm.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
Performance Evaluation of PIM-SM Recovery.
-
Gjessing, Stein
(1999).
Tverrfaglig kommunikasjon- og multimediaforskning.
Vis sammendrag
Foredraget viser hvorfor kommunikasjon antagelig er den viktigste delen av informatikken og hvorfor "data"-behandling nå omfatter behandling av alle medier (bilde, film, lyd, tekst). Videre argumenteres det for informatikkens iboende samfunnsrelevans, dvs. at informatikk er et bruker- og anvendelsesstyrt fag.
-
Bjønnes, Lars Gullik; Bryhni, Haakon; Evang, Jan Marius & Gjessing, Stein
(1999).
Wireless Experimental Metropolitan Area Network Using IPv6 in Norway (WEMAN).
-
Strøm, Torstein; Halfen, Bjørn; Maus, Arne & Gjessing, Stein
(1999).
A HIC based SCI switch - implementation and performance.
Vis sammendrag
This paper describes a prototype switching unit that translates IEEE
1596 SCI packets to and from the serial IEEE 13555 HIC technology. The
unit has one SCI interface and twelve HIC interfaces. Up to seven of
these units can be placed back-to-back to make up an SCI switch.
Hardware and system behaviour is described. Latency and throughput are
presented for different configurations and different sizes of user
data. Finally the potential of an industrial version of this prototype
is evaluated.
-
Gjessing, Stein; Maus, Arne; Strøm, Torstein & Huse, Lars Paul
(1999).
Running the Synthetic Aperture Radar (SAR) Application on a switched SCI cluster.
Vis sammendrag
We describe how a real application, the Syntetic Aperture Radar (SAR)
program, is parallelized and run on a cluster of PCs connected by SCI.
We have a prototype SCI switch that uses the serial IEEE 1355 HIC
technology in its switching fabric. The prototype switch can not keep
up with the speed of the SCI interconnect, and we analyze and discuss
how switch performance influence the execution time of our parallelized
application.
-
Strøm, Torstein; Maus, Arne; Halfen, Bjørn & Gjessing, Stein
(1999).
A HIC Based SCI switch - implementation and performance.
Vis sammendrag
This paper describes a prototype switching unit that translates IEEE
1596 SCI packets to and from the serial IEEE 1355 HIC technology. The unit has one SCI interface and twelve HIC interfaces. Up to seven of these units can be placed back-to-back to make up an SCI switch. Hardware and system behaviour is described. Latency and throughput are presented for different configurations and different sizes of user data. Finally the potential of an industrial version of this prototype is evaluated.
-
Maus, Arne; Strøm, Torstein; Gjessing, Stein & Huse, Lars Paul
(1999).
Running the SAR Application on a Cluster of PCs Connected with SCI using a HIC based SCI switch.
Vis sammendrag
This paper describes a prototype SCI-switch and its behaviour in a real
application. The switching fabric uses the IEEE 1355 HIC technology to
switch SCI packets in a switch with up to seven SCI ports. In our lab
we have tested a switch with up to three SCI ports. We report on the
performance of a Synthetic Aperture Radar (SAR)-application when it is
run on a number of dual processor PCs connected by SCI and using our
HIC-based SCI switch.
-
Maus, Arne; Strøm, Torstein; Gjessing, Stein & Huse, Lars Paul
(1999).
Running the SAR-application on a cluster of PCs connected with SCI, using a HIC-based SCI-switch.
Vis sammendrag
This paper first describes testing of the HIC based SCI switch embedded
in a cluster of PCs running standard micro benchmarks (ping-pong
latency and throughput) of various data packet sizes and with various
configurations of 2 and 3 switched SCI rings. The switch itself is made
up of switching units that translates IEEE 1596 SCI packets to and from
the serial IEEE 1355 HIC technology. The limitations of this prototype
switch are then discussed. A real industrial application, the SAR
(Synthetic Aperture Radar) application was run through the switch
connected as a 3-way switch, varying the number of nodes in each
switched SCI ring. This paper concludes with a discussion of the
viability of an industrial version of this switch.
-
Kaxiras, S.; Gjessing, Stein & Goodman, J. R.
(1998).
A Study of Three Dynamic Approaches to Handle Widely Shared Data in Shared-Memory Multiprocessors.
-
Ryan, Stein Jørgen; Maus, Arne & Gjessing, Stein
(1997).
An operating system independent driver for an I/O based SCI interface.
-
Lysne, Olav & Gjessing, Stein
(1996).
On SCI-Configurations and Deadlocks.
-
Ryan, Stein Jørgen; Gjessing, Stein & Liaaen, M.
(1996).
Cluster communication using a PCI to SCI interface.
-
Lysne, Olav & Gjessing, Stein
(1996).
Constructing SCI-Configurations that are free from Deadlocks.
-
Gjessing, Stein; Bryhni, H. & Schinco, A
(1995).
Preliminary Simulation results of an SCI based Clustered Database Machine.
-
Gjessing, Stein; Lysne, Olav & Løchsen, K.
(1995).
Aspects of running the SCI-protocol over HIC networks.
-
Gjessing, Stein & Stone, Gregory B.
(1994).
The performance of the RamLink memory architecture.
-
Aboulenen, N; Gjessing, Stein; Goodman, J. R. & Woest, P
(1994).
Hardware Support for Synchronization in the Scalable Coherent Interface (SCI.
-
Gjessing, Stein; Stone, Gregory B. & Wiggers, H.
(1992).
RamLink: A High-Bandwidth Point-to-Point Memory Architecture.
-
Gjessing, Stein
(1991).
SCI - Cache Coherence.
-
Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen
(1991).
A Top Down Approach to the Formal Specification of SCI Cache Coherence.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1991).
On Verifying a Linked List System based on Message Passing.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1991).
A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
-
Gjessing, Stein; Johansen, Sverre; Krogdahl, Stein & Munthe-Kaas, Ellen
(1990).
Fast Distribution of Information in SCI-like Cache Protocols.
-
Gjessing, Stein & Munthe-Kaas, Ellen
(1989).
Trace Based Verification of Parallel Programs with Shared Variables.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1989).
Formal Specification and Verification of SCI Cache Coherence.
-
Gjessing, Stein & Munthe-Kaas, Ellen
(1988).
Verification of Parallel Programs with Shared Variables and Critical Regions.
-
Gjessing, Stein
(1982).
Programming Monitors in Simula.
-
Teymoori, Peyman; Hayes, David Andrew; Welzl, Michael & Gjessing, Stein
(2019).
Estimating an Additive Path Cost with Explicit Congestion Notification.
Universitetet i Oslo.
ISSN 978-82-7368-452-3.
Fulltekst i vitenarkiv
-
Boudko, Svetlana; Leister, Wolfgang; Gjessing, Stein & Holden, Lars
(2014).
Resource Adaptation Methods for Improving Multimedia Streaming Throughput to Mobile Nodes in Heterogeneous Wireless Environments.
Faculty of Mathematics and Natural Sciences, University of Oslo.
ISSN 1501-7710.
Vis sammendrag
The thesis formulates effective strategies for delivery of streaming content for mobile users in resource-limited networks. We consider the entire end-to-end delivery path from the source to the destination. In the work, we take into account 1) the presence of a large number of mobile devices operating inside an area with overlapping coverage of several mobile networks; and 2) the ability of the mobile devices to exploit several network technologies and to be connected to different access points simultaneously. We aim to improve the performance of the whole system by jointly considering users’ requirements and network limitations and by identifying and implementing adaptation mechanisms for different parts of the delivery path. Taking into account the complexity of the whole system, the thesis aims to design mechanisms operating in a decentralized manner with partial knowledge of the system.
For this purpose, we study the ADIMUS architecture which addresses the problem of distributing streaming content for mobile users. The ADIMUS architecture clearly separates the system into two distinct parts: the backbone part of the network and the wireless part. We study resource adaptation mechanisms for both of these parts that include 1) overlay routing for the backbone and 2) multi-access approaches for heterogeneous wireless network. For overlay routing in the backbone, we consider multipath streaming techniques. For the wireless part, we improve the utilization of resources by intelligently redistributing mobile devices among the available wireless connections. To evaluate the adaptation mechanisms for both of these parts, we build mathematical models for the overlay network and for the heterogeneous wireless network. These mathematical models are used as upper bounds for operation of the adaptation solutions. We also define the lower bounds to these solutions based on earlier proposed solutions from the literature.
For the overlay network, we develop and evaluate a distributed rate-allocation algorithm
for delivery of video in a Video-on-Demand (VoD) system built upon multipath delivery. The algorithm’s operation is based on information collected by overlay nodes. The algorithm is evaluated in the OMNet++ simulation environment and analyzed against the aforementioned lower and upper bounds. We show that the algorithm performs close to the optimal solution in terms of proportionally fair bandwidth allocation between receivers of the overlay part of the architecture.
For the heterogeneous wireless network, we consider the network selection to use for multiuser environments with possible multicast configurations that allows the network to perform load balancing, improve the users’ overall QoS, and increase the throughput of the networks. The novelty of the proposed solutions is that the network selection is done in a decentralized manner with only limited information available to decision makers. The solutions are evaluated through multiple simulations. We show that the solutions provide a substantial improvement in performance compared to their lower bounds.
We also investigate a multiple connection approach for multicast groups with mobile terminals connecting to several networks simultaneously and receiving data through multiple paths. We show that the total usage of resources is reduced compared to a single path approach.
-
Islam, Safiqul; Welzl, Michael; Gjessing, Stein & Khademi, Naeem
(2014).
Coupled Congestion Control for RTP Media.
University of Oslo.
ISSN 978-82-7368-405-9.
Fulltekst i vitenarkiv
Vis sammendrag
Congestion occurs at a bottleneck along an Internet path; multiple
flows between the same sender and receiver pairs can benefit from using
only a single congestion control instance when they share the same bottleneck.
These benefits include the ability to control the rate allocation
between flows and reduced overall delay (multiple congestion control instances
cause more queuing delay than one since each has no knowledge of
the congestion episodes experienced by the others). We present a mechanism
for coupling congestion control for real-time media and show its
benefits by coupling multiple congestion controlled flows that share the
same bottleneck.
-
Gjessing, Stein
(2006).
Rescilient Routing Layers and Optical Burst Switching.
Universitetet i Oslo.
ISSN 82-7368-295-1.
-
Hansen, Audun Fosselie; Kvalbein, Amund; Cicic, Tarik; Gjessing, Stein & Lysne, Olav
(2005).
A Comparison of Different Approaches for Calculating Resilient Routing Layers and Multiple Routing Configurations.
Simula Research Laboratory.
-
Davik, Bjørn Fredrik & Gjessing, Stein
(2005).
Improvement of Resilient Packet Ring Fairness.
Simula Research Laboratory.
-
Davik, Bjørn Fredrik; Kvalbein, Amund & Gjessing, Stein
(2005).
Congestion Domain Boundaries in Resilient Packet Rings.
Simula Research Laboratory.
-
Davik, Bjørn Fredrik & Gjessing, Stein
(2004).
Applying the DiffServ Model to a Resilient Packet Ring Network.
Simula Research Laboratory.
-
Hansen, Audun Fosselie; Cicic, Tarik; Gjessing, Stein & Lysne, Olav
(2004).
Resilient Routing Layers: A Simple and Flexible Approach for Resilience in Packet Networks.
Simula Research Laboratory.
-
Davik, Bjørn Fredrik; Yilmaz, Mete; Gjessing, Stein & Uzun, Necdet
(2003).
IEEE 802.17 Resilient Packet Ring � Overview and Background.
Simula Research Laboratory.
-
Gjessing, Stein
(2003).
The Simula RPR Simulator implemented in Java.
Simula Research Laboratory.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
Topology Construction for Inter-Domain Network Protocol Simulations.
Dep. of Informatics, Univ. of Oslo.
ISSN 82-7368-246-3.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
Topology Construction for Inter-Domain Network Protocol Simulations.
Department of Informatics.
ISSN 82-7368-246-3.
-
Cicic, Tarik; Gjessing, Stein & Kure, Øivind
(2001).
Tree Recovery in PIM Sparse Mode.
Department of Informatics.
ISSN 82-7368-243-9.
-
Maus, Arne; Strøm, Torstein; Gjessing, Stein & Huse, Lars Paul
(1999).
Final report on the testing of the SCI to HIC switch & Running the SAR (Synthetic Aperture Radar) application in a switched cluster of PCs.
ESPRIT/OMI.
Vis sammendrag
This combined delivery first describes testing of a HIC based SCI switch embedded in a cluster of PCs running standard micro benchmarks (ping-pong latency and throughput) of various data packet sizes and with various configurations of 2 and 3 switched SCI rings. The switch itself is made up of switching units that translates IEEE 1596 SCI packets to and from the serial IEEE 1355 HIC technology and is more thoroughly described in D4.1.1 and D 4.1.2 and the micro benchmarks has in more detail been reported in D4.1.4 and D4.1.5. The limitations of this prototype switch are then discussed. After these initial tests, a real industrial application, the SAR (Synthetic Aperture Radar) application was run through the switch connected as a 3-way switch, varying the number of nodes in each switched SCI rings. This deliverable concludes with a discussion of the viability of an industrial version of this switch.
-
Strøm, Torstein; Halfen, Bjørn; Maus, Arne & Gjessing, Stein
(1999).
Working SCI switch based on HIC components.
ESPRIT/OMI.
Vis sammendrag
This paper describes a prototype switching unit that translates IEEE
1596 SCI packets to and from the serial IEEE 1355 HIC technology. The unit has one SCI interface and twelve HIC interfaces. Up to seven of these units can be placed back-to-back to make up an SCI switch. Hardware and system behaviour is described. Latency and throughput are presented for different configurations and different sizes of user
data. Finally the potential of an industrial version of this prototype is evaluated.
-
Strøm, Torstein; Halfen, Bjørn; Maus, Arne & Gjessing, Stein
(1999).
Switched embedded workstation cluster exploiting the HIC based SCI switch.
ESPRIT/OMI.
Vis sammendrag
This report describes performance characteristics of an experimental HIC based SCI switch embedded in a cluster of PCs. Internally the switch translates IEEE 1596 SCI packets to and from the serial IEEE 1355 HIC technology. Architectually up to seven SCI rings can be connected to the switch, but due to limited resources, only a 2x2 and a 3x3 switch has been tested. This deliverable focuses on presenting a comprehensive set of low level latency and throughput figures for different configurations, and evaluating the state of this prototype switch and the potentials of an industrial version of this switch.
-
Lysne, Olav & Gjessing, Stein
(1995).
Aspects of running the SCI-protocol over HIC-networks.
Simula Research Laboratory.
-
Lysne, Olav & Gjessing, Stein
(1995).
Requirements imposed by SCI and ATM.
OMI-MACRAM\É project deliverable d3.1.1.
-
Gjessing, Stein & Munthe-Kaas, Ellen
(1991).
Formal Specification of Cache Coherence in a Shared Memory Multiprocessor.
Universitetet i Oslo.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1990).
Approaching Verification of the SCI Cache Coherent Protocol.
Dep. of Informatics, University of Oslo.
ISSN 82-7368-051-7.
Vis sammendrag
SCI is intended as an IEEE standard regulating how a number of
processors with local caches should communicate to produce the illusion
of accessing a common memory. This paper considers techniques for
verifying that certain parts of the SCI-standard will work as
intended.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1990).
A Top Down Approach to the Formal Specification of SCI Cache Coherence.
ISSN 82-7368-052-5.
Vis sammendrag
Scalable Coherent Interface (SCI) is a bus defined by an IEEE working group. Ther purpose of SCI is to be the interconnect in future shared memory multiprocessors. This report describes a layered approach to the specification of this cache coherence protocol.
-
Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen
(1990).
Formal Specification and Verification of SCI Cache Coherence.
Universitetet i Oslo.
-
Gjessing, Stein & Munthe-Kaas, Ellen
(1990).
Parallel Composition of Observable Processes with Shared Variables.
Universitetet i Oslo.
-
Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen
(1990).
Approaching Verification of the SCI Cache Coherence Protocol.
Universitetet i Oslo.
-
Gjessing, Stein
(1987).
Verification of Systems of Processes and Monitors -- Two examples.
Universitetet i Oslo.
-
Gjessing, Stein
(1985).
An Axiomatic Semantics of Concurrent Processes and Monitors.
Universitetet i Oslo.
-
Gjessing, Stein & Piene, Jo
(1984).
Communication between the S-2000 and Multibus equipment.
Sim-X.
-
Gjessing, Stein; Piene, Jo & Johnsen, K
(1984).
Slang/sla S-2000 Hardware Reference Manual. Edition 2.0.
Norsk Regnesentral and Sim-X.
-
Gjessing, Stein
(1983).
Verification of Monitors based on a partial correctness semantics.
Universitetet i Oslo.
-
Gjessing, Stein; Haugen, Øystein; Jensen, P. & Piene, Jo
(1983).
Mach-S: The Simula Workstation.
Norsk Regnesentral , Mach-S information.
-
-
Gjessing, Stein
(1982).
The syntax and the semantics of Slang -- A simpel S-code based language for the Mach-S.
Norsk Regnesentral - Mach-S information.
-
Gjessing, Stein & Piene, Jo
(1982).
Slang/S-2000 Hardware Reference Manual. Edition 1.0.
Norsk Regnesentral, Mach-S information.
-
Gjessing, Stein
(1979).
Microcomputer software design and programming using the concepts of processes and monitors -- a case study.
Universitetet i Oslo.
-
Gjessing, Stein
(1979).
Microcomputer Interrupt Servicing in an Environment of Processes and Monitors.
Universitetet i Oslo.
-
Gjessing, Stein; Schjefstad, T; Sjursen, S & Skog, K
(1979).
Modulær programmering av mikromaskiner ved hjelp av prosesser og monitorer.
UiT Norges arktiske universitet.
-
-
Gjessing, Stein
(1978).
MYINT -- MYLOC.
A/S Mycron.
-
Gjessing, Stein
(1978).
MYINT Users Manual.
AS Mycron.
-
Gjessing, Stein
(1978).
MYMUX -- Mycron Multiprocessor Executor V. 2.0.
A/S Mycron.
-
Gjessing, Stein
(1977).
Operativsystemer, Kompendium/Forelesningsreferat.
Universitetet i Oslo.