Search

Overview of publications Publications

1397 publications found

2002

Inheriting from a Common Abstract Ancestor in Timor

Christian Heinlein, J. L. Keedy, G. Menger

2002

Support for Subtyping and Code Re-use in Timor

Christian Heinlein, J. L. Keedy, G. Menger

2002

Advanced Thread Synchronization in Java Using Interaction Expressions

Christian Heinlein

2002

Qualifying Types Illustrated by Synchronization Examples

Christian Heinlein, J. L. Keedy, G. Menger, F. Henskens

2001

Code verification by syntax tree reconstruction

Christopher Dollin, Steven Leach, Roy Oberhauser, Laura Dickey

2001

Apparatus and method for on-line replacement of a running program code and data using checkpoints

Roy Oberhauser, Michael Saboff

2001

Apparatus and method for on-line replacement of a running script

Roy Oberhauser

2001

Apparatus and method for transferring state data when performing on-line replacement of a running program code and data

Roy Oberhauser, Michael Saboff

2001

The coercivity of the melt-spun Sm-Fe-Ga-C permanent magnets and the effect of additives (Nb, Cu and Zr)

Dagmar Goll, J. X. Zhang, I. Kleinschroth, F. Cuevas, H. Kronmüller

2001

Magnetic viscosity and demagnetization behaviour in isotropic nanocrystalline Pr12Fe82B6 ribbons

Dagmar Goll, H. W. Zhang, S. Y. Zhang, B .G. Shen, H. Kronmüller

Frequently searched:

Artificial Intelligence & Computer ScienceBachelor Artificial Intelligence & Data Science