TopPublications+

Publications/publikasjoner - Lectures/foredrag - Letters/brev - Other

2013
Selective choice ‘feathering’ with XCHANs
Communicating Process Architectures 2013 (CPA-2013)
Proceedings of the 35th WoTUG Technical Meeting (pages xxx-xxx)
P.H. Welch et al. (Eds.)
Open Channel Publishing Ltd., 2013
ISBN ...
© 2013 The authors and Open Channel Publishing Ltd. All rights reserved.
More at Publication details
2012
XCHANs: Notes on a New Channel Type
Communicating Process Architectures 2012 (CPA-2012)
Proceedings of the 34th WoTUG Technical Meeting (pages 155-170)
P.H. Welch et al. (Eds.)
Open Channel Publishing Ltd., 2012
ISBN 978-0-9565409-5-9   
© 2012 The authors and Open Channel Publishing Ltd. All rights reserved.
More at Publication details
2009
New ALT for Application Timers and Synchronisation Point Scheduling
Coauthored with Per Johan Vannebo
Communicating Process Architectures 2009 (CPA-2009)
Peter H. Welch et. al. (Eds.)
IOS Press, 2009 (pages 135-144)
ISBN 978-1-60750-065-0
© 2009 The authors and IOS Press. All rights reserved
Read at Publication details
2007
High Cohesion and Low Coupling: the Office Mapping Factor
Communicating Process Architectures 2007 (CPA-2007)
Alistair McEwan, Steve Schneider, Wilson Ifill and Peter Welch (Eds.)
IOS Press, 2007 (pages 313-322)
ISBN 978-1-58603-767-3
© 2007 The authors and IOS Press. All rights reserved
Read at Publication details
2006
No Blocking on Yesterday’s Embedded CSP Implementation
(The Rubber Band of Getting it Right and Simple)
Follow-up after "From message queue to ready queue" (below)
Communicating Process Architectures 2006 (CPA-2006), Edinburgh, 17-20. Sept. 2006
Proceedings: Communicating Process Architectures 2006, Peter Welch, Jon Kerridge, and Fred Barnes (Eds.) IOS Press, 2006, pages 331-338, ISBN 1-58603-671-8
Read at Publication details
Så mye hadde vi. Så mye rakk vi. Men får de? (In Norwegian)
- Om utvikling av programvare med "interne" releaser basert på lovte (og holdte) releasedatoer (funksjonalitet kan skli) i stedet for definert funksjonalitet (med frustrerte kunder). Fra et forsøk.
- About software incremental "internal" releases based on promised and held release days (functionlity may be delayed) instead of set functionality (with frustrated customer). From a case study.
Teknisk Ukeblad internett februar 2006 og nr. 15, mai 2006, side 71
Read at Publication details (in Norwegian)
2005
From message queue to ready queue
Case study of a small, dependable synchronous blocking channels API
"Ship & forget rather than send & forget"
First ERCIM Workshop on Software-Intensive Dependable Embedded systems,
 in cooperation with
31st EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)
Porto, Portugal, 30. August - 3. Sept. 2005
Proceedings: ISBN 2-912335-15-9, IEEE Computer press
Read at Publication details
Followed up in "No Blocking on Yesterday’s Embedded CSP Implementation" (above)
Usikre meldinger i dataverdenen ("Unsafe messages in the data world")
Det er ikke noe annerledes mellom dataprogrammer enn mellom oss mennesker. Har du noe å si er det sikrere å basere seg på avtalt oppmøte, enn brev uten kvittering - overlatt til et stresset postverk. Dette er det mange programmerere som vet. Flyene, bilene og mobiltelefonene fungerer. Men, kanskje ikke alltid.
- There is not much difference between computer programs and humans. If you have something to say its is better to rely on a rendezvous, than a letter with no acknowledge - left to a stressed postal administration. Many programmers don't know this. The airplanes, cars and mobile phones work. But perhaps, not always.
Teknisk Ukeblad nr. 5, februar 2005, side 26
3/4 side kronikk (3/4 page chronicle)
Read at Publication details (in Norwegian)
2001
From safe concurrent processes to process-classes?
A sketch level only suggestion for a safe and aliasing-free and (almost?) "object-oriented" (OO) language. The concurrent language occam 2 is used as catalyst language. (These are novel ideas to OO which I have never seen before. I'd be very happy for feedback.)
In: Communicating Process Architectures 2001, Alan Chalmers, Majid Mirmehdi and Henk Muller (Eds.), IOS Press, NL, 2001, Pages 283-303, ISBN 1 58603 202 X (IOS Press) In: Concurrent Systems Engineering Series (ISSN 1383-7575), Volume 59
CPA-2001
Read at Publication details
CHANnels to deliver memory?
A sketch level only suggestion for assigning memory objects to processes over a CHANnel like construct, enabling timeout and handling within the powerful ALT construct. The concurrent language occam 2 is used as catalyst language. Since memory allocation is nondeterministic, and the ALT structure handles nondeterminism, the suggested solution has moved memory allocation up one semantical level. (These are novel ideas to memory handling which I have never seen before.)
In (see above): Pages 305-308
Read at Publication details
Operativsystemet - Dataprogrammet som gir maskinene handlekraft
P2-Akademiet - NRK P2s populærvitenskapelige foredragsserie. (28.6.2001)
I boka "P2-Akademiet X bind 24", side 55-68.
ISBN 82-7118-281-1, ISSN 0808-6621 (2002)
Se www.nrk.no/programmer/radio/p2_akademiet/
Les foredraget her.
Bind 'X' med innholdsfortegnelse på vidarforlaget.no
"The operating system - The computer program which gives the machines power to act."
In Norwegian Broadcasting Corporation (NRK P2), "P2 Academy" popular science lecture- and book series.
2000
Protocol design: you get what you put
A penny's worth of advice and a Java generic Protocol class.
Dedicated Systems Magazine 2000 - Q3,  pages 60-65, www.dedicated-systems.com (Article)
Read at Publication details
CSP: arriving at the CHANnel island - Industrial practitioner's diary: In search of a new fairway
This paper is a non-academic hands-on log of practical experiences of software engineering problems, where the process leading to the decision to use CSP to program real-time systems is on trial.
In "Communicating Process Architectures", P.H. Welch and A.W.P. Bakkers (Eds.), IOS Press, NL, 2000, Pages 251-262, ISBN 1 58603 077 9, ISSN: 1383-7575
CPA-2000 conference (In the series: "WoTUG-23"), Communicating Process Architectures, University of Kent at Canterbury, UK, 10-13. Sept. 2000, wotug.ukc.ac.uk/cpa2000/
(Paper)
Read at Publication details
Safer multitasking with communicating sequential processes (CSP)
Taking the pain out of multitasking.
Designing software for multitasking and multiprocessing systems is one of the most difficult things to get right, as many failures in the field testify. The author claims that the theory of communicating sequential processes (CSP) can streamline development and produce fewer errors. It has formed part of dedicated languages such as Ada and occam but can also be easily applied to more popular languages such as C and Java.
Embedded Systems, June 2000, page 57-68 (Cover article)
Read at Publication details
1999
Another side of SPoC: occam's ALTer ego dissected with PC-lint
Programming of real-time embedded systems. Automatic generation and verification of source code.
In "Architectures, Languages and Techniques for concurrent systems",. Edited by B.M.Cook.  Pages 19-36, ISBN 90 5199 480 X, ISSN 1383-7575, IOS Press, NL
WoTUG-22 conference: 11-14 April 1999, Department of Computer Science, Keele University, UK, www.keele.ac.uk/depts/cs/events/wotug22/ (Paper)
Read at Publication details
Trygt med Java? - Safe with Java?
"Med utgangspunkt i kritikk fra dansken Per Brinch Hansen setter kronikkforfatteren spørsmålstegn ved sikkerheten." - Referring to criticism by Per Brinch Hansen the feature article author questions the safety.
Teknisk Ukeblad, 146 Årgang, nr. 32, 2. september 1999, side 54
Kronikk
Read at Publication details (in Norwegian)
1998
Non-preemptive occam in DSP real-time system
Machine-generated ANSI-C implements runnable occam in Autronica GL radar-based fluid level gauge. Case study and reflections.
Real-Time Magazine 98-3, p.83-90 (Article)
Read at Publication details
PAR and STARTP Take the Tanks
The article describes how SPoC (Southampton Portable occam Compiler) has been used - together with hand-written C - in Autronica's new GL radar-based fluid level gauge.
In "Architectures, Languages and Patterns for Parallel and Distributed Applications", p.1-18. Edited by P.H.Welch, ISBN 90 5199 391 9, ISSN 1383-7575, IOS Press, NL
WoTUG-21 conference: 5-8 April 1998, Computing Laboratory, University of Kent at Canterbury, UK, wotug.ukc.ac.uk/parallel/groups/wotug/wotug21/ (Paper)
Read at Publication details
1996
Churchills elektroniske hemmelighet
- About Bletchley Park, Alan Turing and turing-machines.
Om Bletchley Park, Alan Turing og turing-maskiner.
DATATID 13-14/96 (Artikkel)
Les nyinskannet utgave (2014) på http://www.teigfam.net/oyvind/home/technology/095-churchills-elektroniske-hemmelighet/
Men jeg lar de gamle filene ligge:
Les DataTid_13-14_96/BletchleyPark.html - innskannet (in Norwegian)
Les DataTid_13-14_96/BletchleyPark_text.html - kun tekst (in Norwegian)
Ping-Pong scheme uses semaphores to pass dual-port-memory privileges
Numerous schemes for passing data between processors and dual-port memory are possible. However, a Ping-Pong scheme uses just three semaphores, uses no state information in the dual-port memory, and does not depend on time.
EDN, June 6, 1996, p.179-184 (Article)
Read at Publication details
1993
Transputers and MS-Windows
Case Study of a Development Process. Extended Summary (Paper)
NTUG'93. Third Nordic Transputer Conference, 14-15 May 1993, Gentofte, Copenhagen, Denmark
Authored together with Thor Vollset
Read at Publication details

TopLectures

Publications/publikasjoner - Lectures/foredrag - Letters/brev - Other

2016
CPA 2016 fringe presentation: Messing Around with Timeouts. In Contracts?
Also see at Publication details
Invited guest lecture NTNU: From hard microseconds to speedy years. Real time in the industry
Also see at Publication details
2015
Two CPA 2015 fringe presentations: Not that blocking! and Not that concurrent!
Also see at Publication details
Gjesteforelesning NTNU: Fra harde µ-sekunder til forte år
Also see at Publication details
2014
Gjesteforelesning NTNU: Fra harde µ-sekunder til forte år
Also see at Publication details
embedded.TRD: Go-style concurrency
CSP and process-oriented programming
Even after a long history of channel-based concurrency it is not mainstream
In the light of Google’s new programming language Go, this lecture will search for shores around the Channel Islands.
Also see at Publication details
2013
Gjesteforelesning NTNU: Fra harde µ-sekunder til forte år
Also see at Publication details
2012
Gjesteforelesning NTNU: Fra harde µ-sekunder til forte år
Also see at Publication details
2010, 2011
Gjesteforelesning NTNU: Fra harde µ-sekunder via mjuke sekunder til forte år
Also see at Publication details
Gjesteforelesning HiST: Fra sekvensielt til parallelt (og multikjerne)
Also see at Publication details
2009
Gjesteforelesning NTNU: Fra harde µ-sekunder via mjuke sekunder til forte år
Also see at Publication details
Gjesteforelesning HiST: Fra sekvensielt til parallelt (og multikjerne)
Also see at Publication details
2008
Gjesteforelesning NTNU: Fra harde µ-sekunder via mjuke sekunder til forte år (etc.)
Also see at Publication details
2007
Gjesteforelesning NTNU: Fra harde µ-sekunder via mjuke sekunder til forte år
Also see at Publication details
2006
Gjesteforelesning NTNU: gjennomgang av foredrag og et verktøy
Also see at Publication details
Fra harde µ-sekunder via mjuke sekunder til forte år
From message queue to ready queue
A NetLOGO based Message Sequence Diagram trace tool developed for AFS
Note 7
2005
Gjesteforelesning NTNU: gjennomgang av 1½ foredrag
Also see at Publication details
1. Fra harde µ-sekunder via mjuke sekunder til forte år
2. From message queue to ready queue
2004
Fra harde µ-sekunder via mjuke sekunder til forte år. Sann tid i industrien
NTNU, fag TTK 4145, Real-Time Programming (mer..)
Gjesteforelesning, 12. oktober 2004
www.itk.ntnu.no - Institutt for teknisk kybernetikk
Fakultet for informasjonsteknologi, matematikk og elektronikk
Les i Publication details
2001
Operativsystemet - dataprogrammet som gir maskinene handlekraft
Se "Publications" kapittel.
2000
Mission impossible? Encapsulate that aliased alien!
Between need and bleed: Aliasing in computer languages.
Aliasing is when several different identifiers in a computer program refer to the same object. This may give rise to bugs as variables change their values seemingly on their own, if there is a reader/writer role conflict in the computer program. Examples in Fortran, C, occam and Java are shown, and an interesting trait about object-oriented (oo) programming languages is also shown.
Lunch seminar, 10.Nov.2000
Institutt for telematikk, NTNU, Trondheim, Norway
Read at Publication details
1999
Java - sanntid? - Java - Real-time?
Real-time Java is coming, but Java lacks a lot and it is not scalable...
Lunch seminar, 1.Oct.1999
Institutt for telematikk, NTNU, Trondheim, Norway
Read at Publication details (in Norwegian)
1998
Occam - et blindspor? - Occam - a dead end?
This paper argues fiercely that real-time systems designed with a paradigm that has some formal background, and implemented with a mapping as close to 1-1 as possible, yields higher quality systems.
SISU Forum 1998, IT-Industriens Utviklingsforum, Metoder for utvikling av sanntidssystemer
Klækken hotell 17.-18.nov.1998 (Forelesning)
Read at Publication details (in Norwegian)
1996
Sanntidsprogrammering - Språkstøtte for "task", hva er det?
What is the difference between real-time task programming by coding conventions and by language support?
Lunsj-gjesteforelesning (Forelesning)
Faglig Forum, Høgskolen i Sør-Trøndelag (HiST), 26.1.1996
Java threads and the Commstime program
At WoTUG-19 at The Nottingham Trent University, UK, April 1996
Java's 1.0 PipedInput/OutputStream classes seem impractical to use because of an implementation error at Sun!
Spontaneous presentation in Special Interest Group (SIG)
My files are zipped here.
The workshop is at http://wotug.org/parallel/groups/wotug/java/
This workshop was the kick-off for the work of the JCSP (Java Communicating Sequential Processes) library at University of Kent at Canterbury and CJT (Communicating Java  Threads) library at University of Twente
1995
The Game of Life and the Art of maintaining occam
Invited lecture at Industrial Session 
WoTUG-18 at The University of Manchester, UK, April 1995
Erfaring med transputere i et av Autronicas maritime produkt
Gjesteforelesning 
Fag Mikroprosessorteknikk III, Høgskolen i Gjøvik, 24.4.1995
1994
Sanntidssystemer
Gjennomgang av et sanntidssystem realisert som et meldingsbasert system programmert i occam.
Gjesteforelesning
Fag Programkonstruksjon, Trondheim Ingeniørhøgskole, 24.3.1994
1993
Sanntidssystemer - occam og transputere, kjerringa mot strømmen?
Gjesteforelesning
Fag Programkonstruksjon, Trondheim Ingeniørhøgskole, 23.3.1993
1992
Sanntidssystemer - occam og transputere, kjerringa mot strømmen?
Gjesteforelesning
Fag 43554, Sanntids datateknikk, Norges Tekniske Høgskole (NTH), 27.4.1992
1991
Datamaskinsystemer
Nisjeprodukter, brannvarslingssystemer, krav til pålitelighet og feiltoleranse (Othar Johansen)
Bruk av transputere - framtidsvurdering (Teig)
Gjesteforelesning
Fag 45205, Datamaskinsystemer, Norges Tekniske Høgskole (NTH), 21.10.1991

TopLetters

Publications/publikasjoner - Lectures/foredrag - Letters/brev - Other

2001
C++ Aliasing
Letter commenting on: Mark Mitchell's "Type-Based Alias Analysis" (DrDobb's Oct.2000)
Dr.Dobb's Journal, January 2001, p.12 
The Dr.Dobb's Journal CD-rom will contain this letter. It's externally indexed
Read at Publication details
1998
Java Deadlock
Letter about Allan Vermeulen's article "Java Deadlock" in Dr.Dobb's Journal, Sept. 1997. Deadlock does not have to involve two parties only, any number of resources waiting for each other in a ring will cause deadlocks to happen.
Dr.Dobb's Journal, January 1998, p.10
Read at Publication details
1996
Instansieringen av Java - The instanciating of Java
Comment to article by John C. Dvorak (PC Magazine Norge, June 1996). Contrary to Dvorak's opinion, Java is considered a language with interesting prospects, especially the multithreading support - even if the language has no deep understanding of how threads must behave to cooperate correctly.
PC Magazine Norge, 9 1996
Read at Publication details (in Norwegian)

TopOther

Publications/publikasjoner - Lectures/foredrag - Letters/brev - Other

2012
Og der sto, du. 24 kortprosatekster av Øyvind Teig
Bok
ISBN 978-82-997815-3-4 etc. Boka har egen side
2008
Tøyservietten og andre historier. 24 kortprosatekster av Øyvind Teig
Bok
ISBN 978-82-997815-0-3 etc. - Boka har egen side
"Katedralen" (in Norwegian)
Kortposatekst, i  papirutgaven av bladet "Elektronikk" #4, 2008, s. 46 under "På siste siden". Finnes også i boka "Tøyservietten og andre historier" (ovenfor) ("Elektronikk" på nettet: http://www.elektronikknett.no/) Les her: Elektronikk_4_2008/index.html
2004
"Blått stoff" - Dikt, fortelling - Utgitt som bok
Bok
ISBN: 82-300-0096-4 etc. - Les om boka eller bestill. Se også 2002 omtalen på nettet, omtalt nedenfor.
..2004 - Mari!
Mari og meg
Livet gikk videre! Mari og jeg giftet oss 29. mai 2004!
Life went on! Mari and I married 29th of May, 2004! See links (above).
2002
Operativsystemet - dataprogrammet som gir maskinene handlekraft
November: boka er kommet. Jeg fikk med dedikasjon til Kari. Se lenger opp.
"Blått stoff" - Dikt, fortelling
Utgitt som bok i 2004, se ovenfor.
..2002 - Kari!
Kari
Karis liv er over. Noen av tårene har jeg lagt igjen spor etter på ../poet/index.html - "Dikt 1-3" og "Dikt 4-6". Utgitt som bok i 2004, se ovenfor.
-- Helt andre krefterfaringer har jeg tatt for meg på ../uma/index.html - "Reisen fra Karlsvogna". Om diktene
-- Kari's life has ended. See links (above)
2001
'Gullbølgen' - ('The Golden Wave')
Vinner av KMSS-prisen "Gullbølgen" for initiativet til den interne konferanseserien Helix. Organisert sammen med Børge Håvard Jenssen. - KMSS award recipient for initiation of the Helix company-internal conference series. Organised with Børge Håvard Jenssen.
Read more /les mer
1988
Real-time executive for 8051-type single-chip microcomputers
A paper written internally at Autronica in 1988 with the purpose to be shown around. Read more at pub_details.html#RTX-51

© Øyvind Teig