SODA

Items where Year is 1995

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 | B | C | E | F | H | K | L | M | R | S | W
Number of items: 28.

A

Ahlgren, Bengt and Björkman, Mats and Gunningberg, Per (1995) Towards predictable ILP performance-controlling communication buffer cache effects. In: Second International Workshop on High Performance Protocol Architectures (HIPPARCH '95), 11-12 Dec 1995, UTS, Sydney, Australia.

Ahlgren, Bengt and Björkman, Mats and Moldeklev, Kjersti (1995) The performance of a no-copy API for communication. In: IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems, 23-25 Aug 1995, Mystic, Connecticut, USA.

Andersson, Anders (1995) SAGA -- Syntax Analyzer Generator for Agents. [SICS Report]

B

Bretan, Ivan (1995) Natural Language in Model World Interfaces. [SICS Report]

C

Carlson, Björn and Carlsson, Mats (1995) Compiling and executing disjunctions of finite domain constraints. In: ICLP'95, Proceedings of the Twelfth International Conference on Logic Programming, 13-16 June 1995, Tokyo, Japan.

Carlson, Björn and Janson, Sverker and Carlsson, Mats (1995) The implementation of AKL(FD). In: ILPS'95, International Logic Programming Symposium, 4-7 Dec 1995, Portland, Oregon.

Carlsson, Mats (1995) SICStus Prolog user's manual. Swedish Institute of Computer Science, Sweden.

E

Eriksson, Lars-Henrik and Orava, Fredrik (1995) Formal specification and validation of a cache-coherence protocol. [SICS Report]

F

Fredlund, Lars-Åke and Groote, Jan Friso and Korver, Henri (1995) A Proof of a Leader Election Protocol in microCRL ($\mu$CRL). [SICS Report]

H

Hagsand, Olof and Pink, Stephen and Saulsbury, Ashley (1995) OS6: a distributed operating system for a next generation of computer networks. In: Proceedings of the IEEE International Workshop on Object Orientation in Operating Systems, July 1995, Lund, Sweden.

Höök, Kristina (1995) Adaption to the User's Task. [SICS Report]

K

Karlgren, Jussi and Bretan, Ivan and Frost, Niklas and Jonsson, Lars (1995) Interaction Models, Reference, and Interactivity for Speech Interfaces to Virtual Environments. In: 2nd Eurographics workshop on Virtual Environments, January 1995, Monte Carlo.

Karlsson, Gunnar (1995) Asynchronous Transfer of Video. [SICS Report]

Karlsson, Gunnar (1995) Capacity Reservation in ATM Networks. [SICS Report]

Karlsson, Gunnar and Djuknic, Goran (1995) The role of video in broadband communications: enabler and enhancer of applications, or hype? In: Proceedings of the Second International Workshop on Community Networking: Integrated Multimedia Services to the Home, June 1995, Princeton, NJ, USA.

Karlsson, Roland (1995) Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory. [SICS Report]

Kreuger, Per (1995) Computational Issues in Calculi of Partial Inductive Definitions. Doctoral thesis, University of Göteborg.

Kristoferson, Jan (1995) Best Probability of Activation and Performance Comparisons for Several Designs of Sparse Distributed Memory. [SICS Report]

Kristoferson, Jan (1995) Some Comments on the Information Stored in Sparse Distributed Memory. [SICS Report]

L

Lisper, Björn (1995) Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. [SICS Report]

M

Magnusson, Peter and Werner, Bengt (1995) Efficient memory simulation in SimICS. In: Proceedings of the 28th Annual Simulation Symposium, 25-28 Apr 1995, Santa Barbara, California, USA.

Moestedt, Andreas (1995) The DDMlite, design and implementation of a coma multiprocessor. Masters thesis, Lund University.

R

Rudström, Åsa (1995) Applications of Machine Learning. Licentiate thesis, University of Stockholm.

S

Saulsbury, Ashley and Wilkinson, Tim and Carter, John and Landin, Anders (1995) An argument for simple COMA. In: Proceedings of the First IEEE Conference on High Performance Computer Architecture, January 1995, Raleigh, North Carolina, USA.

Schön, Erik (1995) On the Computation of Fixpoints in Static Program Analysis with an Application to AKL. [SICS Report]

Sjödin, Gunnar (1995) Convergence and new operations in SDM. [SICS Report]

Sjödin, Gunnar (1995) Improving the Capacity of SDM. [SICS Report]

W

Waern, Annika and Stenborg, Ola (1995) A simplistic approach to keyhole plan recognition. [SICS Report]

This list was generated on Wed Mar 29 18:18:39 2017 CEST.