SC Harvester Papers Database Interface

A Process Calculus with Incomparable Priorities

H. Hansson, F. Orava. In: . 1992

A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdog

J. Ohlsson, M. Rimén, U. Gunneflo. In: [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing. 1992

Time and probabilities in specification and verification of real-time systems

H. Hansson. In: Fourth Euromicro workshop on Real-Time Systems. 1992

Casting unit for the production of a plurality of castings

F. Staub, Daniel Ståhl, J. Wortmann. In: . 1992

From the journals.…

H. Nwana, Ray C. Paton, T. Bench-Capon, M. Shave, M. Reinders et al. In: The Knowledge Engineering Review. 1992

Reasoning about Permutations in Regular Arrays

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

Design and Implementation of the REMAP 3 Software Reconfigurable SIMD Parallel Computer

L. Bengtsson, A. Linde, T. Nordström, B. Svensson, M. Taveniku et al. In: . 1992

Issues in Object-Oriented Real-Time Language Design

M. Aksit, J. Bosch. In: . 1992

Abstracting Inter-Object Communications Using Composition-Filters

M. Aksit, Ken Wakita, J. Bosch, Lodewijk Bergmans, A. Yonezawa. In: . 1992

Computing transitive closure on systolic arrays of fixed size

B. Lisper. In: Distributed Computing. 1991

Reactive planning for chromatography

H. Eriksson, K. Sandahl, Johnette Brewer, B. Österlund. In: Chemometrics and Intelligent Laboratory Systems. 1991

Knowledge-based planning for protein purification

H. Eriksson, K. Sandahl, Göran Forslund, B. Österlund. In: Chemometrics and Intelligent Laboratory Systems. 1991

Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus

H. Hansson. In: . 1991

Formal derivation of concurrent assignments from scheduled single assignments

B. Lisper. In: . 1991

Detecting static algorithms by partial evaluation

B. Lisper. In: . 1991