Export 8343 results:
Filters: Filter is   [Clear All Filters]
L. Briand, V. Basili, and C. Hetmanski. Providing an Empirical Basis to Software Testing and Verification In IEEE International Symposium on Software Reliability Engineering (ISSRE). Publisher, 1992.
S. Gjessing, D. B. Gustavson, D. V. James, and H. Wiggers. "A RAM Link for High Speed." IEEE Spectrum (1992).
S. Gjessing, G. Stone, and H. Wiggers. RamLink: a High-Bandwidth Point-to-Point Memory Architecture In Proceedings CompCon 1992. San Fransisco, 1992.
A. M. Bruaset, and A. Tveito. "RILU Preconditioning; a Computational Study." J. Comput. Appl. Math. 39 (1992): 259-275,.
S. Gjessing, J. R. Goodman, D. B. Gustavson, D. V. James, and E. H. Kristiansen. "The SCI Cache Coherence Protocol." In Scalable Memory Multiprocessors, edited by M. Dubois and S. Thakkar. Kluwer Academic Publishers, 1992.
E. Arge, P. G. Holm, and H. P. Langtangen. A Self-Instructing Course in Numerical C++ Programming. Center for Industrial Research, 1992.
H. P. Langtangen. A Self-Instructing Course in Unix Utilities. Center for Industrial Research, 1992.
B. Gjevik, O. Høvik, and H. Moe. Simulering Av Tidevannet I Kystområdet Innenfor Haltenbanken. Department of Mathematics, University of Oslo, 1992.
H. Moe. Simulering av virvelintensivering nær bakken -- spinn eller oppspinn. Department of Mathematics, University of Oslo, 1992.
H. P. Langtangen. "Stochastic Breakthrough Time Analysis of an Enhanced Oil Recovery Process." SIAM Journal on Scientific and Statistical Computing 13 (1992): 1394-1417,.
B. Gjevik, and H. Moe. Storm Response at Haltenbanken and Svaldbardbanken. Department of Mathematics, University of Oslo, 1992.
J. Veijalainen, F. Eliassen, and B. Holtkamp. "The S-Transaction Model." In Database Transaction Models for Advanced Applications, edited by A. K. Elmagarmid, 467-514,. Morgan Kaufmann, 1992.
S. Gjessing, S. Krogdahl, and E. Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence In Computer Aided Verification, 3rd International Workshop (CAV'91), Edited by K. G. Larsen and A. Skou. Lecture Notes in Computer Science. Springer-Verlag, 1992.
O. Lysne. Towards Mechanizing Proofs by Structural Induction In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
M. Dæhlen, and T. Lyche. "Box Splines and Applications." In Geometric Modelling: Methods and Applications, edited by H. Hagen and D. Roller, 35-94,. Springer, 1991.
M. Dæhlen. B-Splines; Theory, Methods and Applications In Lecture notes., 1991.
M. Dæhlen, P. Hovdenak, and H. B. Helle. Compression of Data for Modelling Geological and Geophysical Surfaces - a New Approach Based on B-Splines In Proceeding SEG-91. Houston,, 1991.
M. Dæhlen, and P. G. Holm. Compression of Solar Spectral Images In Proceeding ESA-conference. Noordwijk,, 1991.
E. Arge, M. Dæhlen, and A. Tveito. Computing Smooth Box Spline Approximations to Regularly Scattered Data. SINTEF, 1991.
E. Arge, and M. Dæhlen. Data Dependent Subdivivison. SINTEF, 1991.
M. Dæhlen, and P. G. Holm. Datakompresjon In Ingeniørnytt, kronikk., 1991.
E. Arge, and M. Dæhlen. Datastrukturer I Fremtidens Kartsystemer In Infotech'91., 1991.
O. Lysne, and O. Owe. Definedness and Strictness in Generator Inductive Definitions. Department of Informatics, University of Oslo, 1991.
F. Eliassen, and R. Karlsen. Distributed Exception Handling for Flexible Transactions In CSRR 07/91, University of Tromsø., 1991.
A. Tveito, and R. Winther. "Existence, Uniqueness and Continuous Dependence for a System of Hyberbolic Conservation Laws Modeling Polymer Flooding." Siam J. of Math. Anal. 22 (1991): 905-933,.