Browse

ftp://sics.se (99)

	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--93-03--SE.ps.Z, 19930525 Report-number ISSN-number T93:03 1100-3154 Intertool: Ett grafiskt gr nssnitt mot verifikationsverktyg av Roger Palmersj Swedish Institute of Computer Science Box 1263, S-164 28 Kista, Sweden April 1, 1993
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--93-04--SE.ps.Z, 19931020 A tool for rapid manual translation Magnus Nordstr m and Paul Pettersson dilemma@sics.se October1993 SICS technical report Swedish Institute of Computer Science Box 1263 S-164 28 KISTA Stockholm, Sweden Report-number ISSN-number T93:04 1100-3154 A tool for rapid manual translation by Magnus Nordstr m
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--93-06--SE.ps.Z, 19931116 Interaction Diagrams Joachim Parrow Swedish Institute of Computer Science Box 1263, S-16428 Kista, Sweden Royal Institute of Technology, Stockholm, Sweden Uppsala University, Sweden
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--93-05--SE.ps.Z, 19931207 R93:05 ISSN 0283-3638 Implementational Issues in GCLA: Compiling Control by Martin Aronsson Knowledge Based Systems Laboratory; 1993-11-17 Swedish Institute of Computer Science Box 1263 S - 164 28 Kista Sweden email: martin@sics.se _____________________________________________________
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--93-03--SE.ps.Z, 19931207 R93:03 ISSN 0283-3638 Planning the Construction of a Building by Martin Aronsson Knowledge Based Systems Laboratory; 1993-11-17 Swedish Institute of Computer Science Box 1263 S - 164 28 Kista Sweden email: martin@sics.se _____________________________________________________
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-01--SE.ps.Z, 19940110 Model Checking Mobile Processes (Full version)1 Mads Dam2 Swedish Institute of Computer Science Box 1263 S-164 28 Kista Sweden 1Preliminary version published as Model Checking Mobile Processes", Lecture Notes in Computer Science 715 (1993) pp. 22-36 2Work supported by ESPRIT BRA project 6454 CONFER"
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--94-01--SE.ps.Z, 19940122 Mumbling { User-Driven Cooperative Interaction Jussi Karlgren, jussi@sics.se January 22, 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-03--SE.ps.Z, 19940202 ISRN SICS-R\|94/03\|SE SICS research report R94:03 ISSN 0283-3638 Spoken Language Translator: First-Year Report by M-S. Agn as, H. Alshawi, I. Bretan, D. Carter, K. Ceder, M. Collins, R. Crouch, V. Digalakis, B. Ekholm, B. Gamb ack, J. Kaja, J. Karlgren, B. Lyberg, P. Price, S. Pulman, M. Rayner, C.
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-02--SE.ps.Z, 19940202 ISRN SICS-R{94/02{SE SICS research report R94:02 ISSN 0283-3638 Unfolding of Programs with Nondeterminism Bj orn Lisper R94:02 0283-3638 Unfolding of Programs with Nondeterminism by Bj orn Lisper Formal Design Techniques; February 2, 1994 lisper@it.kth.se Swedish Institute of Computer Science Box 1263
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-05--SE.ps.Z, 19940207 ISRN SICS-R\|94/05\|SE SICS research report R94:05 ISSN 0283-3638 Neural Networks for Wordform Recognition by Martin Eineborg and Bj orn Gamb ack R94:05 ISSN 0283-3638 Neural Networks for Wordform Recognition Martin Eineborg eineborg@sics.se Bj orn Gamb ack gam@sics.se February 1994 Natural Language
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-04--SE.ps.Z, 19940303 ISRN SICS-R\|94/04\|SE SICS research report R94:04 ISSN 0283-3638 Synergy Effects in Natural Language-Based Multimodal Interaction by Ivan Bretan and Jussi Karlgren R94:04 ISSN 0283-3638 Synergy Effects in Natural Language-Based Multimodal Interaction Ivan Bretan ivan@sics.se Jussi Karlgren jussi@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--91-14--SE.ps.Z, 19940316 1 L nkning av Prolog under C Kent Boortz Swedish Institute of Computer Science Box 1263, S-164 28 Kista, Sweden 1 september 1991 T91:14 Sammanfattning SICStus l nkmoduler ger m jlighet att blanda Prolog- och C-kod. Till skillnad fr n SICStus "Foreign Interface" kan anrop ske t b da h ll fr n Prolog till
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--91-13--SE.ps.Z, 19940316 1 SICStus maskinkodskompilering Kent Boortz Swedish Institute of Computer Science Box 1263, S-164 28 Kista, Sweden 15 augusti 1991 T91:13 Sammanfattning SICStus Prolog bygger p en WAM-emulator, Warrens Abstract Machine, skriven i C f r portabilitet. Denna rapport beskriver SICStus maskinkodsut kning som
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-07--SE.ps.Z, 19940318 Efficient Software Synchronization on Large Cache Coherent Multiprocessors Peter Magnusson Anders Landin Erik Hagersten psm@sics.se landin@sics.se erik.hagersten@eng.sun.com SICS Research Report T94:07 Swedish Institute of Computer Science Box 1263, S-164 28 Kista, SWEDEN February 18, 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--94-03--SE.ps.Z, 19940322 Design of Telephony Services In Lotos Jos e Luis Vivas March 22, 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-08--SE.ps.Z, 19940406 A polynomial algorithm for deciding bisimilarity of normed context-free processes Yoram Hirshfeld Mark Jerrumy Faron Mollerz Department of Computer Science, University of Edinburgh, The King's Buildings, Mayfield Road, Edinburgh EH9 3JZ, Scotland Dedicated to Robin Milner on the occasion of his 60th
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-09--SE.ps.Z, 19940406 A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes Yoram Hirshfeld School of Mathematics and Computer Science Tel Aviv University Israel Mark Jerrumy Department of Computer Science University of Edinburgh United Kingdom Faron Mollerz Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-10--SE.ps.Z, 19940922 R94:10 ISSN 0283-3638 Some Formal Aspects of AKL by Torkel Franz n ccp group email: torkel@sics.se SICS, Box 1263, S-164 28 Kista, Sweden
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-19--SE.ps.Z, 19941020 On Adaptable Support for Cooperative Work Mads Dam1 Swedish Institute for Computer Science 1Work supported by ESPRIT BRA project 6225 COMIC
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-12--SE.ps.Z, 19941020 Action-Tracking in DIVE Charles Grant Brown and Annika W rn carl@sics.se annika@sics.se Swedish Institute of Computer Science Box 1263, 164 28 Kista, Sweden
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-18--SE.ps.Z, 19941020 Reasoning about Higher-Order Processes Roberto M. Amadio Mads Dam CRIN-INRIA, Nancy 1 SICS, Stockholm 2 October 20, 1994 SICS Research Report RR:94{18 1CRIN-INRIA, BP 239, F-54506, Vandoeuvre, FRANCE, e-mail: amadio@loria.fr. The first author is partially supported by ESPRIT BRA 6454 CONFER, part of
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-2.ps.Z, 19941109 Reasoning about Higher-Order Processes Roberto M. Amadio Mads Dam CRIN-INRIA, Nancy 1 SICS, Stockholm 2 October 20, 1994 SICS Research Report RR:94{18 1CRIN-INRIA, BP 239, F-54506, Vandoeuvre, FRANCE, e-mail: amadio@loria.fr. The first author is partially supported by ESPRIT BRA 6454 CONFER, part of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-20--SE.ps.Z, 19941114 On the Decidability of Process Equivalences for the ss-calculus Mads Dam1 Swedish Institute of Computer Science November 14, 1994 SICS Research Report RR:94{20 1Work supported by ESPRIT BRA project 8130 LOMAPS"
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-3.ps.Z, 19941115 Analysing a ss-calculus Specification of a Cache-Coherence Protocol Preliminary Version LOMAPS\|SICS\|3 Lars-Henrik Eriksson and Fredrik Orava Swedish Institute of Computer Science y November 14, 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--93-05--SE.ps.Z, 19941213 T93:05 ISSN 1100-3154 Partial Translation Peter Magnusson psm@sics.se October 1993 Parallel Computer Systems Swedish Institute of Computer Science Box 1263, S-164 28 KISTA SWEDEN
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-14--SE.ps.Z, 19941214 R94:14 ISRN: SICS-R--94/14--SE ISSN: 1100-3638 The glass box user model for filtering Jussi Karlgren, Kristina H k, Ann Lantz, Jacob Palme, Daniel Pargman Departments of Computer and Systems Sciences, Computational Linguistics, and Psychology, Stockholm University Swedish Institute of Computer Science
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-07--SE.ps.Z, 19941228 ISRN SICS/R--91/07--SE Variable Shunting for the WAM Dan Sahlin and Mats Carlsson March 1991 SICS Research Report R91:07 ISSN 0282-3638 Swedish Institute of Computer Science Box 1263, S164 28 Kista, Sweden 2 Variable Shunting for the WAM Dan Sahlin and Mats Carlsson
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-08--SE.ps.Z, 19941228 SICS/R91:08 Programming Paradigms of the Andorra Kernel Language Sverker Janson Seif Haridi April 10, 1991 SICS Research Report R91:08 Swedish Institute of Computer Science Box 1263, S-164 28 KISTA, Sweden
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-11--SE.ps.Z, 19950115 SICS research report R90011 ISSN 0283-3638 SICS/R-90/9011 Contract Bridge as a Micro-world for Reasoning about Communicating Agents by Bj rn Gamb ck and Manny Rayner Contract Bridge as a Micro-world for Reasoning about Communicating Agents1 Bj rn Gamb ck Manny Rayner gam@sics.se manny@sics.se Knowledge
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-03--SE.ps.Z, 19950115 B 1 On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog Mats Carlsson SICS, Swedish Institute of Computer Science PO Box 1263 S-164 28 KISTA, Sweden
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-09--SE.ps.Z, 19950115 The Muse Approach to Or-Parallel Prolog Khayri A. M. Ali and Roland Karlsson Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden 5 December 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-02--SE.ps.Z, 19950115 KERNEL ANDORRA PROLOG AND ITS COMPUTATION MODEL JANUARY 9, 1990 Seif Haridi and Sverker Janson Swedish Institute of Computer Science Box 1263, S-164 28 KISTA, Sweden E-mail: seif@sics.se, sverker@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-17--SE.ps.Z, 19950115 MOVING THE SHARED MEMORY CLOSER TO THE PROCESSORS { DDM Erik Hagersten, Anders Landin and Seif Haridi SICS Research Report R90:17B May 1991.
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-03--SE.ps.Z, 19950115 Modal Logics for Mobile Processes Robin Milner , Joachim Parrowyand David Walkerz
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-13--SE.ps.Z, 19950115 A Logic for Reasoning about Time and Reliability Hans Hansson and Bengt Jonsson Swedish Institute of Computer Science, Box 1263, S-164 28 Kista, SWEDEN E-mail: hansh@sics.se, bengt@sics.se and Department of Computer Systems, Uppsala University SICS Research Report SICS/R90013 December 5, 1994
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-10--SE.ps.Z, 19950115
	ftp://sics.se/pub/SICS-reports/Reports/SICS-D--8--SE.ps.Z, 19950201 ISBN 91-7170-103-6 ISRN SICS/D--8--SE Toward Scalable Cache Only Memory Architectures Erik Hagersten A Dissertation submitted for the Degree of Doctor of Technology Department of Telecommunication and Computer Systems The Royal Institute of Technology Stockholm, Sweden First Edition October 1992 Second
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--93-02--SE.ps.Z, 19950306 R93:02 ISSN 0283-3638 Implementational Issues in GCLA: A- Sufficiency and the Definiens Operation by Martin Aronsson Knowledge Based Systems Laboratory; 1993-03-22 Swedish Institute of Computer Science Box 1263 S - 164 28 Kista Sweden email: martin@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-01--SE.ps.Z, 19950321 Formal Verification of a Leader Election Protocol in Process Algebra Lars- ake Fredlund SICS, Box 1263, S-164 28 Kista, Sweden fred@sics.se Jan Friso Groote Henri Korvery Department of Philosophy, Utrecht University Heidelberglaan 8, 3584 CS Utrecht, The Netherlands fjfg , korverg@phil.ruu.nl
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--93-01--SE.ps.Z, 19950412 RR 93:01ISSN - 0283-3638 Technical Diagnosis of Telecommunication Equipment An Implementation of a Task Specific Problem Solving Method (TDFL) using GCLA II by G ran Falkman & Jonas Warnby KBS-lab December 1992 goran@sics.se & jonasw@sics.se Swedish Institute of Computer Science Box 1263, S-164 28
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-15--SE.ps.Z, 19950418 An Argument for Simple COMA Ashley Saulsbury, Tim Wilkinson , John Cartery, Anders Landin and Seif Haridi z, Swedish Institute of Computer Science Box 1263, S-164 28 Kista, Sweden August 1, 1994 SICS Research Report Number : R94:15
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--94-08--SE.ps.Z, 19950503 ISRN SICS-T 94/08 SE V: A Visual Query Language for Multimodal Interfaces by Robert Nilsson and Kent Saxin Hammarstr m SICS Technical Report T94:08 ISSN 1100-3154 T94:08 ISSN 1100-3154 V: A Visual Query Language for Multimodal Interface June 1994 Natural Language Processing Group Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--94-13b--SE.ps.Z, 19950628 Report R94:13b ISRN SICS-R--94/13b--SE ISSN 0283-3638 Fixpoint Analysis of Type and Alias in AKL Programs by Thomas Sj land and Dan Sahlin January 15, 1995 email: {alf,dan}@sics.se telephone: +46 8 752 1542 or +46 8 752 1544 fax: +46 8 751 7230 Programming Systems Group Swedish Institute of Computer
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--94-04--SE.ps.Z, 19950807 Newsgroup Clustering Based On User Behavior \| A Recommendation Algebra Jussi Karlgren jussi@sics.se March 1994
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-5.ps.Z, 19951003 Optimizing Lazy Functional Programs Using Flow Inference Karl-Filip Fax en Dept. of Teleinformatics, Royal Institute of Technology, Electrum 204, S-164 40 Kista, tel: +46 8 752 13 78, fax: +46 8 751 17 93 kff@it.kth.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-07--SE.ps.Z, 19951004 ISRN SICS-R{95/07{SE SICS research report R95:07 ISSN 0283-3638 Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations Bj orn Lisper R95:07 0283-3638 Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations by Bj
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-05--SE.ps.Z, 19951013 ISSN 0283-3836 Report R95:05 ISRN SICS-R\|95/05\|SE SAGA Syntax Analyzer Generator for Agents Anders Andersson 13 October 1995 Programming Systems Group Swedish Institute of Computer Science Box 1263, S-164 28 KISTA, Sweden email: andand@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-13--SE.ps.Z, 19951019 ISRN SICS-R\|92/13\|SE SICS research report R92:13 ISSN 0283-3638 The Swedish Core Language Engine by Bj orn Gamb ack and Manny Rayner ISRN SICS-R\|92/13\|SE The Swedish Core Language Engine Bj orn Gamb ack and Manny Rayner December 1992 SICS research report R92:13 ISSN 0283-3638 Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-04--SE.ps.Z, 19951019 SICS The Engine-Scheduler Interface used in the Muse OR-parallel Prolog System Roland Karlsson Khayri A. M. Ali SICS research report R92:04 ISSN 0283-3638 The Engine-Scheduler Interface used in the Muse OR-parallel Prolog System March 1992 Roland Karlsson Khayri A. M. Ali SICS, Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-05--SE.ps.Z, 19951019 1 1. Introduction ..................................................................................... 1 2. GCLAII.......................................................................................... 1 2.1 The Definition........................................................................ 2 2.2
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-05--SE.ps.Z, 19951019 The Aurora Abstract Machine and its Emulator Mats Carlsson Swedish Institute of Computer Science PO Box 1263, S-16428 KISTA, Sweden P eter Szeredi Department of Computer Science University of Bristol Bristol BS8 1TR, U.K. Draft version: 19 October 1995 The Aurora Abstract Machine and its Emulator Mats
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-10--SE.ps.Z, 19951019 SICS T92:10 Using SICStus Objects in the Design of Graphical User Interfaces Thomas Sj land SICS August 1992 SICS Technical Report ISSN 1100-3154 Swedish Institute of Computer Science Box 1263, S-164 28 Kista, SWEDEN Using SICStus Objects in the Design of Graphical User Interfaces Thomas Sj land SICS,
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-12--SE.ps.Z, 19951019 ISRN SICS-R\|92/12\|SE SICS research report R92:12 ISSN 0283-3638 Lexical Acquisition: the Swedish VEX System by Bj orn Gamb ack ISRN SICS-R\|92/12\|SE Lexical Acquisition: the Swedish VEX System Bj orn Gamb ack September 1992 SICS research report R92:12 ISSN 0283-3638 Swedish Institute of Computer Science
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-13--SE.ps.Z, 19951019 The External Storage Facility in SICStus Prolog Hans Nilsson Swedish Institute of Computer Science, SICS Box 1263, S-164 28 Kista, Sweden and ELLEMTEL AB Box 1505, S-125 25 Alvsj o, Sweden 19 October 1995 R91:13
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-03--SE.ps.Z, 19951019 SICS How to Build your own OR-parallel Prolog System Roland Karlsson SICS research report R92:03 ISSN 0283-3638 How to Build your own OR-parallel Prolog System March 1992 Roland Karlsson SICS, Swedish Institute of Computer Science PO Box 1263 S-164 28 Kista, Sweden T HIS paper shows how to extend an
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-01--SE.ps.Z, 19951019 ISRN SICS-R--92/01--SE SICS research report R92:01 ISSN 0283-3638 A Host Interface to the DTM Network Bengt Ahlgren Stephen Pink Per Lindgren Lars H akansson Per Gunningberg Lotten Elmstedt Christer Bohm Mats Bj orkman A Host Interface to the DTM Network Bengt Ahlgreny Stephen Pinky Per Lindgrenz Lars H
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-15--SE.ps.Z, 19951019 ISRN SICS-R{91/15{SE SICS research report R91:15 ISSN 0283-3638 Formal Derivation of Concurrent Assignments from Scheduled Single Assignments Bj orn Lisper Formal Derivation of Concurrent Assignments from Scheduled Single Assignments Bj orn Lisper SICS research report R91:15 Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-06--SE.ps.Z, 19951019 A Prolog Compiler and its Extension for Or-Parallelism Mats Carlsson Swedish Institute of Computer Science PO Box 1263, S-16428 KISTA, Sweden Draft version: 19 October 1995 A Prolog Compiler and its Extension for Or-Parallelism Mats Carlsson Swedish Institute of Computer Science P.O. Box 1263, S-16428
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--90-10--SE.ps.Z, 19951019 Compositional Specification and Verification of Distributed Systems Bengt Jonsson Swedish Institute of Computer Science y and Dept. of Computer Systems, Uppsala University SICS Research Report SICS/R-90/90010 October 1990
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-09--SE.ps.Z, 19951019 SICS/R-91/91 SICS research report R91:09 ISSN 0283-3638 Strong normalizability in Martin-L of's Type Theory Clas L ofwall and Gunnar Sj odin Strong normalizability in Martin-L of's Type Theory Clas L ofwall and Gunnar Sj odin Swedish Institute of Computer Science Box 1263, S-164 28, KISTA, Sweden SICS
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--93-02--SE.ps.Z, 19951019 SICStus Prolog Library Manual January 1993 This Manual documents the SICStus Prolog Library. Written by Jonas Almgren, Stefan Andersson, Mats Carlsson, Lena Flood, Seif Haridi, Claes Frisk, Hans Nilsson, Jan Sundberg Swedish Institute of Computer Science PO Box 1263 S-164 28 KISTA, Sweden This manual
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--93-01--SE.ps.Z, 19951019 SICStus Prolog User's Manual January 1993 This manual is based on DECsystem-10 Prolog User's Manual by D.L. Bowen, L. Byrd, F.C.N. Pereira, L.M. Pereira, D.H.D. Warren Modified for SICStus Prolog by Mats Carlsson and Johan Wid en Extended for the Industrialization of SICStus Prolog by Johan Andersson,
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-17--SE.ps.Z, 19951019 A Performance Study of the DDM {a Cache-Only Memory Architecture Erik Hagersten, P ar Andersson, Anders Landin and Seif Haridi SICS Research Report R91:17 November 1991.
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-07--SE.ps.Z, 19951019 SICS Performance of Muse on Switch-Based Multiprocessor Machines Khayri A. M. Ali Roland Karlsson Shyam Mudambi SICS research report R92:07 ISSN 0283-3638 Performance of Muse on Switch-Based Multiprocessor Machines March 1992 Khayri A. M. Ali Roland Karlsson Shyam Mudambi SICS, Swedish Institute of
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-08--SE.ps.Z, 19951019 A Finitary Version of the Calculus of Partial Inductive Definitions SICS Research Report R92:08*) Lars-Henrik Eriksson Swedish Institute of Computer Science (SICS) Box 1263 S-164 28 KISTA, SWEDEN e-mail: lhe@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-19--SE.ps.Z, 19951019 DDM { A CACHE-ONLY MEMORY ARCHITECTURE Erik Hagersten, Anders Landin and Seif Haridi SICS Research Report R91:19 November 1991.
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--91-14--SE.ps.Z, 19951019 An Implementation of the Revised Internet Stream Protocol (ST-2) 8 S Craig Partridge and Stephen Pink Swedish Institute of Computer Science (SICS) Box 1263 S-164 2 tockholm, Sweden 4Research Report R91:1
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--92-14--SE.ps.Z, 19951019 ISRN SICS-R\|92/14\|SE SICS research report R92:14 ISSN 0283-3638 Question Answering in the Swedish Core Language Engine by Bj orn Gamb ack and Stefan Ljung ISRN SICS-R\|92/14\|SE Question Answering in the Swedish Core Language Engine Bj orn Gamb ack and Stefan Ljung December 1992 SICS research report
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-06--SE.ps.Z, 19951026 ISRN SICS-R- -95/06--SE SICS Research Report R95:06 ISSN 0283-3638 On the Computation of Fixpoints in Static Program Analysis with an Application to Analysis of AKL Erik Sch on 2 Report R95:06 ISRN SICS-R- -95/06--SE ISSN 0283-3638 On the Computation of Fixpoints in Static Program Analysis with an
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-09--SE.ps.Z, 19951218 1 Report R95:09 ISRN : SICS-R--95/09-SE ISSN : 0283-3638 Best Probability of Activation and Performance Comparisons for Several Designs of Sparse Distributed Memory Jan Kristoferson RWCP1 Neuro SICS2 Laboratory Box 1263, S 164 28 KISTA, SWEDEN Phone +46 8 752 15 00 Fax +46 8 751 72 30 E-mail:
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-08--SE.ps.Z, 19951218 1 ADAPTATION TO THE USER'S TASK Kristina H k SICS, Box 1263, S-164 28 Kista, Sweden E-mail: kia@sics.se, http://www.sics.se/~kia Fax: +46-(0)8-751 72 30, Phone: +46-(0)8-752 15 17 KEY WORDS: User modelling, adaptive explanations, task analysis
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-11--SE.ps.Z, 19951219 Report R95:11 ISRN : SICS-R--95/11-SE ISSN : 0283-3638 Some Comments on the Information Stored in Sparse Distributed Memory Jan Kristoferson RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden Email: janke@sics.se December 1995
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-10--SE.ps.Z, 19951219 Report R95:10 ISRN : SICS-R--95/10-SE ISSN : 0283-3638 Evaluation of a Fast Activation Mechanism for the Kanerva SDM Memory Roland Karlsson (roland@sics.se) RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden December 1995
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-12--SE.ps.Z, 19951222 Report R95:12 ISRN : SICS-R--95/12-SE ISSN : 0283-3638 Improving the Capacity of SDM Gunnar Sj odin RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden December 1995
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-13--SE.ps.Z, 19951222 Report R95:13 ISRN : SICS-R--95/13-SE ISSN : 0283-3638 Convergence and new operations in SDM Gunnar Sj odin RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden December 1995
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--89-16--SE.ps.Z, 19951228 1 FINDING OUT = ACHIEVING DECIDABILITY Manny Rayner and Sverker Janson Swedish Institute of Computer Science Box 1263, S-164 28 KISTA, Sweden manny@sics.se, sverker@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--89-15--SE.ps.Z, 19951228 1 Applying Explanation-Based Learning to Natural-Language Processing, part 2 Manny Rayner and Christer Samuelsson Swedish Institute of Computer Science Box 1263, S-164 28 KISTA Sweden manny@sics.se, sam@sics.se
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--95-14--SE.ps.Z, 19960119 1 Asynchronous transfer of video Asynchronous Transfer of Video Gunnar Karlsson Swedish Institute of Computer Science (SICS) Box 1263 S 164 28 Kista Sweden Video transfers across IP and ATM networks have received much research attention during the last ten years. Various video services are expected in
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--96-01--SE.ps.Z, 19960301 1 Individual Differences and Navigation in Hypermedia Kristina H k , Marie Sj linder and Nils Dahlb ck SICS, Box 1263, S-164 28 Kista, Sweden , kia@sics.se, http://www.sics.se/~kia DSV, Stockholm University/ KTH, Electrum 230, s-164 40 Kista, Sweden IDA, Link ping University, S-581 83 Link ping, Sweden,
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--96-02--SE.ps.Z, 19960416 Report R96:02 ISRN : SICS-R--96/02--SE ISSN : 0283-3638 Survey of Studies on Tactile Senses Seppo Pohja RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden March 1996
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--96-04--SE.ps.Z, 19960530 Report R96:04 ISRN : SICS-R--96/04-SE ISSN : 0283-3638 Compensating for Bias in the SDM Fast Activation Mechanism Roland Karlsson (roland@sics.se) RWCP1 Neuro SICS2 Laboratory Box 1263, S-164 28 Kista, Sweden May 1996
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--96-02--SE.ps.Z, 19960607 1 A theorem-proving approach to deciding properties of finite-control agents Extended abstract Torkel Franzen Swedish Institute of Computer Science Box 1263 S-164 28 Kista Sweden 1 Introduction In an effort to make this abstract more readable, the subject matter, the work done and the tentative
	ftp://sics.se/pub/SICS-reports/Reports/SICS-T--96-03--SE.ps.Z, 19960617 Report T96:03 ISRN: SICS-T--96/03-SE ISSN: 1100-3154 9,578$/ $8',2 7KUHH 'LPHQVLRQDO $XGLR LQ 9LUWXDO (QYLURQPHQWV by Daniel Adler DCE-Group; 1996-06-17 dce@sics.se Swedish Institute of Computer Science Box 1263, S-164 28 KISTA, SWEDEN Also Published: TRITA-NA-E9631 iii $%675$&7 Three-dimensional
	ftp://sics.se/pub/SICS-reports/Reports/SICS-R--96-06--SE.ps.Z, 19960812 1 An ATM Adaptation Layer for Reliable Transfers Gunnar Karlsson Swedish Institute of Computer Science Box 1263, S 164 28 Kista, Sweden, E mail gk@sics.se There has been much attention given to ATM Adaptation Layers (AAL) over the ten year history of ATM standardization. Yet none of the existing
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-9.ps.Z, 19961210 Polyvariance, Polymorphism and Flow Analysis Karl-Filip Fax en Dept. of Teleinformatics, Royal Institute of Technology Electrum 204, S-164 40 Kista, tel: +46 8 752 13 78, fax: +46 8 751 17 93 kff@it.kth.se
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-10.ps.Z, 19961210 Formalising and Prototyping a Concurrent Object-Based Language Lars- ake Fredlund 1, Jari Koistinen 2 and Fredrik Orava1 1 Swedish Institute of Computer Science, P.O. Box 1263, S-164 28 Kista, Sweden 2 Ericsson AB
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-7.ps.Z, 19961210 1 A theorem-proving approach to deciding properties of finite-control agents Extended abstract Torkel Franzen Swedish Institute of Computer Science Box 1263 S-164 28 Kista Sweden 1 Introduction In an effort to make this abstract more readable, the subject matter, the work done and the tentative
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-6.ps.Z, 19961210 Constraints as Processes Bj orn Victor1 and Joachim Parrow2 1 Dept. of Computer Systems, Uppsala University, Box 325, S-751 05 Uppsala, Sweden. 2 Dept. of Teleinformatics, Royal Institute of Technology, Electrum 204, S-164 40 Kista, Sweden.
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-12.ps.Z, 19961211 Toward a modal theory of types for the ss-calculus Roberto M. Amadio y CNRS, Sophia-Antipolis Mads Damz SICS, Kista June 13, 1996
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-11.ps.Z, 19961211 Modalities in Analysis and Verification Mads Dam Swedish Institute of Computer Science February 20, 1996
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-14.ps.Z, 19961212 Flow Inference, Code Generation, and Garbage Collection for Lazy Functional Languages Karl-Filip Fax en Dept. of Teleinformatics, Royal Institute of Technology Electrum 204, S-164 40 Kista tel: +46 8 752 13 78, fax: +46 8 751 17 93 kff@it.kth.se 1
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-13.ps.Z, 19961220 Compositional Verification of Mobile Process Networks Mads Dam Swedish Institute of Computer Science
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-16.ps.Z, 19970606 Trios in Concert Joachim Parrow Royal Inst. of Technology, Dep. Teleinformatics Electrum 204, S-16440 Kista, Sweden. email joachim@sics.se July 22, 1996
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-17.ps.Z, 19970606 Analysing, Transforming and Compiling Lazy Functional Programs Karl-Filip Fax en Dept. of Teleinformatics, Royal Institute of Technology Electrum 204, S-164 40 Kista tel: +46 8 752 13 78, fax: +46 8 751 17 93 kff@it.kth.se 1
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-15.ps.Z, 19970606 The Update Calculus (extended abstract, draft of May 16, 1997, 16:00) Joachim Parrow1 and Bj orn Victor2 1 Dept. of Teleinformatics, Royal Institute of Technology, Electrum 204, S-164 40 Kista, Sweden. 2 Dept. of Computer Systems, Uppsala University, Box 325, S-751 05 Uppsala, Sweden.
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-19.ps.Z, 19970607 Proving Trust in Systems of Second-Order Processes: Preliminary results Mads Dam Swedish Institute of Computer Science
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-18.ps.Z, 19970613 Combining Model Checking and Compositional Reasoning: Erlang, Agents, and Verification Mads Dam, Lars- ake Fredlund Swedish Institute of Computer Sciencey Keywords: Program Verification; Proof Systems; Erlang; Model Checking; Compositional Verification; Agents
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-1.ps.Z, 19970623 On the Decidability of Process Equivalences for the ss-calculus Mads Dam Swedish Institute of Computer Science
	ftp://sics.se/pub/LOMAPS/LOMAPS-SICS-4.ps.Z, 19970624 Proving Properties of Dynamic Process Networks Mads Dam Swedish Institute of Computer Science Box 1263 S-164 28 Kista Sweden