|
DataMuseum.dkPresents historical artifacts from the history of: DKUUG/EUUG Conference tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about DKUUG/EUUG Conference tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T b
Length: 34290 (0x85f2)
Types: TextFile
Names: »biography.ps«
└─⟦2d1937cfd⟧ Bits:30007241 EUUGD22: P.P 5.0
└─⟦cf5895357⟧ »EurOpenD22/isode/isode-ps.tar.Z«
└─⟦b4ddd0919⟧
└─⟦this⟧ »isode-6.0/doc/ps/biography.ps«
%!
/TeXDict 200 dict def
TeXDict begin
/Resolution 300 def
/Inch {Resolution mul} def
/Mtrx 6 array def
/@letter
{ letter initmatrix
72 Resolution div dup neg scale
1.0333 Inch 10.0166 Inch neg translate
Mtrx currentmatrix pop
} def
/@note
{ note initmatrix
72 Resolution div dup neg scale
1.0333 Inch 10.0166 Inch neg translate
Mtrx currentmatrix pop
} def
/@landscape
{ letter initmatrix
90 rotate
72 Resolution div dup neg scale
1 Inch 1.0333 Inch translate
Mtrx currentmatrix pop
} def
/@legal
{ legal initmatrix
72 Resolution div dup neg scale
0.9833 Inch 12.933 Inch neg translate
Mtrx currentmatrix pop
} def
/@manualfeed
{ statusdict /manualfeed true put
} def
/@copies
{ /#copies exch def
} def
/@newfont
{ /newname exch def
pop
newname 7 dict def
newname load begin
/FontType 3 def
/FontMatrix [1 0 0 -1 0 0] def
/FontBBox [0 0 1 1] def
/BitMaps 128 array def
/BuildChar {CharBuilder} def
/Encoding 128 array def
0 1 127 {Encoding exch /.undef put} for
end
newname newname load definefont pop
} def
/ch-image {ch-data 0 get} def
/ch-width {ch-data 1 get} def
/ch-height {ch-data 2 get} def
/ch-xoff {ch-data 3 get} def
/ch-yoff {ch-data 4 get} def
/ch-tfmw {ch-data 5 get} def
/CharBuilder
{ /ch-code exch def
/font-dict exch def
/ch-data font-dict /BitMaps get ch-code get def
ch-data null eq not
{ ch-tfmw 0 ch-xoff neg ch-yoff neg ch-width ch-xoff sub ch-height ch-yoff sub
setcachedevice
ch-width ch-height true [1 0 0 1 ch-xoff ch-yoff]
{ch-image} imagemask
}
if
} def
/@sf
{ cvn cvx exec setfont
} def
/@dc
{ /ch-code exch def
dup 0 get
length 2 lt
{ pop [ <00> 1 1 0 0 8.00 ] } if
/ch-data exch def
currentfont /BitMaps get ch-code ch-data put
currentfont /Encoding get ch-code
dup ( ) cvs cvn
put
} def
/@bop0
{
} def
/@bop1
{ pop
erasepage initgraphics
Mtrx setmatrix
/SaveImage save def() pop
0 0 moveto
1 setlinejoin
} def
/@eop
{ showpage
SaveImage restore() pop
} def
/@start
{ @letter
} def
/@end
{ end
} def
/p
{ moveto
} def
/r
{ 0 rmoveto
} def
/l
{ lineto
} def
/rl
{ rlineto
} def
/rc
{ rcurveto
} def
/np
{ /SaveX currentpoint /SaveY exch def def
newpath
} def
/st
{ stroke
SaveX SaveY moveto
} def
/f
{ fill
SaveX SaveY moveto
} def
/s
{ show
} def
/c
{ c-string exch 0 exch put
c-string show
} def
/c-string ( ) def
/ru
{ /dy exch neg def
/dx exch def
/x currentpoint /y exch def def
newpath x y moveto
dx 0 rlineto
0 dy rlineto
dx neg 0 rlineto
closepath fill
x y moveto
} def
/ellipse
{
/endangle exch def
/startangle exch def
/yrad exch def
/xrad exch def
/y exch def
/x exch def
/savematrix matrix currentmatrix def
x y translate
xrad yrad scale
0 0 1 startangle endangle arc
savematrix setmatrix
} def
/@SpecialDefaults
{ /hs 8.5 Inch def
/vs 11 Inch def
/ho 0 def
/vo 0 def
/hsc 1 def
/vsc 1 def
/CLIP false def
} def
/@hsize {/hs exch def /CLIP true def} def
/@vsize {/vs exch def /CLIP true def} def
/@hoffset {/ho exch def} def
/@voffset {/vo excl def} def
/@hscale {/hsc exch def} def
/@vscale {/vsc exch def} def
/@setclipper
{ hsc vsc scale
CLIP
{ newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip }
if
} def
/@beginspecial
{ gsave /SpecialSave save def
currentpoint transform initgraphics itransform translate
@SpecialDefaults
@MacSetUp
} def
/@setspecial
{
MacDrwgs
{md begin /pxt ho def /pyt vo neg def end}
{ho vo translate @setclipper}
ifelse
} def
/@endspecial
{ SpecialSave restore
grestore
} def
/MacDrwgs false def
/@MacSetUp
{ userdict /md known
{ userdict /md get type /dicttype eq
{ /MacDrwgs true def
md begin
/psu
/psu load
{ /letter {} def
/note {} def
/legal {} def
statusdict /waittimeout 300 put
/page {pop} def
/pyt vo neg def
/pxt ho def
}
concatprocs
def
/od
/od load
{ @setclipper }
concatprocs
def
end }
if }
if
} def
/concatprocs
{ /p2 exch cvlit def
/p1 exch cvlit def
/p p1 length p2 length add array def
p 0 p1 putinterval
p p1 length p2 putinterval
p cvx
} def
end
TeXDict begin @start
%%Title: biography.dvi
%%Creator: dvi2ps
%%EndProlog
1 @bop0
[ 518 ] /cmbx10.518 @newfont
(cmbx10.518) @sf
[<FFFFFFC00FFFFFE0FFFFFFC00FFFFFE0FFFFFFC00FFFFFE000FFC000007FF80000FFC000007FF00000FFC00000FFE00000FF
C00001FFC00000FFC00001FFC00000FFC00003FF800000FFC00007FF000000FFC0000FFE000000FFC0000FFC000000FFC000
1FFC000000FFC0003FF8000000FFC0007FF0000000FFC000FFE0000000FFC000FFE0000000FFC001FFC0000000FFC003FF80
000000FFE007FF00000000FFF007FE00000000FFFC0FFE00000000FFFE1FFC00000000FFCF3FF800000000FFC7FFF0000000
00FFC3FFF000000000FFC1FFE000000000FFC07FC000000000FFC03F8000000000FFC01F0000000000FFC00F8000000000FF
C007C000000000FFC001E000000000FFC000F000000000FFC0007C00000000FFC0003E00000000FFC0000F00000000FFC000
0780000000FFC00003E0000000FFC00001F0000000FFC0000078000000FFC000003C000000FFC000001F000000FFC000000F
800000FFC0000003C00000FFC0000007F000FFFFFFC0007FFFC0FFFFFFC0007FFFC0FFFFFFC0007FFFC0> 64 49 -2 0 64.656] 75 @dc
[<0003FF0000003FFFE00000FFFFF80003FE00FC0007F8001E000FF0000F001FE00007801FC00003803FC00003803FC0000000
7F800000007F80000000FF80000000FF80000000FF80000000FFFFFFFF80FFFFFFFF80FFFFFFFF80FF80003F80FF80003F80
7F80003F807F80003F007FC0003F003FC0003F003FC0007E001FE0007E000FE000FC0007F801F80003FC07F00000FFFFE000
003FFF80000007FC0000> 40 32 -2 0 37.807] 101 @dc
[<0FC00000003FF80000007FFC0000007A3E000000FF0F000000FF07800000FF03800000FF01C000007E01E000003C00E00000
0000F00000000070000000007000000000380000000038000000007C000000007C00000000FE00000000FE00000001FF0000
0001FF00000003FF80000003FF80000007FFC0000007F9C000000FF9E000000FF0E000000FF0E000001FE07000001FE07000
003FE03800003FC03800007FC03C00007F801C0000FF801E0000FF000E0001FF000F0001FE00070003FE00078003FC000380
07FC0003C007F80001C007F80003E0FFFF801FFEFFFF801FFEFFFF801FFE> 40 46 -2 14 43.535] 121 @dc
[<0000E0000E00000001E0000F00000001F0001F00000003F0001F80000003F8003F80000007F8003FC0000007FC007FC00000
07FC007FC000000FFC007FE000000FFE00FEE000001FFE00FEF000001FEF01FC7000001FE701FC7000003FC701FC3800003F
C383F83800007FC383F83C00007F83C7F01C00007F81C7F01C0000FF01C7F00E0000FF00EFE00E0001FF00EFE00F0001FE00
FFC0070003FE007FC0078003FC007FC0038003FC003F80038007F8003F8003C007F8007F0001C00FF8007F0001E00FF0007E
0001F0FFFF0FFFF01FFEFFFF0FFFF01FFEFFFF0FFFF01FFE> 56 32 -2 0 59.575] 119 @dc
[<0007FE0000003FFFC00001FFFFF80003FE07FC0007F801FE000FE0007F001FE0007F803FC0003FC03FC0003FC07F80001FE0
7F80001FE07F80001FE0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0FF80001FF0
7F80001FE07F80001FE07F80001FE03FC0003FC03FC0003FC01FC0003F800FE0007F0007F000FE0003FC03FC0000FFFFF000
003FFFC0000007FE0000> 40 32 -2 0 41.244] 111 @dc
[<FFFFE000FFFFE000FFFFE00007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8
000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007F8000007FC008007FC03E007FC07F007FE0FF8
07F60FF807F70FF80FF38FF8FFF3C7F0FFF1FFE0FFF07FC003F03F00> 32 32 -2 0 33.972] 114 @dc
[<000FF01FFF00007FFE1FFF0001FFFF9FFF0003FC07DFF00007F001FFE0000FE0007FE0001FC0003FE0003FC0001FE0003FC0
001FE0007F80001FE0007F80001FE0007F80001FE000FF80001FE000FF80001FE000FF80001FE000FF80001FE000FF80001F
E000FF80001FE000FF80001FE000FF80001FE0007F80001FE0007F80001FE0007F80001FE0003FC0001FE0003FC0001FE000
1FE0001FE0000FE0003FE00007F800FFE00003FE03FFE00001FFFFDFE000007FFF1FE000000FF81FE0000000001FE0000000
001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001FE0000000001F
E0000000001FE0000000001FE0000000001FE0000000003FE000000003FFE000000003FFE000000003FFE00000000007E000> 48 50 -3 0 45.827] 100 @dc
[<C07FC000F3FFF800FFFFFC00FF803E00FE000F00F8000F80F8000780F00007C0E00007C0E00007C060000FC000001FC00000
FFC0001FFF8001FFFF8007FFFF000FFFFE003FFFFC003FFFF0007FFFC000FFF80000FF000000FC000700F8000700F8000700
F800070078000F003C001F003F007F001FFFFF0007FFEF0000FF8700> 32 32 -3 0 32.537] 115 @dc
[ 360 ] /cmr10.360 @newfont
(cmr10.360) @sf
[<000FF0000000381C000000E007000003C003C000078001E0000F0000F0000F0000F0001E000078003E00007C003C00003C00
7C00003E007C00003E007C00003E00F800001F00F800001F00F800001F00F800001F00F800001F00F800001F00F800001F00
F800001F00F800001F007800001E007800001E007C00003E007C00003E003C00003C003C00003C001E000078000E00007000
070000E000078001E00001C003800000E007000000381C0000000FF00000> 40 36 -3 1 38.743] 79 @dc
[<FFE00000FFE000000E0000000E0000000E0000000E0000000E0000000E0000000E0000000E0000000E1F80000E60E0000E80
70000F0038000E001C000E001E000E001E000E000F000E000F000E000F000E000F000E000F000E000F000E000F000E001E00
0E001E000E001C000F003800FE807000FE60E0000E1F8000> 32 31 -1 10 27.673] 112 @dc
[<00FC000703000E00801C0040380020780020700000F00000F00000F00000F00000F00000FFFFE0F000E07000E07800E03801
C01C01C00C038007070001FC00> 24 21 -1 0 22.139] 101 @dc
[<FFE3FF80FFE3FF800E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
38000E0038000E0038000E0038000F0038001F003800FE807000FE60E0000E1F8000> 32 21 -1 0 27.673] 110 @dc
[<87E0D818E00CC004C006C0068006800E001E00FC0FF83FF07F80F000E004C004C004C00C600C303C0FC4> 16 21 -2 0 19.648] 115 @dc
[<3E0000630000B98000F88000F84000F8400000200000200000200000100000100000380000380000380000740000740000E2
0000E20000E20001C10001C1000380800380800380800700400700400E00200E00201E0070FFC1FEFFC1FE> 24 31 -1 10 26.290] 121 @dc
[<01F0030807080E040E040E040E040E040E040E000E000E000E000E000E000E000E000E000E00FFF83FF81E000E0006000600
060002000200020002000200> 16 31 -1 0 19.371] 116 @dc
[<FFE3FF8FFEFFE3FF8FFE0E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00E003800E0
0E003800E00E003800E00E003800E00E003800E00E003800E00E003800E00F003C00E01F003C00E0FE807201C0FE60E18380
0E1FC07F00> 40 21 -1 0 41.510] 109 @dc
[<FFC0FFC00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E001E00FE00FE000E000000000000000000
00000000000000001C003E003E003E001C00> 16 34 -1 0 13.837] 105 @dc
[<FFF000FFF0000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000E00000F00000F03
001E8780FE8780FE63000E1E00> 24 21 -1 0 19.510] 114 @dc
[<01F8000706000C01001C0080380040780040700000F00000F00000F00000F00000F00000F00000F00000700000780700380F
801C0F800C0F8007070001FE00> 24 21 -2 0 22.139] 99 @dc
[<00FC000703800E01C01C00E0380070780078700038F0003CF0003CF0003CF0003CF0003CF0003CF0003C7000387800783800
701C00E00E01C007038000FC00> 24 21 -1 0 24.906] 111 @dc
[<4020101008080404040474FCFCF870> 8 15 -4 10 13.837] 44 @dc
[<FFE0FFE00E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E000E00
0E000E000E000E000E000E001E00FE00FE000E00> 16 35 -1 0 13.837] 108 @dc
[<01FE000E01C0380070600018600018C0000CC0000CC0000C40001C6000183800F80FFFF00FFFE01FFF001C00001800001000
0010000019F0000F1C000E0E001C07001C07003C07803C07803C07803C07801C07001C07000E0E1C071D1C01F08C000078> 24 33 -1 11 24.906] 103 @dc
[<0FE0F03C11C8780B84F00784F00384F00384F003847803807803803C03801E038007C380007F800003800003803803807C03
807C07007C0600381C001FF000> 24 21 -2 0 24.906] 97 @dc
[<00100000380000380000380000740000740000E20000E20000E20001C10001C1000380800380800380800700400700400E00
200E00201E0070FFC1FEFFC1FE> 24 21 -1 0 26.290] 118 @dc
[<FFF0FFF0> 16 2 -1 -10 16.604] 45 @dc
[<7FF8007FF8000700000700000700000700000700000700000700000700000700000700000700000700000700000700000700
00070000070000FFF800FFF800070000070000070000070000070000070000070000070000070700030F80038F8001C78000
E300003E00> 24 35 0 0 15.220] 102 @dc
[<081F80000C60E0000C8070000F0038000E001C000E001E000E000E000E000F000E000F000E000F000E000F000E000F000E00
0F000E000F000E000E000E001E000E001C000F0038000E8030000E60E0000E1F80000E0000000E0000000E0000000E000000
0E0000000E0000000E0000000E0000000E0000000E0000001E000000FE000000FE0000000E000000> 32 35 -1 0 27.673] 98 @dc
[<FF03FEFF03FE1E00E00601C00201C0010380018700008E00004E00003C0000380000700000780000E40001C2000383000381
000700800F01E0FF83FEFF83FE> 24 21 -1 0 26.290] 120 @dc
[<70F8F8F870> 8 5 -4 0 13.837] 46 @dc
(cmbx10.518) @sf
[<FFFFFFFFFE0000FFFFFFFFFFC000FFFFFFFFFFF00000FF80003FFC0000FF80000FFE0000FF800007FF0000FF800003FF8000
FF800001FF8000FF800001FFC000FF800000FFC000FF800000FFE000FF800000FFE000FF800000FFE000FF800000FFE000FF
800000FFE000FF800000FFE000FF800000FFE000FF800000FFC000FF800000FFC000FF800001FF8000FF800001FF0000FF80
0003FF0000FF800007FC0000FF80001FF80000FFFFFFFFE00000FFFFFFFF000000FFFFFFFF800000FF8000FFE00000FF8000
1FF80000FF80000FFC0000FF800007FE0000FF800007FF0000FF800003FF0000FF800003FF0000FF800001FF8000FF800001
FF8000FF800001FF8000FF800001FF8000FF800001FF8000FF800001FF8000FF800003FF0000FF800003FF0000FF800007FE
0000FF800007FC0000FF80000FF80000FF80003FF000FFFFFFFFFFE000FFFFFFFFFF0000FFFFFFFFF80000> 56 49 -2 0 58.678] 66 @dc
[<FFFF80FFFF80FFFF8007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8
0007F80007F80007F80007F80007F80007F80007F80007F80007F80007F8000FF800FFF800FFF800FFF80001F80000000000
000000000000000000000000000000000000000003C0000FF0000FF0001FF8001FF8001FFC001FF8001FF8000FF0000FF000
03C000> 24 51 -3 0 22.913] 105 @dc
[<001FFF800000FFFFF00007FFFFFE000FF801FF001FC0003F803F00000FC07E000007E0FC000003F0FC000003F0FC000003F0
FC000003F0FC000007F07E00000FF03F00007FE01FFFFFFFE007FFFFFFC003FFFFFF8007FFFFFF000FFFFFFE000FFFFFF800
1FFFFFC0001F800000001F000000001E000000001E000000000E000000000E1FF0000006FFFE000007FFFF000007F83FC000
0FE00FE0000FE00FE0001FC007F0001FC007F0003FC007F8003FC007F8003FC007F8003FC007F8003FC007F8001FC007F000
1FC007F0600FE00FE0F00FE00FE1F807F83FF1F801FFFF7FF800FFFE3FF0001FF007E0> 40 47 -2 15 41.244] 103 @dc
[<00FF800FF807FFF03FF80FFFF87FF83FF03CFF007FC00EFE007F8003FE00FF0003FE00FF0001FE00FF0001FE00FF0001FE00
FF0001FE007F8001FE003F8001FE001FC001FE000FF001FE0007FE01FE0001FFF1FE00003FFFFE000001FFFE00000001FE00
000001FE00010001FE0007C001FE000FE001FE001FF001FE001FF003FC001FF003F8001FF007F0000FE01FE00007FFFFC000
03FFFF0000007FF80000> 40 32 -2 0 40.098] 97 @dc
[<FFFFC0000000FFFFC0000000FFFFC000000007F80000000007F80000000007F80000000007F80000000007F80000000007F8
0000000007F80000000007F80000000007F80000000007F80000000007F80000000007F81FE0000007F87FFE000007F9FFFF
000007FBE07FC00007FF001FE00007FE000FF00007FC0007F80007F80007FC0007F80003FC0007F80003FE0007F80003FE00
07F80001FE0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F80001FF0007F8
0001FF0007F80001FE0007F80003FE0007F80003FE0007F80003FC0007F80007FC0007F80007F80007FE000FF0000FFF001F
E000FFFFE07FC000FFF9FFFF8000FFF87FFE000001F80FF00000> 48 46 -2 14 45.827] 112 @dc
[<FFFFC1FFFF80FFFFC1FFFF80FFFFC1FFFF8007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8
000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000F
F00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007F8000FF00007FC000FF00007FC000FF00007FE000FF000
07FE000FF00007FB000FE00007F9C01FE00007F8F03FC00007F87FFF800007F83FFF000007F807F8000007F80000000007F8
0000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000000007F80000
000007F80000000007F80000000007F8000000000FF800000000FFF800000000FFF800000000FFF80000000001F800000000> 48 50 -3 0 45.827] 104 @dc
[ 360 ] /cmbx10.360 @newfont
(cmbx10.360) @sf
[<FFF00E01FFFEFFF00E01FFFE06001F000FC006001F000FC006001F000FC006003F800FC006003F800FC006007EC00FC00600
7EC00FC00600FC600FC00600FC600FC00600FC600FC00601F8300FC00601F8300FC00603F0180FC00603F0180FC00607E00C
0FC00607E00C0FC00607E00C0FC0060FC0060FC0060FC0060FC0061F80030FC0061F80030FC0063F00018FC0063F00018FC0
063F00018FC0067E0000CFC0067E0000CFC006FC00006FC006FC00006FC007F800003FC007F800003FC0FFF800003FFEFFF0
00001FFE> 48 34 -3 0 54.378] 77 @dc
[<07E03F801FF87F807E0CF8007C02F800F801F800F801F800F801F800F801F8007C01F8003E01F8001F81F80003FDF800003F
F8000001F8000001F8001E01F8003F01F8003F01F0003F03F0003F07E0001FFF800007FE0000> 32 22 -2 0 27.846] 97 @dc
[<FFF800FFF8001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001F80001FC1E01F43
F01F43F01F63F01F33F0FF1FE0FF0F80> 24 22 -2 0 23.591] 114 @dc
[<C3F800EFFE00FC0F00F00380E003C0E003C0C003C0C007C0003FC007FF801FFF803FFF007FFE00FFF800FF0000F80000F001
80F001807003803807801FFF8007F980> 24 22 -2 0 22.595] 115 @dc
[<FFF1FFE0FFF1FFE01F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F803F001F80
3F001F803F001F803F001F803F001FC03F001FC03F001FA03E001F987E001F8FFC001F83F0001F8000001F8000001F800000
1F8000001F8000001F8000001F8000001F8000001F8000001F8000001F800000FF800000FF800000> 32 35 -3 0 31.824] 104 @dc
[<FFF0FFF01F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F80
1F801F801F801F801F801F801F801F80FF80FF80> 16 35 -2 0 15.912] 108 @dc
[<03FFFFF80003FFFFF8000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F80000
0003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F800000003F80000
0003F80000C003F80060C003F80060C003F80060C003F80060E003F800E0E003F800E06003F800C07003F801C07803F803C0
7E03F80FC07FFFFFFFC07FFFFFFFC0> 40 33 -2 0 39.849] 84 @dc
[<3C007E00FF00FF00FF00FF007E003C00> 16 8 -4 0 15.912] 46 @dc
[<FFFF800FF800FFFF803FFC0007F0007F860007F000FF030007F001FF030007F001FE030007F001FE000007F001FE000007F0
01FC000007F001FC000007F001FC000007F001FC000007F001F8000007F003F8000007F003F0000007F00FC0000007FFFF80
000007FFFFE0000007F007F8000007F001FC000007F000FE000007F0007F000007F0007F800007F0007F800007F0007F8000
07F0007F800007F0007F800007F0007F800007F0007F000007F000FE000007F001FC000007F007F80000FFFFFFE00000FFFF
FF000000> 48 34 -2 0 42.963] 82 @dc
[<00FF000007FFE0000F81F0001F00F8003E007C007E007E007C003E00FC003F00FC003F00FC003F00FC003F00FC003F00FC00
3F00FC003F007C003E007C003E007C003E003E007C001F00F8000F81F00007FFE00000FF0000> 32 22 -2 0 28.642] 111 @dc
[<00FF0003FFC00F80E01F00303E00183E00187C00007C0000FC0000FC0000FC0000FFFFF8FFFFF8FC00787C00787C00F87E00
F03E00F01F01E00F83C007FF8000FE00> 24 22 -2 0 26.255] 101 @dc
(cmr10.360) @sf
[<01F87F0007067F000C0178001C00F000380070007800700070007000F0007000F0007000F0007000F0007000F0007000F000
7000F00070007000700078007000380070001C00F0000E0170000706700001F8700000007000000070000000700000007000
0000700000007000000070000000700000007000000070000000F0000007F0000007F00000007000> 32 35 -2 0 27.673] 100 @dc
[<FFE3FF80FFE3FF800E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
38000E0038000E0038000E0038000F0038000F0038000E8070000E60E0000E1F80000E0000000E0000000E0000000E000000
0E0000000E0000000E0000000E0000000E0000000E0000001E000000FE000000FE0000000E000000> 32 35 -1 0 27.673] 104 @dc
[<FFFFFC00FFFFFF0007800FC0078007E0078003F0078001F0078000F8078000F8078000F8078000F8078000F8078000F80780
00F0078001F0078001E0078003C00780078007FFFE0007803E0007800F80078007C0078003E0078001E0078001F0078001F0
078001F0078001F0078001F0078001E0078003E0078007C007800F80FFFFFE00FFFFF800> 32 34 -2 0 35.284] 66 @dc
[<80FE00C7FF00CF03C0F800E0E00060C00070C000308000388000388000388000380000380000780000700000F00003F0003F
E003FFC00FFF801FFE003FF0007F00007C0000F00000F00000E00010E00010E00010E00030E000307000707000F03801F01E
07300FFE3003F810> 24 36 -3 1 27.673] 83 @dc
[<FFE0301FFF80FFE0301FFF801F003000F00004007800F00004007800F0000400E400F0000400E400F0000400E400F0000401
C200F0000401C200F00004038100F00004038100F00004038100F00004070080F00004070080F00004070080F000040E0040
F000040E0040F000041C0020F000041C0020F000041C0020F00004380010F00004380010F00004380010F00004700008F000
04700008F00004E00004F00004E00004F00004E00004F00005C00002F00005C00002F00007800001F000FF800001FF80FF80
0001FF80> 48 34 -2 0 45.661] 77 @dc
[<FFFC0000FFFC0000078000000780000007800000078000000780000007800000078000000780000007800000078000000780
000007800000078000000780000007FFFC0007801F0007800780078003C0078003E0078001E0078001F0078001F0078001F0
078001F0078001F0078001E0078001E0078003C0078007C007801F00FFFFFE00FFFFF800> 32 34 -2 0 33.900] 80 @dc
[<FFFFF80000FFFFFF000007800F8000078003C000078001E000078000F00007800078000780003C000780003C000780003E00
0780001E000780001E000780001F000780001F000780001F000780001F000780001F000780001F000780001F000780001F00
0780001F000780001E000780001E000780001E000780003C000780003C0007800078000780007800078000F000078001E000
078003C00007800F8000FFFFFE0000FFFFF80000> 40 34 -2 0 38.051] 68 @dc
[<FFFCFFFC07800780078007800780078007800780078007800780078007800780078007800780078007800780078007800780
0780078007800780078007800780FFFCFFFC> 16 34 -2 0 17.988] 73 @dc
[<0007F000003FFC0000FC070001F0018003C00040078000200F0000201E0000101E0000103C0000083C0000087C0000087C00
000878000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000F8000000780000087C0000087C000008
3C0000183C0000181E0000181E0000380F0000380780007803C000F801F0013800FC0618003FFC180007F008> 32 36 -3 1 35.975] 67 @dc
[<00FC3F8003833F800700BC000E0078000E0078000E0038000E0038000E0038000E0038000E0038000E0038000E0038000E00
38000E0038000E0038000E0038000E0038001E007800FE03F800FE03F8000E003800> 32 21 -1 0 27.673] 117 @dc
[<0003F00000001FF80000003C0E0000007003000000E001800001C000800003C000400003C000400003800040000780002000
0780002000078000200007800020000780002000078000200007800020000780002000078000200007800020000780002000
0780002000078000200007800020000780002000078000200007800020000780002000078000200007800020000780002000
07800020000780002000078000F800FFFC07FF00FFFC07FF00> 40 35 -2 1 37.359] 85 @dc
[<7FFF007FFF0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C0
0001C00001C00001C00001C00001C00001C00001C00001C00001C00001C00001C000F9C000FFC00007C00001C000004000> 24 33 -4 0 24.906] 49 @dc
[<07E0001FF800303C00300E007807007C03807C03803801C00001C00001E00000E00000E001F0F0060CF00C02F01802F03801
F07001F07000F0F000F0F000F0F000F0F000F0F000F0F000E0F000E07001E07001C07801C03803801C03800E0F0007FE0001
F800> 24 34 -2 1 24.906] 57 @dc
[<01F8000FFE001E07803800C0700040600060C00030C00030C00030C00030C000706000706001E03003E0100FC00C1F80067F
0001FE0003F80007FC001FC6001F81003E00807800C07000606000606000606000602000603000C01801C00E078007FE0001
F800> 24 34 -2 1 24.906] 56 @dc
[<03F8000FFE001C0F002007804003C0F803E0FC01E0FC01F0FC01F07801F03001F00001F00001F00001E00003E00003C00007
80000E0003F800001C00000E000007800003800003C01803E03C03E07C01E07C01E07C03E03803C03003C01C0F800FFE0001
F800> 24 34 -2 1 24.906] 51 @dc
[<00FFF800FFF8000700000700000700000700000700000700000700FFFFFCFFFFFCC007004007002007003007001007000807
000C070004070002070003070001070000870000C700004700002700003700001700000F00000F00000700000300000300> 24 33 -1 0 24.906] 52 @dc
[<FFFC3FFF00FFFC3FFF00078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
078001E000078001E000078001E000078001E000078001E000078001E000078001E00007FFFFE00007FFFFE000078001E000
078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000078001E000
078001E000078001E000FFFC3FFF00FFFC3FFF00> 40 34 -2 0 37.359] 72 @dc
[<002002000000700700000070070000007007000000E80E800000E80E800000E80C800001C41C400001C41C400001C4184000
038238200003823820000702303000070170100007016010000E01E008000E00E008000E00C00C001E01C01E00FF8FF87F80
FF8FF87F80> 40 21 -1 0 35.975] 119 @dc
[<FFE3FEFFE3FE0E01F00E01E00E01C00E03C00E07800E07000E0E000E1E000F1C000EF8000E38000E10000E08000E04000E02
000E01800E01E00E03FC0E03FC0E00000E00000E00000E00000E00000E00000E00000E00000E00000E00001E0000FE0000FE
00000E0000> 24 35 -1 0 26.290] 107 @dc
[<7FF1FFC07FF1FFC007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C000700
1C0007001C0007001C0007001C0007001C0007001C0007003C00FFFFFC00FFFFFC0007000000070000000700000007000000
07000000070000000700380007007C0007007C0003807C0001803C0000E0080000783000000FC000> 32 35 0 0 27.673] 12 @dc
[<FFFF807007807801803800801C00800E00C00F004007004003804001C00001E00000E000007000403800403C00401C00600E
002007003007803803803FFFC0> 24 21 -1 0 22.139] 122 @dc
[<000FFE000FFE0000E00000E00000E00000E00000E00000E00000E00000E001F0E0070CE00C02E01C01E03801E07800E07000
E0F000E0F000E0F000E0F000E0F000E0F000E0F000E07800E07800E03801E01C01600E026007046001F820> 24 31 -2 10 26.290] 113 @dc
[<FFFFFF80FFFFFF8007801F8007800780078003800780018007800080078000C0078000C00780004007800040078000400780
0040078000000780000007800000078000000780000007800000078000000780000007800000078000000780000007800000
07800000078000000780000007800000078000000780000007800000FFFE0000FFFE0000> 32 34 -2 0 31.133] 76 @dc
[<FFE0002000FFE00060001F00006000040000E000040001E000040001E000040003E000040003E000040007A00004000F2000
04000F200004001E200004003C200004003C200004007820000400F820000400F020000401E020000401E020000403C02000
04078020000407802000040F002000041E002000041E002000043C002000047C002000047800200004F000200004F0002000
05E000200007C000F800FFC007FF00FF8007FF00> 40 34 -2 0 37.359] 78 @dc
[<0000003E00FFFC00F100FFFC01E080078003E040078007E040078007C040078007C000078007C000078007C0000780078000
078007800007800780000780078000078007000007800F000007800E000007801C0000078038000007FFF0000007803E0000
0780070000078003C000078003E000078001E000078001F000078001F000078001F000078001F000078001E000078003E000
078003C000078007800007801F0000FFFFFC0000FFFFE00000> 40 35 -2 1 36.667] 82 @dc
[<01FFFF8001FFFF800003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003
C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0000003C0008003C0028003C0028003C002
8003C002C003C006C003C0064003C0044003C0046003C00C7803C03C7FFFFFFC7FFFFFFC> 32 34 -2 0 35.975] 84 @dc
[<FFC01FFF00FFC01FFF001E0001F0000C0001E000040001E000040001E000020003C000020003C000020003C0000100078000
010007800001FFFF800000FFFF000000800F000000C01F000000401E000000401E000000603E000000203C000000203C0000
0010780000001078000000107800000008F000000008F000000008F000000005E000000005E000000005E000000003C00000
0003C000000003C00000000180000000018000000001800000> 40 35 -2 0 37.359] 65 @dc
[<1F007180F8C0F8E0F87070700070007000700070007000700070007000700070007000700070007000700070007000700070
0070007000F007F007F000F00000000000000000000000000000000000E001F001F001F000E0> 16 44 2 10 15.220] 106 @dc
(cmbx10.360) @sf
[<FFFFFFC000FFFFFFF80007F001FE0007F0007F0007F0001F8007F0000FC007F0000FE007F00007F007F00007F007F00003F8
07F00003F807F00003F807F00003FC07F00003FC07F00003FC07F00003FC07F00003FC07F00003FC07F00003FC07F00003FC
07F00003FC07F00003F807F00003F807F00003F807F00003F007F00007F007F00007E007F0000FE007F0000FC007F0003F80
07F0007F0007F001FC00FFFFFFF800FFFFFF8000> 40 34 -2 0 43.931] 68 @dc
[<0018006000001C00E000003C00F000003E01F000007E01F800007F03F800007F03F80000FF03EC0000FD87CC0001FD87C600
01F8CFC60001F8CF860003F0CF830003F07F030007E07F018007E03F01800FE03E01C00FC07E00C00FC07C00C01F807C00E0
FFF3FF87FCFFF3FF87FC> 40 22 -1 0 41.371] 119 @dc
[<FFF0FFF01F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F801F80FF80FF80000000000000
0000000000000E001F003F807F807F803F801F000E00> 16 36 -2 0 15.912] 105 @dc
[<01FFE0000FFFFC001F807E003E001F007C000F80F80007C0F80007C0F80007C078000FC07C001FC01FFFFF8007FFFF000FFF
FF001FFFFC001FFFE0001C000000180000001800000008FE00000BFF80000F83E0001F01F0001E00F0003E00F8003E00F800
3E00F8003E00F8003E00F8001E00F0001F01F3C00F83E3C003FF9FC000FE0F80> 32 33 -1 11 28.642] 103 @dc
[<00FC0003FE0007E30007C1800FC1800FC1800FC1800FC1800FC1800FC0000FC0000FC0000FC0000FC0000FC0000FC0000FC0
000FC0000FC0000FC000FFFF00FFFF001FC0000FC00007C00003C00001C00001C00000C00000C00000C00000C000> 24 32 -1 0 22.277] 116 @dc
[<FFFFFFFE00FFFFFFFE0007F000FE0007F0001F0007F0000F0007F000070007F000070007F000030007F000030007F0000300
07F000018007F00C018007F00C018007F00C000007F00C000007F01C000007F03C000007FFFC000007FFFC000007F03C0000
07F01C000007F00C000007F00C030007F00C030007F00C030007F000060007F000060007F000060007F0000E0007F0001E00
07F0003E0007F000FC00FFFFFFFC00FFFFFFFC00> 40 34 -2 0 37.635] 69 @dc
[<0001FF0000001FFFE000007F80780001FC001C0003F000060007E00003000FC00001801FC00001803F800001C03F800000C0
7F800000C07F000000C07F00000000FF00000000FF00000000FF00000000FF00000000FF00000000FF00000000FF00000000
FF000000007F000000C07F000000C07F800000C03F800001C03F800001C01FC00003C00FC00003C007E00007C003F0000FC0
01FC001FC0007F80F3C0001FFFC1C00001FF0040> 40 34 -3 0 41.371] 67 @dc
(cmr10.360) @sf
[<FFFFFFF0FFFFFFF0078001F00780007807800038078000180780001807800008078000080780000807800004078020040780
20040780200007802000078060000780E00007FFE00007FFE0000780E0000780600007802000078020100780201007802010
0780001007800030078000300780002007800060078000E0078003E0FFFFFFE0FFFFFFE0> 32 34 -2 0 33.900] 69 @dc
[<FFFFFE00FFFFFE0078007E0078001E003C000E001E0006001E0002000F0003000F0003000780010003C0010003C0010001E0
010001E0010000F000000078000000780000003C0000003C0000001E0000000F0000000F000080078000800780008003C000
C001E000C001E000C000F0006000F0007000780078003C007E003C007FFFFE007FFFFE00> 32 34 -3 0 30.441] 90 @dc
[<C00000C000006000006000006000003000003000003000001800001800001800000C00000C00000C00000600000600000600
0003000003000003000001800001800001800000C00000C00000C00000600000600000600000300000300000300000180000
1800001800000C00000C00000C000006000006000006000003000003000003000001800001800001800000C0000040> 24 49 -3 12 24.906] 47 @dc
[<FFFE0000FFFE0000078000000780000007800000078000000780000007800000078000000780000007802000078020000780
200007802000078060000780E00007FFE00007FFE0000780E000078060000780200007802000078020100780201007800010
0780001007800030078000300780002007800060078000E0078003E0FFFFFFE0FFFFFFE0> 32 34 -2 0 32.516] 70 @dc
[<7FF1FFC07FF1FFC007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C0007001C000700
1C0007001C0007001C0007001C0007001C0007001C0007001C00FFFFFC00FFFFFC0007001C0007001C0007001C0007001C00
07001C0007001C0007001C0007001C0007003C0003807C0001807C0000E07C0000701C00000FEC00> 32 35 0 0 27.673] 13 @dc
1 @bop1
(cmbx10.518) @sf
164 315 p (Keyw) s
-1 r (ords) s
(cmr10.360) @sf
164 427 p (Op) s
1 r (en) s
15 r (systems) s
14 r (in) s
(terconnection,) s
13 r (proto) s
2 r (col) s
14 r (migration,) s
15 r (transp) s
1 r (ort) s
14 r (service,) s
15 r (in) s
(ter-) s
164 489 p (face) s
17 r (translation,) s
16 r (magic) s
17 r 98 c
1 r 111 c
(xes.) s
(cmbx10.518) @sf
164 656 p (Biographies) s
(cmbx10.360) @sf
164 767 p (Marshall) s
23 r (T.) s
24 r (Rose) s
(cmr10.360) @sf
20 r (receiv) s
-1 r (ed) s
20 r (the) s
20 r (B.S.,) s
21 r (M.S.,) s
21 r (and) s
21 r (Ph.D.) s
20 r (degrees) s
20 r (in) s
20 r (Infor-) s
164 830 p (mation) s
23 r (and) s
23 r (Computer) s
22 r (Science) s
23 r (from) s
23 r (the) s
23 r (Univ) s
-1 r (ersit) s
-1 r 121 c
22 r (of) s
22 r (California,) s
25 r (Irvine,) s
164 892 p (in) s
16 r (1981,) s
17 r (1983,) s
16 r (and) s
17 r (1984) s
16 r (resp) s
2 r (ectiv) s
-1 r (ely) s
-4 r 46 c
21 r (He) s
17 r (has) s
16 r 119 c
(ork) s
-1 r (ed) s
15 r (on) s
17 r (formal) s
16 r (metho) s
1 r (ds) s
17 r (of) s
164 954 p (sp) s
1 r (eci\014cation) s
14 r (and) s
13 r 118 c
(eri\014cation) s
12 r (of) s
13 r (computer) s
13 r (net) s
119 c
-1 r (ork) s
12 r (proto) s
1 r (cols,) s
14 r (mo) s
2 r (dels) s
13 r (of) s
13 r (par-) s
164 1016 p (allel) s
20 r (and) s
21 r (distributed) s
20 r (computation,) s
21 r (and) s
20 r (computer-based) s
21 r (message) s
20 r (systems.) s
164 1079 p (His) s
17 r (curren) s
116 c
16 r (in) s
(terests) s
16 r (are) s
18 r (in) s
17 r (high-p) s
2 r (erformance) s
17 r (distributed) s
18 r (memory) s
17 r (systems) s
164 1141 p (in) s
16 r (supp) s
2 r (ort) s
16 r (of) s
16 r (abstractions) s
17 r (for) s
16 r (in) s
(terpro) s
(cess) s
16 r (comm) s
(unication,) s
15 r (dev) s
(elopmen) s
-1 r 116 c
15 r (of) s
164 1203 p (an) s
13 r (en) s
(vironmen) s
-1 r 116 c
12 r (for) s
13 r (the) s
14 r (dev) s
-1 r (elopmen) s
-1 r 116 c
12 r (of) s
14 r (adv) s
-2 r (anced) s
12 r (application) s
14 r (proto) s
1 r (cols,) s
14 r (and) s
164 1265 p (visualization) s
17 r (tec) s
-1 r (hniques) s
16 r (for) s
16 r (soft) s
119 c
-1 r (are) s
15 r (design,) s
17 r (implemen) s
-1 r (tation,) s
16 r (and) s
17 r (testing.) s
239 1328 p (He) s
20 r (curren) s
(tly) s
20 r 119 c
-1 r (orks) s
20 r (in) s
21 r (the) s
20 r (Computer) s
21 r (Science) s
21 r (Lab) s
1 r (oratory) s
21 r (at) s
20 r (Northrop) s
164 1390 p (Researc) s
104 c
10 r (and) s
11 r 84 c
-3 r (ec) s
-1 r (hnology) s
10 r (Cen) s
(ter,) s
11 r (and) s
12 r (is) s
11 r (also) s
11 r (an) s
12 r (Adjunct) s
11 r (Assistan) s
116 c
10 r (Professor) s
164 1452 p (at) s
17 r (the) s
16 r (Univ) s
(ersit) s
-2 r 121 c
16 r (of) s
17 r (Dela) s
-1 r 119 c
-1 r (are.) s
(cmbx10.360) @sf
239 1589 p (Dwigh) s
-1 r 116 c
27 r (E.) s
27 r (Cass) s
(cmr10.360) @sf
24 r (has) s
24 r 119 c
-1 r (ork) s
-1 r (ed) s
23 r (for) s
24 r (the) s
24 r (previous) s
24 r (14) s
24 r 121 c
-1 r (ears) s
23 r (in) s
24 r (systems-) s
164 1652 p (lev) s
(el) s
18 r (computer) s
19 r (science) s
20 r (for) s
19 r (sev) s
(eral) s
18 r (commercial) s
20 r (and) s
19 r (researc) s
104 c
18 r (organizations,) s
164 1714 p (including) s
14 r (Digital) s
14 r (Equipmen) s
116 c
13 r (Corp) s
1 r (oration,) s
15 r (Zilog,) s
14 r (and) s
14 r (the) s
14 r (USC/Information) s
164 1776 p (Sciences) s
15 r (Institute.) s
22 r 70 c
-4 r (or) s
14 r (the) s
15 r (last) s
15 r 56 c
15 r 121 c
(ears,) s
14 r (he) s
15 r (has) s
15 r (fo) s
1 r (cused) s
15 r (his) s
15 r (activities) s
15 r (on) s
15 r (dis-) s
164 1839 p (tributed) s
18 r (pro) s
2 r (cessing) s
18 r (systems) s
18 r 119 c
(orking) s
17 r (sp) s
2 r (eci\014cally) s
18 r (with) s
18 r (lo) s
2 r (cal) s
18 r (area) s
19 r (net) s
-1 r 119 c
-1 r (orks,) s
164 1901 p (pro) s
1 r (cess) s
17 r (con) s
(trol) s
16 r (and) s
17 r (managemen) s
116 c
16 r (systems.) s
23 r (His) s
17 r (curren) s
116 c
16 r (in) s
(terests) s
16 r (are) s
17 r (in) s
17 r (fac-) s
164 1963 p (tory) s
17 r (\015o) s
1 r (or) s
17 r (net) s
-1 r 119 c
-1 r (orking) s
15 r (concepts) s
17 r (and) s
17 r (rob) s
1 r (otic) s
17 r (tec) s
-1 r (hnology) s
16 r (researc) s
-1 r (h.) s
239 2025 p (He) s
13 r (curren) s
(tly) s
13 r 119 c
-1 r (orks) s
13 r (in) s
14 r (the) s
14 r (Automation) s
13 r (Sciences) s
14 r (Lab) s
2 r (oratory) s
13 r (at) s
14 r (Northrop) s
164 2088 p (Researc) s
104 c
15 r (and) s
17 r 84 c
-3 r (ec) s
-2 r (hnology) s
16 r (Cen) s
-1 r (ter.) s
961 2617 p 49 c
@eop
@end