Index file section H for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
H
-
H.2.1, 6(4)66--74
-
H.2.2, 4(5)65--78
-
H.2.3, 7(3)60--72, 8(1)38--51
-
H.2.8, 7(3)40--49
-
H.2.m, 7(3)50--59, 7(3)60--72
-
H.3.4, 9(5)89--100
-
H2020-ECSEL, 42(2)99--103
-
Haarslev, V., 2(4)92--96
-
Haarslev, V., see Faasch, M.
-
Haberlandt, Tom, 18(6)137--139
-
Haberlandt, Tom, see Hopper, Jim
-
Haberman-Nassi, 13(2)91--96
-
hackers, 32(3)51--52
-
HACMS, 32(3)51--52
-
had, 13(6)133--161, 17(3)17--29, 17(3)67--86, 26(3)9--14, 26(3)71--74,
29(1)70--70, 29(3)119--120, 33(2)14--32, 34(3)1--2, 34(3)61--68,
37(2)59--67, 40(2)70--72, 42(1)41--42
-
Haden, Steven, 10(1)131--139
-
Haden:1990:LML, 10(1)131--139
-
Haertig, Herman, 1(1)31--41
-
Haertig:1981:TST, 1(1)31--41
-
Hagar, Jon, 16(6)55--72
-
Hagar:1996:UFS, 16(6)55--72
-
Hagihara, T., 0(0)367--375
-
Hagihara:1991:AJ, 0(0)367--375
-
Hagos, E. M., 11(3)125--136
-
Hagos, E. M., see Woodside, C. M.
-
Hait, Férial Benachour, 20(1)67--80
-
Hait:2000:AOP, 20(1)67--80
-
half, 17(2)63--66, 31(3)3--4
-
half-day, 31(3)5--6
-
Hall, Patrick A. V., 2(4)88--91
-
Hall:1983:ADM, 2(4)88--91
-
hallmark, 27(1)24--39
-
Hallmark, Tyler B., 27(3)59--62
-
Hallmark:2007:PEG, 27(3)59--62
-
HAL/S, 0(0)101--110
-
Ham, Richard C., 10(3)139--145
-
Ham, Richard C., see Byrne, Dan J.
-
Hamilton, 39(1)100--100
-
Hamilton, Drew, 18(5)104--110, 29(3)5--6
-
Hamilton, Drew, see Davis, Noël,
see Murtagh, Jeanne
-
Hamilton, John A., 39(1)100--100
-
Hamilton, John A., see Moore, Brad
-
Hamilton, Jr., J. A., 26(3)15--20
-
Hamilton, Jr., J. A., see Carlisle, Martin C.
-
Hamilton, Jr., J. A. Drew, 20(3)12--19
-
Hamilton, Jr., John A., 18(6)75--80
-
Hamilton, Jr., John A., see Murtagh, Jeanne L.
-
Hamilton:2000:PLI, 20(3)12--19
-
Hammons, Charles, 4(6)49--59
-
Hammons:1985:CCP, 4(6)49--59
-
Hampson, T. R., 5(2)355--366
-
Hampson, T. R., see Taffs, D. A.
-
hand, 31(3)15--16, 33(2)33--39, 33(2)97--108, 34(3)1--2, 36(1)68--76,
38(1)41--54, 38(1)74--76, 42(1)54--57
-
Handbook, 34(3)29--38
-
handle, 13(3)88--90, 17(3)87--96, 27(3)89--96, 31(2)36--39, 31(2)40--43,
33(2)109--114, 33(3)9--10, 33(3)87--88, 36(1)51--62, 40(1)64--73
-
handled, 36(2)9--17
-
handler, 10(1)100--103, 11(2)53--55, 12(1)53--64, 23(1)11--11,
30(1)68--72, 33(2)75--86, 35(1)26--31, 35(1)80--92
-
handling, 0(0)viii--171, 0(0)50--61, 0(0)90--101, 0(0)107--111,
0(0)138--151, 6(1)63--71, 7(1)97--104, 8(3)87--97, 9(5)54--59,
9(5)89--100, 9(6)67--79, 9(6)90--96, 9(6)97--103, 9(6)104--107,
10(7)91--103, 10(9)46--49, 13(3)86--87, 13(4)49--62, 15(1)70--82,
17(1)41--53, 17(5)27--32, 18(2)53--66, 21(3)11--12, 21(3)16--18,
21(3)19--25, 21(3)41--56, 28(1)96--102, 29(1)54--56, 29(2)53--55,
29(2)68--70, 29(3)3--4, 29(3)61--72, 30(1)33--44, 30(1)62--67,
31(2)36--39, 33(2)87--96, 35(1)26--31, 36(1)39--50, 38(1)55--57
-
handling, error-, 0(0)90--101, 10(7)91--103
-
hands-on, 5(2)210--216, 29(3)11--12, 31(3)3--4, 32(3)5--6, 32(3)9--10,
33(3)9--10
-
handy, 0(0)141--155
-
happen, 37(2)40--42
-
happened, 19(3)225--226
-
HAPPL, 8(7)123--126
-
Harbaugh, Sam, 0(0)14--24, 4(2)23--35, 4(6)27--31, 8(2)107--109
-
Harbaugh:1984:TSU, 4(2)23--35
-
Harbaugh:1985:XEA, 4(6)27--31
-
Harbaugh:1987:GPM, 0(0)14--24
-
Harbaugh:1988:CRM, 8(2)107--109
-
Harbour, M., Gonzalez, 17(5)57--64
-
Harbour, M. González, 17(5)57--64, 19(2)67--72,
see García, J. J. Gutiérrez
-
Harbour, Michael Gonzalez, 19(2)15--18
-
Harbour, Michael González, 21(1)14--16, 21(1)20--26, 21(1)62--66,
22(4)58--65, 22(4)77--84, 22(4)128--130, 23(4)28--31, 23(4)42--51,
27(2)37--40, 27(2)67--71, 30(1)68--72, 30(1)91--103, 30(1)152--161,
33(1)53--63, 33(2)49--58, 35(1)74--79, 36(1)94--97, 41(2)66--70,
see Aldea Rivas, Mario, \see{Aldea, Mario,
see Brosgol, Ben,
see García, José Javier Guitiérrez,
see Gutiérrez, J. Javier,
see Rivas, Mario Aldea,
see Tijero, Héctor Pérez,
see Vardanega, Tullio,
see Villaescusa, David García
-
Harbour, Michael, Gonzales-, 30(2)27--52
-
Harbour, Michael, González, 22(4)123--124
-
Harbour, Michael, Gonzalez-, 23(4)22--23
-
Harbour:1997:IRC, 17(5)57--64
-
Harbour:1999:DAR, 19(2)15--18
-
Harbour:2001:SSD, 21(1)14--16
-
Harbour:2003:MME, 23(4)28--31
-
Harbour:2007:PPL, 27(2)37--40
-
hard, 0(0)102--118, 7(6)49--50, 10(3)126--136, 10(4)5--14, 10(4)136--143,
10(9)118--125, 14(1)38--49, 15(5)46--51, 17(5)18--23, 17(5)45--50,
17(5)88--92, 17(5)93--99, 27(2)29--36, 29(2)20--27, 29(3)17--18,
31(2)9--14, 33(1)53--63, 33(3)3--4, 41(1)64--68
-
hard-deadline, 14(3)105--112
-
hard-real-time, 10(9)60--64
-
hard-typing, 23(1)45--52
-
harder, 27(3)2--2, 35(1)59--73
-
Hardin, David, 31(3)47--60, 42(2)55--61
-
Hardin, David, see Belt, Jason
-
Hardin, David S., 32(3)53--62
-
Hardin:2012:DCD, 32(3)53--62
-
Hardin:2022:HSC, 42(2)55--61
-
hardware, 6(3)31--42, 9(2)90--101, 9(6)80--89, 10(3)33--37,
10(9)111--117, 13(4)77--86, 13(5)43--47, 14(1)61--67, 16(1)46--53,
17(1)41--53, 17(4)17--30, 17(5)33--34, 17(6)32--38, 18(6)28--38,
22(4)85--94, 23(1)11--11, 26(3)9--14, 27(3)79--82, 29(1)19--22,
29(2)15--19, 29(3)11--12, 29(3)23--30, 29(3)105--114, 31(2)15--22,
31(3)1--2, 31(3)19--26, 32(1)13--18, 32(2)9--16, 32(3)73--80,
33(1)128--133, 33(1)157--168, 33(2)9--13, 33(2)40--48, 33(3)3--4,
33(3)9--10, 34(3)47--60, 34(3)103--104, 36(1)25--28, 36(2)9--17,
39(1)71--71, 40(2)59--64, 40(2)65--69, 42(1)95--99
-
Hardware-Based, 37(2)43--50
-
Hardwareash, 18(6)18--27, 42(2)55--61
-
Hardware/software, 5(1)61--70
-
hare, 32(3)9--10
-
Harkleroad, Joseph, 7(2)118--134
-
Harkleroad:1987:AAC, 7(2)118--134
-
harmful, 11(2)56--59, 29(1)25--26, 29(1)27--28
-
Harmon, Marion G., 8(2)110--112
-
Harmon:1988:AIM, 8(2)110--112
-
harness, 27(3)59--62
-
Harrison, George C., 6(4)34--43
-
Harrison:1986:GIA, 6(4)34--43
-
Hart, H., 0(0)305--307
-
Hart, Hal, 2(1)50--57, 14(2)13--z, 14(3)12--z, 14(4)12--15, 19(1)19--z,
19(3)225--226, 20(1)12--15, 21(2)89--89
-
Hart:1982:ADA, 2(1)50--57
-
Hart:1994:LCC, 14(2)13--z
-
Hart:1994:MC, 14(3)12--z
-
Hart:1994:SBG, 14(4)12--15
-
Hart:1997:SEP, 0(0)305--307
-
Hart:1999:SAW, 19(1)19--z
-
Hart:1999:WHI, 19(3)225--226
-
Hart:2000:SAW, 20(1)12--15
-
Hart:2001:SAN, 21(2)89--89
-
Harte, Stu, 18(6)148--151
-
Harte, Stu, see Barkataki, Shan
-
Hartstone, 10(3)126--136, 17(5)88--92
-
Harvey, D., 0(0)156--165
-
Harvey, D., see Eventoff, W.
-
hash, 4(1)40--44, 26(1)25--30
-
hashing, 26(1)25--30
-
Hassan, II, Ricardo J., 22(4)95--112
-
Hassan, II, Ricardo J., see Brosgol, Benjamin M.
-
Hatcliff, John, 31(3)47--60, 32(3)3--4, 33(3)21--22, 33(3)65--84,
42(2)45--54
-
Hatcliff, John, see Belt, Jason,
see Courtieu, Pierre, \see{Larson, Brian
-
Hatcliff:2022:ACL, 42(2)45--54
-
Hategan, Mihael, 40(2)73--75
-
Hategan, Mihael, see Chard, Kyle
-
Haveraaen, Magne, 34(3)71--80
-
Haveraaen, Magne, see Bagge, Anya Helene
-
having, 17(3)3--16, 27(3)100--100, 28(1)48--51, 29(2)53--55, 29(3)19--20,
31(3)13--14, 32(3)7--8, 33(1)15--23, 34(3)29--38, 34(3)61--68,
37(1)9--25
-
Hawthorn, Andrew, 33(3)19--20
-
Hawthorn, Andrew, see Efstathopoulos, Pavlos
-
Hayden, Charlene, Roberts-, 16(1)16--z
-
hazard, 32(3)7--8, 33(3)43--46, 33(3)65--84, 36(2)39--46
-
hazardous, 23(1)1--9
-
HDF, 30(2)19--24
-
HDLs, 32(1)13--18
-
HDRT, 33(1)53--63
-
head, 0(0)viii--240
-
header, 13(5)43--47, 29(2)56--60, 29(2)61--62
-
health, 38(2)109--114
-
Heaney, Matthew, 28(1)38--40, 28(1)41--44, 28(1)48--51, 28(1)52--58
-
Heaney, Matthew J., 24(3)23--30
-
Heaney:2004:CSA, 24(3)23--30
-
Heaney:2008:GAM, 28(1)41--44
-
Heaney:2008:GCO, 28(1)52--58
-
Heaney:2008:GFF, 28(1)48--51
-
Heaney:2008:GKB, 28(1)38--40
-
heap, 13(5)32--42
-
hear, 27(3)97--98
-
heart, 29(3)21--22, 34(3)47--60
-
heat, 31(3)19--26
-
Heaton, Harry, 18(6)137--139
-
Heaton, Harry, see Hopper, Jim
-
heavier-weight, 42(1)80
-
heavily, 29(2)53--55, 33(3)43--46, 36(2)60--68
-
heavy-weight, 40(2)65--69
-
heavyweight, 40(2)55--58
-
Heimbigner, D., 0(0)202--212
-
Heimbigner, D., see Belz, F. C.
-
Heimdahl, Mats P. E., 33(3)51--64
-
Heimdahl, Mats P. E., see Murugesan, Anitha
-
Heimerdinger, Walter, 13(1)35--59
-
Heimerdinger, Walter, see Brown, Mike
-
Heinfeld, Blaine W., 18(5)39--46
-
Heinfeld:1998:SET, 18(5)39--46
-
Heir, 37(1)31--38
-
Heker, Wolf-Dieter, 3(2)76--z, 9(5)83--83
-
Heker:1983:SCE, 3(2)76--z
-
Heker:1989:SER, 9(5)83--83
-
Helbold, D., 4(6)60--72
-
Helbold:1985:RDD, 4(6)60--72
-
held, 8(4)97--103, 30(1)147--151, 36(1)83--90
-
Helmbold, D., 4(6)60--72
-
Helmbold, D. P., 0(0)11--25
-
Helmbold, D. P., see German, S. M.
-
Helmbold, David, 5(2)255--274
-
Helmbold:1985:RDD, 4(6)60--72
-
Helmbold:1985:TTS, 5(2)255--274
-
help, 12(6)47--49, 12(6)59--74, 16(1)18--20, 17(2)29--54, 23(1)30--34,
27(3)8--8, 27(3)100--100, 29(1)25--26, 29(1)51--52, 31(3)1--2,
32(3)9--10, 36(1)29--34, 37(2)9--12, 38(1)41--54, 38(1)74--76
-
helped, 28(1)88--91, 37(2)51--58
-
helpful, 27(3)8--8, 29(2)37--39, 29(3)87--90, 32(3)3--4
-
helping, 14(4)12--15, 33(1)45--52
-
hence, 30(1)45--55, 33(2)87--96, 40(1)79--84
-
Hendrix, T., Dean, 0(0)135--140
-
Hendrix, Joe, 33(3)15--18
-
Hendrix, Joe, see Carter, Kyle
-
Hendrix, T. Dean, 18(1)70--77, 18(5)51--56, 18(6)142--147
-
Hendrix:1998:AGU, 18(5)51--56
-
Hendrix:1998:GSE, 18(1)70--77
-
Hendrix:1998:VSI, 18(6)142--147
-
Henke, Friedrich W. von, 5(2)185--196
-
Hensel, Peter, 7(6)93--96
-
Hensel, Peter, see Landwehr, Rudolf
-
Heras-Quiros, P., De las, 0(0)21--30, 0(0)105--112
-
Herber, Paula, 36(2)9--17
-
Herber, Paula, see Liebrenz, Timm
-
here, 13(1)63--75, 13(2)44--53, 13(4)44--48, 19(1)42--47, 27(3)11--26,
28(1)38--40, 29(2)68--70, 33(1)157--168, 33(2)9--13, 39(1)71--71
-
herein, 13(2)37--43, 42(1)46--49
-
Herr, C. S., 8(5)75--86
-
Herr:1988:CVR, 8(5)75--86
-
Herrera, Christian, 39(2)29--34
-
Herrera, Christian, see Beyene, Tewodros A.
-
Herrera, Jorge L., Diaz-, 17(5)88--92
-
heterogeneous, 16(1)46--53, 17(5)51--56, 33(2)9--13, 33(2)40--48
-
heterogeneous, language-, 14(z)74--81
-
heterogeneously, 36(2)49--53
-
heuristics, 11(2)115--127, 11(3)83--90
-
hexapod, 22(1)17--28
-
Hi-Lite, 32(3)5--6, 32(3)27--34
-
Hibachi, 27(3)99--99
-
Hibbard, Peter, 6(2)103--103
-
Hibbard:1986:SAS, 6(2)103--103
-
hidden, 1(4)9--20, 32(3)73--80
-
hide, 13(3)39--41, 30(1)125--134
-
hiding, 6(3)43--55, 7(1)89--93, 12(3)110--116, 13(3)74--85, 13(6)66--158,
16(3)56--69, 17(6)32--38, 17(6)70--77, 29(3)91--102, 32(3)51--52
-
hierarchical, 0(0)50--61, 0(0)102--118, 16(5)48--58, 21(4)27--30,
27(3)41--50, 30(2)19--24, 32(3)15--22, 33(2)40--48, 33(3)41--42,
33(3)51--64
-
hierarchically, 33(3)51--64
-
hierarchically-scheduled, 41(1)64--68
-
hierarchy, 2(6)53--58, 29(1)54--56, 29(1)58--60, 29(1)78--79, 29(3)5--6,
31(2)33--35, 32(3)15--22, 33(3)41--42
-
Hierro, Marco, Gonzalez-, 42(2)114--118
-
high-assurance, 29(3)9--10, 32(3)53--62
-
high-energy-density, 23(1)11--11
-
high-grade, 27(3)5--6, 29(3)9--10
-
High-Integrity, 18(6)1--6, 18(6)7--11, 18(6)12--17, 34(3)39--46,
38(1)41--54, 38(1)74--76
-
high-integrity, 17(5)65--70, 21(1)33--39, 21(1)40--45, 21(1)56--61,
23(1)1--9, 27(1)24--39, 27(2)29--36, 27(2)53--58, 27(3)5--6,
27(3)100--100, 29(3)17--18, 30(1)45--55, 30(1)135--146, 31(1)9--10,
31(3)3--4, 32(3)11--12, 33(1)15--23, 33(1)53--63, 33(3)9--10,
33(3)11--12, 33(3)65--84, 36(2)22--26, 40(2)48--50, 41(2)61--65
-
high-level, 0(0)40--49, 0(0)124--135, 10(3)14--19, 10(9)60--64,
10(9)118--125, 13(5)43--47, 23(1)1--9, 27(1)24--39, 29(3)1--2,
29(3)85--86, 31(3)9--10, 32(3)15--22, 32(3)73--80, 32(3)103--104,
33(3)41--42, 33(3)65--84
-
high-order, 9(2)118--128
-
high-overhead, 40(2)65--69
-
High-Performance, 36(2)47--48
-
high-performance, 34(3)87--96
-
high-precision, 38(1)55--57
-
high-reliability, 19(3)221--221
-
higher, 8(3)84--86, 15(6)46--56, 17(1)41--53, 20(1)19--24, 27(3)69--70,
32(3)53--62, 33(3)3--4, 33(3)41--42, 40(2)59--64, 41(1)87--91
-
higher-level, 31(2)33--35, 35(1)59--73
-
higher-order, 10(1)122--130
-
highest, 23(1)40--43, 27(3)89--96, 29(3)119--120, 36(1)68--76,
36(2)54--57, 42(1)65--67
-
highest-profile, 27(3)5--6
-
highlight, 15(5)32--33, 17(3)67--86, 27(2)82--87, 29(3)7--8, 34(3)17--18,
37(2)51--58
-
highlighting, 32(3)3--4
-
highly, 0(0)197--204, 5(2)58--71, 10(7)47--54, 10(9)103--110,
14(6)73--76, 27(3)1--1, 27(3)5--6, 27(3)69--70, 28(1)24--30,
29(3)7--8, 32(3)3--4, 33(2)33--39, 33(3)3--4, 33(3)37--40,
33(3)65--84, 36(2)60--68
-
highly-integrated, 34(3)29--38
-
hijacking, 33(1)101--115
-
Hild, Stefan, 42(1)41--42
-
Hild:2022:ALG, 42(1)41--42
-
Hilfinger, P. N., 0(0)26--30
-
Hilfinger:1982:ISA, 0(0)26--30
-
Hilliard II, Richard F., 17(3)3--16
-
Hilliard II, Richard F., see Munck, Robert G.
-
Hilliard, Joshua, 38(2)109--114
-
Hilliard, Joshua, see Berns, Andrew
-
HILT, 32(3)1--2, 32(3)3--4, 32(3)5--6, 32(3)7--8, 32(3)9--10, 32(3)11--12,
32(3)13--14, 32(3)15--22, 32(3)23--24, 32(3)25--26, 32(3)27--34,
32(3)35--42, 32(3)43--50, 32(3)51--52, 32(3)53--62, 32(3)63--70,
32(3)71--72, 32(3)73--80, 32(3)81--94, 32(3)95--96, 32(3)97--102,
32(3)103--104
-
HILT'12, 32(3)1--2
-
Hilton, Adrian, 24(4)39--46
-
Hilton, Adrian, see Chapman, Roderick
-
himself, 0(0)40--49
-
Hirasuna, Michael, 12(2)43--56, 14(1)50--60, 14(2)58--67, 14(3)39--60
-
Hirasuna:1992:UIP, 12(2)43--56
-
Hirasuna:1994:ASIa, 14(1)50--60
-
Hirasuna:1994:ASIb, 14(2)58--67
-
Hirasuna:1994:BSS, 14(3)39--60
-
Hisgen, A., 0(0)66--75
-
Hisgen, A., see Sherman, M.
-
Hisgen, Andy, 0(0)72--81, 0(0)82--90, 6(2)103--103
-
Hisgen, Andy, see Hibbard, Peter,
see Rosenberg, Jonathan,
see Sherman, Mark
-
Hisgen:1980:RRA, 0(0)82--90
-
historically, 0(0)50--61
-
history, 1(1)16--21, 10(3)72--90, 11(2)60--71, 14(3)74--79, 17(3)3--16,
20(2)17--17, 27(3)100--100, 29(3)119--120
-
Hjortaes, Kjeld, 23(4)74--81
-
Hjortaes, Kjeld, see Maia, R.
-
Hoare, Floyd-, 34(3)71--80
-
Hobart, W. C., 0(0)37--40
-
Hobart, W. C., see Chamillard, A. T.
-
hoc, 29(3)17--18
-
hoc, ad-, 36(2)60--68, 40(1)91--96
-
hoc, post-, 42(2)75--78
-
Hodgson, Graham S., 11(7)91--130, 11(7)131--139
-
Hodgson:1991:PSP, 11(7)91--130
-
Hodgson:1991:RPS, 11(7)131--139
-
Hoffman, Daniel, 18(6)255--262
-
Hoffman, L., 10(9)130--144
-
Hoffman, L., see Hughes, D.
-
Hoffman, Leonard J., 10(6)84--96, 10(8)130--144
-
Hoffman, Leonard J., see Chelini, James V.
-
Hoffman:1998:TGA, 18(6)255--262
-
Hoffmann, K. E., 6(1)20--21
-
Hoffmann:1986:ADT, 6(1)20--21
-
hold, 28(1)96--102, 30(1)45--55, 37(2)40--42, 38(1)41--54, 38(1)74--76,
42(2)55--61
-
Holden, M., 18(5)111--125
-
Holden, M., see Shing, M.
-
Holder, Jim, 4(5)90--96
-
Holder, Jim, see Braesicke, Carl
-
holding, 36(2)31--38
-
hole, 9(2)72--77
-
Hollis, D. M., 0(0)141--155
-
Hollis, D. M., see Raymond, G. E.
-
HOLWG, 1(1)22--25
-
Holzbacher-Valero, A. A., 13(2)78--90, 14(2)80--92
-
Holzbacher-Valero, A. A., see Goldsack, S. J.
-
home, 29(3)87--90, 36(2)31--38, 38(2)109--114
-
Homeland, 27(3)101--107
-
Honeywell, 6(1)22--28
-
honor, 34(3)1--2
-
HOOD, HRT-, 19(3)113--123
-
hood., 29(3)5--6
-
hope, 11(7)244--273, 29(1)45--47, 29(1)50--50, 29(1)53--53, 29(1)57--57,
29(1)61--61, 29(1)65--65, 29(1)69--69, 29(1)70--70
-
hoped, 28(1)88--91
-
hopefully, 27(3)1--1
-
Hopper, Jim, 18(6)137--139
-
Hopper:1998:UAD, 18(6)137--139
-
horizon, 26(3)71--74
-
Horn, 39(2)29--34
-
Hosch, Frederick A., 9(2)106--117, 10(1)122--130
-
Hosch:1989:MPA, 9(2)106--117
-
Hosch:1990:GIC, 10(1)122--130
-
Hoskins, Rose, 8(4)83--96
-
Hoskins:1988:DIK, 8(4)83--96
-
host, 3(2)77--88, 8(7)86--96, 10(4)159--165, 13(5)32--42, 17(3)36--44,
17(4)17--30, 17(5)88--92, 26(3)77--80, 32(3)97--102
-
hosted, 10(3)14--19
-
hosted, self-, 11(2)107--114
-
hostile, 17(4)59--65
-
hosting, 35(2)15--21
-
hosting, Cloud-, 42(2)104--108
-
Hotel, 18(0)xii--293
-
Houghton, Raymond C., 3(3)63--78
-
Houghton:1983:TTF, 3(3)63--78
-
hours, 27(3)59--62
-
Hovater, Steven V., 20(4)40--49
-
Hovater:2000:DGU, 20(4)40--49
-
Howe, Douglas J., 23(4)87--92
-
Howe:2003:AFV, 23(4)87--92
-
Howell, C., 0(0)90--101
-
Howell, Chuck, 6(2)75--76
-
Howell:1986:MCI, 6(2)75--76
-
Howell:1991:EHL, 0(0)90--101
-
however, 0(0)62--76, 12(1)43--52, 17(1)41--53, 17(3)67--86, 23(1)27--29,
26(1)64--65, 26(3)61--70, 27(2)61--66, 27(2)82--87, 27(3)1--1,
27(3)3--3, 27(3)8--8, 29(2)20--27, 29(3)45--60, 30(1)104--115,
30(1)116--124, 31(3)19--26, 31(3)27--34, 31(3)47--60, 32(3)23--24,
32(3)97--102, 33(1)32--44, 33(2)9--13, 33(2)75--86, 33(3)3--4,
33(3)65--84, 33(3)85--86, 34(3)5--12, 34(3)61--68, 34(3)97--102,
35(1)80--92, 36(1)51--62, 36(2)58--59, 38(2)64--68, 40(1)45--52,
40(2)48--50, 40(2)55--58, 40(2)65--69, 42(1)90--94, 42(1)100--104
-
HP, 11(2)98--106
-
HPash, 11(2)98--106
-
HPC, 40(2)48--50
-
HP/Telegen2, 11(2)98--106
-
HRG, 18(6)7--11
-
HRT--HOOD, 19(3)113--123
-
HTEP, 11(2)98--106
-
HTML, 17(4)31--58
-
HTTP, 40(2)65--69
-
http://dafny.codeplex.com, 32(3)9--10
-
http://research.microsoft.com/dafny, 32(3)9--10
-
http://rise4fun.com/dafny, 32(3)9--10
-
http://samate.nist.gov/SASII, 27(3)101--107
-
https://dl.acm.org/citation.cfm?id=3025706, 39(1)71--71
-
https://www.draper.com/explore-solutions/inherently-secure-processor,
39(1)71--71
-
http://www.adacore.com/home/products/gnatpro/professional_services/training,
31(2)52--55
-
http://www.eclipse.org/projects/dev_process/development_process.php,
27(3)99--99
-
http://www.eclipse.org/proposals/adt, 27(3)99--99
-
http://xkcd.com/327, 31(2)40--43
-
Hucheon, A. D., 8(7)113--117
-
Hucheon:1988:SAD, 8(7)113--117
-
Huff, Edward, 1(4)32--33
-
Huff:1982:FQA, 1(4)32--33
-
Huffman, Brian, 33(3)15--18
-
Huffman, Brian, see Carter, Kyle
-
huge, 27(3)3--3, 32(3)23--24, 42(1)39--40
-
Hughes, D., 10(9)130--144
-
Hughes, Donna D., 10(6)84--96, 10(8)130--144
-
Hughes, Donna D., see Chelini, James V.
-
Hughes:1990:EED, 10(9)130--144
-
Hugues, 31(2)70--70
-
Hugues, Jérome, 27(2)53--58, see Pulido, José A.
-
Hugues, Jérôme, 26(3)21--28, 34(3)39--46, 38(2)89--96,
see Creuse, Léo, \see{Zalila, Bechir
-
Hugues:2014:LAS, 34(3)39--46
-
Huguet, Joffrey, 38(2)89--96
-
Huguet, Joffrey, see Creuse, Léo
-
Huijsman, R. D., 7(5)42--50
-
Huijsman:1987:TAP, 7(5)42--50
-
Hulse, Christine, 19(3)101--110
-
Hulse:1999:RMC, 19(3)101--110
-
human, 0(0)336, 4(5)90--96, 5(1)61--70, 7(1)82--88, 7(5)34--39,
9(5)115--122, 11(2)60--71, 17(4)59--65, 27(3)59--62, 32(3)7--8
-
Humphrey, Glenn, 21(4)39--46
-
Humphrey, Glenn, see Sherrill, Joel
-
Humphrey, Laura, 42(2)79--88
-
Humphrey:2022:BFV, 42(2)79--88
-
Humphries, Jeffrey W., 23(1)22--26, 24(1)1--3
-
Humphries, Jeffrey W., see Carlisle, Martin C.
-
Humphries:2004:MPA, 24(1)1--3
-
hundreds, 42(2)89--91
-
Hunt, J. R., 8(7)61--64
-
Hunt:1988:IA, 8(7)61--64
-
Hurst, Jim, 18(6)263--275
-
Hurst, Jim, see Laski, Janusz
-
Hutcheon, A. D., 7(6)73--76, 8(7)113--117
-
Hutcheon:1987:PDD, 7(6)73--76
-
Hutcheon:1988:SAD, 8(7)113--117
-
Hutchison, J. S., 0(0)26--35, 0(0)152--161
-
Hutchison, J. S., see Duncan, A. G.
-
HWash, 36(2)9--17
-
HW/SW, 36(2)9--17
-
hybrid, 14(z)3--15, 14(z)109--112, 17(5)71--76, 23(1)45--52, 34(3)29--38
-
Hyerle, Robert H., 0(0)183--193
-
Hyerle, Robert H., see Albrecht, Paul F.
-
hypercube, 9(2)118--128, 10(9)126--132
-
hyperscale, 40(2)65--69
-
hypervisor, 33(2)33--39, 33(3)9--10, 35(1)74--79