SODA

Items where Year is 1990

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Creators | Item Type | No Grouping
Jump to: A | C | E | F | G | H | J | K | L | M | P | S
Number of items: 30.

A

Ahlgren, Bengt and Lindgren, Per and Sirotkin, Teet (1990) State of the art in network security. [SICS Report]

Avatare, Anneli (1990) A graphical SDL editor produced by the Meta-Tool LOGGIE. [SICS Report]

C

Carlsson, Mats (1990) Design and Implementation of an OR-Parallel Prolog Engine. Doctoral thesis, The Royal Institute of Technology, Stockholm / SICS, Kista.

Carlsson, Mats (1990) On the Efficiency of Optimising Shallow Backtracking in Prolog. [SICS Report]

Carlsson, Mats (1990) A Prolog compiler and its extension for OR-parallelism. [SICS Report]

Carlsson, Mats and Szeredi, Péter (1990) The Aurora Abstract Machine and its Emulator. [SICS Report]

E

Ernberg, Patrik and Fredlund, Lars-Åke (1990) Identifying some bottlenecks of the concurrency workbench. [SICS Report]

Ernberg, Patrik and Fredlund, Lars-Åke and Jonsson, Bengt (1990) Specification and validation of a simple overtaking protocol using LOTOS. [SICS Report]

F

Franzén, Torkel (1990) Formal Aspects of Kernal Andorra: I. [SICS Report]

Fredlund, Lars-Åke (1990) Implementing a transational semantics for an imperative language. [SICS Report]

G

Gambäck, Björn and Rayner, Manny (1990) Contract bridge as a micro-world for reasoning about communication agents. [SICS Report]

Gäredal, Anette, et al. (1990) Knowledge acquisition procedures for diagnosis of performance problems. [SICS Report]

H

Hagersten, Erik and Haridi, Seif and Warren, David H.D. (1990) The cache-coherence protocol of the data diffusion machine. In: Proceedings of the Cache and Interconnect Workshop, 1990.

Hansson, Hans and Jonsson, Bengt (1990) A logic for reasoning about time and reliability. [SICS Report]

Haridi, Seif and Janson, Sverker (1990) Kernel Andorra Prolog and its computation model. In: Logic Programming: Proceedings of the Seventh International Conference. MIT Press. ISBN 0262730901

Haridi, Seif and Janson, Sverker (1990) Kernel Andorra Prolog and its Computational Model. [SICS Report]

J

Jonsson, Bengt (1990) Compositional specification and verification of distributed systems. [SICS Report]

Jonsson, Bengt (1990) A Fully Abstract Trace Model for Dataflow and Asynchronous Networks. [SICS Report]

K

Karlsson, Roland and Ali, Khayri Mohammed (1990) The Muse approach to OR-parallel Prolog. [SICS Report]

Kreuger, Per (1990) GCLA II - A definitional approach to control. Licentiate thesis, University of Göteborg.

L

Landin, Anders and Haridi, Seif and Hagersten, Erik (1990) Moving the shared memory closer to the processors: DDM. [SICS Report]

Lusk, E. and Butler, R. and Disz, T. and Overbeek, R. and Stevens, R. and Warren, David H.D. and Calderwood, A. and Szeredi, Peter and Brand, Per and Carlsson, Mats and Ciepielewski, Andrzej and Hausman, Bogumil and Haridi, Seif (1990) The Aurora or-parallel Prolog system. New Generation Computing, 7 (2,3). pp. 243-271. ISSN 0288-3635

M

Mathieu, Philippe and Keisu, Torbjörn (1990) On Constraint Programming. [SICS Report]

Mathieu, Philippe and Keisu, Torbjörn (1990) Relating Attribute Grammars and a Constraint-Prolog Programming Environment. [SICS Report]

P

Parrow, Joachim (1990) The Expressive Power of Parallelism. [SICS Report]

Parrow, Joachim (1990) Structural and Behavioural Equivalences of Networks. [SICS Report]

S

Sjödin, Peter (1990) Implementing LOTOS as asynchronously Communicating Processes. [SICS Report]

Sjöland, Thomas (1990) Generating AND-parallel Execution Expressions. [SICS Report]

Svensson, Claes and Sundberg, Jan (1990) MuseTrace : a graphic tracer for Or-parallel Prolog. [SICS Report]

Szeredi, Peter and Carlsson, Mats (1990) The Engine-Scheduler interface in the Aurora Or-Parallel Prolog system. University of Bristol, Computer Science Department, Bristol, UK.

This list was generated on Thu Dec 14 20:01:05 2017 CET.