Export 6685 results:
Semantics and Verification of Monitors and Systems of Monitors and Processes." Distributed Computing 2, (1988)."
Detailed Specifications of the Communication Service and Protocols for the Multidatabase System In MAP761B project report, HMI Berlin., 1987.
An Example of Bivariate Interpolation With Translates of C0-Quadratic Box Splines on a Three Direction Mesh." Computer Aided Geometric Design (1987): 251-255,."
Language Support for Transactions in a Cooperative, Autonomous Environment In Proceedings IEEE TENCON'87. Seoul,, 1987.
An Open Multidatabase Architecture In Misc., 1987.
An S-Transaction Definition Language and Execution Mechanism In GMD report nr. 275, GMD., 1987.
Strategies for Integration and Interoperability (in Norwegian) In Proceedings DND Datakommunikasjon'87. Trondheim,, 1987.
Variations in Middle Cerebral Artery Blood Flow Investigated With Noninvasive Transcranial Blood Velocity Measurements." Stroke 18 (1987): 1025-1030,."
Verification of Systems of Processes and Monitors - Two Examples. Department of Informatics, University of Oslo, 1987.
An Element by Element Preconditioner for Iterative Equation Solvers In Proceedings of the 2nd international conference on Finite Element Methods in Water Resources, Lisboa, Portugal, Edited by B. e. al.., 1986.
An Element by Element Preconditioner for Iterative Equation Solvers In Talk at the 2nd International Conference on Finite Element Methods in Water Resources, Lisboa, Portugal., 1986.
The ISO File Service FTAM (in Norwegian) In Proceedings DND Datakommunikasjon'86. Oslo,, 1986.
An S-Transaction Definition Language and Execution Mechanism Based on Functional Programming and a General Transaction Protocol In MAP761B Internal Project Report, HMI Berlin(West)., 1986.
An Axiomatic Semantics of Concurrent Processes and Monitors. Department of Informatics, University of Oslo, 1985.
Bivariate Interpolation by Box Splines on a Three Direction Mesh. University of Oslo, 1985.
Databaser for Norsk-Norsk Næringsliv Og Offentlig Forvaltning In FORUT., 1985.
Løsning Av Navier-Stokes Likning Med Elementmetoden I to Og Tre Dimensjoner. Department of Mathematics, University of Oslo, 1985.
Communication Between the S-2000 and Multibus Equipment In Sim-X technical specification., 1984.
Connectionless Transport Service for DAT-X Implemented on a Mono Process Machine (in Norwegian). University of Tromsø, 1984.
Datastart, Maskinarbeidsbok I Turbo-Pascal and Compas-Pascal In Misc., 1984.
A Multi-Layered Operating System for Microcomputers, Microprocessing and Microprogramming." The Euromicro Journal 14 (1984): 45-54,."
Slang/sla S-2000 Hardware Reference Manual. Edition 2.0 In Norsk Regnesentral and Sim-X., 1984.
An Archive System for Primary Health Care Based on Simple Micros." Medicinal Informatics 8 (1983)."
Aspects of Semantics and Verification of Monitors. Department of Informatics, University of Oslo, 1983.
File Transfer Access and Management - Design Specification Based on Abstract Data Types In COST 11 bis VFS project, HMI-B 404, HMI Berlin(West)., 1983.