SC Harvester Papers Database Interface

Affine Permutations of Matrices on Mesh-Connected Arrays

B. Lisper, S. Rajopadhye. In: . 1991

Meeting the requirements of knowledge management

K. Sandahl, H. Eriksson, Thomas Padron-McCarthy, Tomas Sokolnicki, B. Ă–sterlund. In: Expert Systems With Applications. 1991

Inverse remote procedure calls

A. Stoyenko, M. Aksit, J. Bosch. In: . 1991

A new heuristic for load-balanced assignment of objects and minimized network communication in distributed programs implemented through inverse remote procedure calls

A. Stoyenko, M. Aksit, J. Bosch. In: . 1991

A calculus for communicating systems with time and probabilities

H. Hansson, B. Jonsson. In: [1990] Proceedings 11th Real-Time Systems Symposium. 1990

A logic for reasoning about time and reliability

H. Hansson, B. Jonsson. In: Formal Aspects of Computing. 1990

Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure

B. Lisper. In: J. Parallel Distributed Comput.. 1990

The interactive space-time scheduler

B. Lisper. In: Microprocessing and Microprogramming. 1990

Edge: An extendible graph editor

Frances Paulisch, W. Tichy. In: Software: Practice and Experience. 1990

Matrix permutations of mesh-connected arrays

S. Rajopadhye, B. Lisper. In: IEEE International Symposium on Circuits and Systems. 1990

Preconditioning index set transformations for time-optimal affine scheduling

B. Lisper. In: Algorithmica. 1990

Using constraints to achieve stability in automatic graph layout algorithms

K. Böhringer, Frances Paulisch. In: . 1990

Persistence for Arbitrary C++ Data Structures

Frances Paulisch, S. Manke, W. Tichy. In: . 1990

Mesh-Connected Arrays

B. Lisper. In: . 1990

Specification for Verification

H. Hansson, B. Jonsson, F. Orava, B. Pehrson. In: . 1989