Export 8 results:
Search results for biblio_year:2002
Filters: 1 is biblio_year:1989 and Author is Ellen Munthe-Kaas  [Reset Search]
2012
H. V. Hansen, F. J. Velazquez-Garcia, V. Goebel, E. Munthe-Kaas and T. Plagemann. Migration of Fine-grained Multimedia Applications In Middleware '12 Proceedings of the Posters and Demo Track, Edited by E. Wohlstadter. New York, NY, USA: ACM, 2012.
2005
T. Plagemann, J. Andersson, O. V. Drugan, V. Goebel, C. Griwodz, P. Halvorsen, E. Munthe-Kaas, M. Puzar, N. C. Sanderson and K. Skjelsvik. Middleware Services for Information Sharing in Mobile Ad-Hoc Networks In Broadband Satellite Communication Systems and the Challenges of Mobility, Edited by T. Gayraud, M. Mazella, F. Fernandes, E. Monteiro and J. Orvalho. IFIP International Federation for Information Processing. Springer Publishing Company, 2005.
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.
1990
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. Approaching Verification of the SCI Cache Coherence Protocol. Department of Informatics, University of Oslo, 1990.
S. Gjessing and E. Munthe-Kaas. Parallel Composition of Observable Processes With Shared Variables. Department of Informatics, University of Oslo, 1990.
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence. Department of Informatics, University of Oslo, 1990.
1989
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. Formal Specification and Verification of SCI Cache Coherence In Norsk Informatikk Konferanse., 1989.
S. Gjessing and E. Munthe-Kaas. Trace Based Verification of Parallel Programs With Shared Variables In 22nd Annual Hawaii International Conference on System Sciences., 1989.