Index file section M for sigada.bib
Last update: Thu Jun 29 04:02:20 MDT 2023
Return to index directory
M
-
M, 0(0)21--30, 0(0)62--76, 27(3)89--96
-
m, 10-, 23(1)11--11
-
M., see De las Heras-Quiros, P.
-
M2OS, 41(1)78--82
-
M68020, 10(6)84--96, 10(8)130--144
-
MA, 15(0)vii--242
-
MA1, 27(3)7--7, 27(3)8--8
-
Maarek, Yoelle S., 0(0)216--225
-
Maarek:1987:UCC, 0(0)216--225
-
Mac an Airchinnigh, M., 6(5)86--93
-
Mac an Airchinnign, Mícheál, 3(4)70--77
-
MacanAirchinnigh:1986:RIA, 6(5)86--93
-
MacanAirchinnign:1984:APU, 3(4)70--77
-
MacEwen, Glenn, 14(z)74--81
-
MacEwen, Glenn, see Leeson, David
-
machine, 0(0)149--164, 0(0)223--234, 0(0)235--242, 2(2)28--33,
5(2)72--84, 6(6)54--60, 9(2)118--128, 9(7)102--113, 10(1)118--121,
10(3)38--58, 10(4)85--96, 10(9)126--132, 11(3)91--101, 11(5)30--46,
12(1)43--52, 12(1)73--84, 12(2)97--101, 13(6)66--158, 14(z)3--15,
17(3)17--29, 20(2)38--56, 20(4)3--28, 23(1)11--11, 27(3)7--7,
27(3)59--62, 29(3)13--14, 29(3)19--20, 29(3)119--120, 31(3)11--12,
32(3)23--24, 32(3)103--104, 33(1)128--133, 33(3)9--10, 37(2)40--42,
42(2)40--44
-
machine, Virtual-, 33(1)128--133
-
machine-independent, 9(2)118--128
-
machine-verified, 33(3)21--22
-
MachineChart, 14(z)3--15
-
MachineCharts, 11(3)91--101, 14(z)3--15
-
MacLaren, Lee, 0(0)146--155
-
MacLaren:1980:ETA, 0(0)146--155
-
Macos, Dragan, 18(6)287--293
-
Macos:1998:RDL, 18(6)287--293
-
Macpherson, George W., 7(1)94--96, 16(3)56--69
-
Macpherson:1987:WUW, 7(1)94--96
-
Macpherson:1996:RAP, 16(3)56--69
-
macro, 1(4)55--58, 6(6)61--71, 9(7)114--128, 16(1)44--45
-
macroscopic, 10(3)38--58
-
MACS-specific, 17(5)77--82
-
Maddox, W. H., 5(2)343--354
-
Maddox, W. H., see Barbacci, M. R.
-
made, 0(0)16--23, 17(1)54--68, 17(3)57--66, 27(3)71--74, 27(3)100--100,
29(1)62--64, 29(3)19--20, 29(3)105--114, 30(1)45--55, 30(1)135--146,
31(3)47--60, 32(3)3--4, 32(3)95--96, 33(1)24--31, 33(1)45--52,
33(3)41--42, 33(3)43--46, 33(3)85--86, 34(3)5--12, 34(3)19--28,
38(1)29--33, 42(1)61--64
-
Maderna, F., 3(6)57--65, 7(6)67--69
-
Maderna, F., see Crespi Reghizzi, S.,
see Dapra, A.
-
Maes, Patrick, 18(6)158--164
-
Maes, Patrick, see Carlisle, Martin C.
-
Magnavox, 7(3)73--83
-
Mahani, Negin, 29(1)19--22, 29(2)15--19, 31(2)15--22, 32(1)13--18,
32(2)9--16, 33(1)157--168
-
Mahani:2009:SAB, 29(2)15--19
-
Mahani:2009:SLH, 29(1)19--22
-
Mahani:2011:MAR, 31(2)15--22
-
Mahani:2012:MAR, 32(2)9--16
-
Mahani:2012:TRR, 32(1)13--18
-
Mahani:2013:IST, 33(1)157--168
-
Maia, R., 23(4)74--81
-
Maia:2003:VVM, 23(4)74--81
-
Maibor, David S., 12(2)31--32
-
Maibor, David S., see Gray, Lewis
-
mailboxes, 31(2)56--58
-
mailing, 16(1)18--20, 17(4)59--65
-
mailserv@acm.org, 16(1)18--20
-
main, 13(2)44--53, 13(4)71--76, 17(3)36--44, 17(3)67--86, 27(2)37--40,
27(2)88--89, 27(2)96--97, 27(3)1--1, 29(3)3--4, 32(3)23--24,
33(2)75--86, 33(3)15--18, 33(3)21--22, 36(2)9--17, 36(2)47--48,
37(2)59--67, 40(2)55--58
-
mainframe, 0(0)1--9
-
mainly, 0(0)40--49, 17(1)41--53, 33(3)13--14
-
mainstream, 31(3)35--36
-
maintain, 29(3)21--22, 34(3)97--102, 40(1)91--96
-
maintainability, 0(0)50--61, 8(7)35--38, 11(5)62--78, 11(6)77--79
-
maintainable, 16(1)54--57, 27(3)1--1
-
maintained, 27(3)1--1
-
maintaining, 14(z)26--35, 33(1)84--92, 33(3)43--46, 38(2)109--114,
40(1)91--96
-
maintenance, 0(0)124--135, 0(0)141--155, 4(2)65--76, 4(5)49--58,
4(5)79--83, 4(5)100--104, 6(3)56--60, 7(5)100--103, 9(3)1--341,
9(5)54--59, 9(5)84--88, 9(6)80--89, 9(7)91--101, 11(3)137--146,
11(6)77--79, 12(4)20--23, 12(4)24--35, 12(5)64--76, 13(1)63--75,
13(4)29--36, 14(1)30--37, 14(z)26--35, 16(1)54--57, 17(5)57--64,
17(5)77--82, 19(3)101--110, 30(2)25--26, 37(1)54--54, 40(1)45--52
-
Maio, A., Di, 5(2)109--123, 7(6)67--69
-
Maio, Andrea, di, 10(9)50--59
-
major, 0(0)31--36, 13(4)44--48, 16(1)18--20, 18(6)61--67, 23(1)44--44,
26(3)9--14, 27(3)2--2, 27(3)7--7, 27(3)69--70, 27(3)75--78,
27(3)99--99, 28(1)24--30, 29(2)37--39, 29(3)13--14, 29(3)85--86,
29(3)119--120, 34(3)97--102, 36(1)68--76, 36(2)39--46, 36(2)58--59
-
Majors, Non-, 0(0)37--40
-
make, 0(0)102--118, 12(6)50--58, 12(6)75--80, 13(3)91--95, 17(2)82--91,
23(1)11--11, 23(1)35--39, 23(1)45--52, 26(1)18--24, 26(3)21--28,
27(1)24--39, 27(3)2--2, 27(3)11--26, 27(3)59--62, 29(1)27--28,
29(2)15--19, 29(2)40--42, 29(2)63--64, 29(3)61--72, 29(3)85--86,
29(3)91--102, 30(1)125--134, 31(2)36--39, 31(2)40--43, 31(3)15--16,
31(3)27--34, 31(3)35--36, 32(3)23--24, 33(1)53--63, 33(2)40--48,
33(3)9--10, 34(3)69--70, 36(1)68--76, 36(2)9--17, 36(2)31--38,
36(2)58--59, 40(2)73--75
-
makers, pace-, 32(3)51--52
-
making, 0(0)16--23, 9(4)105--112, 10(7)63--69, 12(6)75--80, 17(3)3--16,
19(3)83--88, 21(4)129--130, 26(3)77--80, 27(3)99--99, 29(1)51--52,
29(2)50--52, 31(2)15--22, 31(3)75--80, 32(2)9--16, 34(3)103--104,
35(1)59--73, 36(2)39--46, 40(2)55--58, 42(1)43--45, 42(1)76--78
-
making, chip-, 29(3)61--72
-
Malik, A. H., 30(1)125--134, 33(1)15--23
-
Malik, A. H., see Burns, A.,
see Wellings, A. J.
-
Maloney, James J., 8(2)84--95
-
Maloney:1988:UVV, 8(2)84--95
-
malware, 28(1)96--102
-
manage, 27(3)69--70, 32(3)15--22, 32(3)51--52, 33(1)84--92, 36(2)54--57,
38(1)19--28, 40(2)55--58, 42(2)89--91
-
manageable, 36(2)18--21
-
managed, 27(3)69--70, 30(1)91--103
-
MANAGEMENT, 4(4)32--37, 4(5)65--78, 4(5)79--83, 5(3)45--56, 6(4)66--74,
6(5)29--33, 6(5)86--93, 7(3)40--49, 7(3)50--59, 7(3)60--72,
8(1)38--51, 8(3)107--114, 8(4)35--46, 8(4)47--68, 8(5)47--60
-
manager, 8(2)84--95, 11(2)98--106, 12(6)47--49, 13(5)32--42, 27(3)5--6,
33(2)14--32, 34(3)1--2, 42(1)46--49, 42(1)68--75, 42(1)76--78,
42(2)79--88
-
managing, 0(0)56--59, 0(0)165--172, 13(5)32--42, 15(1)70--82,
23(4)28--31, 27(2)67--71, 29(3)73--78, 31(1)16--18, 34(3)97--102,
38(2)109--114, 42(2)114--118
-
Mandate, 0(0)305--307
-
mandated, 31(3)69--74
-
maneuvering, 21(4)61--70
-
manifest, 29(3)119--120
-
manifestation, 0(0)24--39, 21(2)53--64
-
manifested, 0(0)viii--171, 0(0)24--39
-
manipulate, 28(1)52--58, 37(2)13--17, 37(2)18--22
-
manipulating, 29(2)37--39
-
manipulation, 9(1)47--70, 9(5)101--108, 10(1)92--96, 27(2)82--87,
42(1)65--67
-
Manipulations, 5(2)297--308
-
manned, 11(2)107--114
-
manner, 17(3)87--96, 26(3)35--42, 29(3)119--120, 33(2)87--96
-
mantra, 33(3)43--46
-
manual, 6(3)56--60, 9(2)90--101, 9(3)1--341, 15(1)39--49, 20(3)32--40,
29(3)19--20, 31(2)44--47, 31(2)48--51, 31(2)56--58, 31(3)13--14,
33(2)49--58, 33(3)65--84, 37(2)40--42
-
manually, 29(2)43--45, 29(3)19--20
-
manufacturer, 16(5)35--47
-
manufacturing, 42(2)92--95
-
many, 0(0)10--15, 0(0)16--23, 0(0)90--101, 0(0)124--135, 11(7)244--273,
12(1)43--52, 12(6)81--87, 13(2)54--64, 23(1)27--29, 23(1)45--52,
26(2)12--22, 26(3)9--14, 26(3)71--74, 27(2)67--71, 27(3)5--6,
27(3)7--7, 27(3)8--8, 27(3)69--70, 27(3)83--88, 27(3)100--100,
28(1)76--82, 29(1)19--22, 29(1)23--24, 29(2)53--55, 29(3)1--2,
29(3)13--14, 29(3)119--120, 30(1)62--67, 31(2)9--14, 31(3)9--10,
31(3)27--34, 31(3)39--46, 32(3)63--70, 32(3)95--96, 32(3)97--102,
34(3)1--2, 34(3)61--68, 35(1)17--25, 36(2)58--59, 38(2)64--68,
39(2)35--40, 40(1)60--63, 40(1)79--84, 41(1)44--63
-
Many-Core, 41(2)66--70
-
many-core, 33(2)14--32, 33(2)33--39, 33(2)40--48, 33(3)23--36
-
manycore, 33(3)37--40, 41(2)66--70
-
MAP, 0(0)116--125, 9(5)109--114, 9(6)90--96
-
map, 13(2)z--z, 29(2)46--49, 30(1)16--25, 33(3)49--50, 36(1)25--28,
40(2)55--58, 40(2)96--102
-
mapped, memory-, 37(2)43--50
-
mapping, 7(2)73--84, 8(5)101--109, 8(7)101--103, 10(9)126--132,
11(6)54--60, 11(6)61--63, 11(9)67--82, 12(1)53--64, 12(6)50--58,
12(6)59--74, 12(6)75--80, 12(6)81--87, 13(3)74--85, 13(5)43--47,
16(5)59--69, 20(1)58--66, 27(2)75--81, 30(1)16--25, 30(1)62--67,
33(2)9--13, 33(2)40--48, 36(2)60--68, 40(2)55--58
-
Marcé, L., 24(4)1--8, 25(4)1--10, see Singhoff, F.
-
Marching, 14(6)62--72
-
Marco, Jordi, 24(1)49--61
-
Marco:2004:FDI, 24(1)49--61
-
Mardis, Mike, 19(4)13--18
-
Mardis:1999:ESR, 19(4)13--18
-
margins, 31(3)7--8, 31(3)69--74
-
Marietta, 8(3)107--114, 8(5)47--60
-
Marina, Ramón, Fernández-, 21(3)76--79, 29(1)51--52,
29(1)66--68
-
maritime, 29(3)11--12, 40(1)79--84
-
Mark, Matt, 25(4)93--102
-
Mark:2005:DSB, 25(4)93--102
-
market, 0(0)24--39, 0(0)367--375, 19(3)229--242, 20(1)67--80,
30(2)27--52, 31(3)3--4, 32(3)11--12, 33(3)11--12, 33(3)37--40,
34(3)61--68
-
marketing, 31(3)35--36
-
marketplace, 0(0)24--39, 14(3)80--90, 17(5)51--56
-
marking, 11(5)79--90, 32(3)9--10
-
Markow, Tanya, 26(3)29--34
-
Markow:2006:CST, 26(3)29--34
-
marks, 30(2)67--78
-
Marmor-Squires, Ann, 4(5)79--83
-
Marmor-Squires:1985:MER, 4(5)79--83
-
Marquardt, Matthew, 10(3)38--58
-
Marquardt, Matthew, see Goforth, Andre
-
Marr, J. S., 0(0)77--89
-
Marr:1991:ADR, 0(0)77--89
-
Marriott, A., 41(2)71--76
-
Marriott, Ahlan, 37(2)59--67
-
Marriott:2017:UGP, 37(2)59--67
-
Marriott:2021:MAN, 41(2)71--76
-
Marsaglia, 8(2)110--112
-
Marsh, Colin, 27(3)89--96
-
Marsh, Colin, see Nettleton, Chris
-
Marsh, Ian, 42(2)92--95
-
Marsh, Ian, see John, Wolfgang
-
marshalling, 16(1)46--53
-
MARTE, 32(3)81--94
-
MaRTE, 35(1)74--79
-
MaRTE/GNAT, 35(1)74--79
-
Martignano, Maurizio, 39(2)25--28, 41(2)77--80
-
Martignano:2020:C, 39(2)25--28
-
Martignano:2021:SAA, 41(2)77--80
-
Martin, 8(3)107--114, 8(5)47--60, 26(3)1--1, 32(3)63--70
-
Martin, Bob, 38(2)9--42
-
Martin, D. F., 0(0)120--128
-
Martin, D. F., see Kini, V.
-
Martin, Donald G., 6(1)72--81
-
Martin, Helmut, 39(2)41--48
-
Martin, Helmut, see Bramberger, Robert
-
Martín, Juan Carlos Díaz, 19(3)113--123
-
Martin, Robert A., 28(1)88--91
-
Martin:1986:NAA, 6(1)72--81
-
Martin:1999:BTT, 19(3)113--123
-
Martin:2008:CWE, 28(1)88--91
-
Martin:2019:CVE, 38(2)9--42
-
Martínez, M., Patiño-, 21(3)64--75
-
marvels, 28(1)45--47
-
Masmano, Miguel, 23(4)24--27
-
Masmano, Miguel, see Miranda, Javier
-
mass, 16(3)56--69
-
Massachusetts, 0(0)viii--240
-
massive, 42(1)100--104
-
master, 18(5)111--125, 27(3)99--99, 37(1)39--42, 37(1)43--45
-
Masters, Michael W., 2(4)68--75
-
Masters:1983:SDP, 2(4)68--75
-
match, 32(3)7--8, 34(3)39--46
-
matching, 11(3)83--90, 11(3)z--z, 14(3)61--73, 17(2)82--91, 32(3)95--96,
42(1)79, 42(2)69--74
-
matching, pattern-, 42(1)79, 42(2)69--74
-
material, 0(0)xvi--431, 1(2)15--33, 27(3)75--78, 29(3)103--104,
31(3)3--4, 39(1)71--71
-
math, 11(7)274--284, 17(4)66--73
-
MATHEMATICAL, 5(3)76--83
-
mathematical, 0(0)141--155, 4(3)44--52, 5(3)76--83, 11(7)9--46,
11(7)66--82, 11(7)140--165, 11(7)166--179, 14(z)74--81, 27(3)11--26,
27(3)89--96, 29(3)61--72, 31(3)7--8, 34(3)13--16, 37(2)40--42
-
mathematics, 7(1)71--81, 7(3)73--83, 7(5)63--78, 8(2)110--112,
9(2)72--77, 11(2)60--71, 11(7)3--8, 11(7)9--46, 11(7)47--65,
11(7)66--82, 11(7)83--90, 11(7)91--130, 11(7)131--139,
11(7)140--165, 11(7)166--179, 11(7)180--216, 11(7)217--243,
11(7)274--284, 27(3)11--26, 27(3)89--96, 33(3)85--86
-
Mathias, K. S., 0(0)135--140
-
Mathias, K. S., see Dean Hendrix, T.
-
Mathias, Karl S., 18(1)70--77, 18(5)51--56, 18(6)142--147
-
Mathias, Karl S., see Hendrix, T. Dean
-
Mathis, Robert, 16(6)51--54
-
Mathis, Robert F., 0(0)95--100, 1(1)29--30
-
Mathis, Robert F., see Knapper, Robert J.
-
Mathis:1987:EFP, 0(0)95--100
-
Mathis:1996:CAQ, 16(6)51--54
-
Mathisen, David G., 25(4)69--78
-
Mathisen:2005:OSN, 25(4)69--78
-
matrix, 2(5)76--84, 3(2)76--z, 6(2)57--58, 8(3)69--80, 8(6)35--48,
9(4)30--42, 10(5)48--61, 11(4)91--98, 11(7)91--130, 11(7)131--139,
12(3)67--83, 12(6)29--45, 13(3)21--z, 13(6)37--55, 14(3)20--38,
14(6)19--40, 15(6)22--43, 16(3)19--19, 16(6)40--50, 17(4)74--87
-
Matrixr, 10(8)34--34
-
Matsakis, Nicholas, 34(3)105--106
-
Matsakis, Nicholas, see Bocchino, Robert
-
Matsakis, Nicholas D., 34(3)103--104
-
Matsakis:2014:RL, 34(3)103--104
-
Matsumoto, A. S., 3(1)51--54, 3(2)89--92
-
Matsumoto, A. S., see Litvintchouk, Steven D.
-
matter, 12(2)43--56, 27(3)11--26, 31(3)69--74, 35(1)32--37
-
Matthews, E. R., 6(3)61--64
-
Matthews, Ed, 11(3)61--72
-
Matthews, Edmund R., 7(5)100--103
-
Matthews, John, 10(5)9--14
-
Matthews:1986:AEE, 6(3)61--64
-
Matthews:1987:OPA, 7(5)100--103
-
Matthews:1990:LE, 10(5)9--14
-
Matthews:1991:VAI, 11(3)61--72
-
Mattini, M., 11(2)98--106
-
Mattini:1991:HTE, 11(2)98--106
-
mature, 29(3)21--22
-
matured, 23(1)1--9, 27(3)1--1
-
maturity, 0(0)viii--171, 0(0)16--23, 17(3)3--16
-
Mauger, Claude, 5(2)124--135
-
Mauger:1985:EDD, 5(2)124--135
-
Maurel, O., 0(0)251--260
-
Maurel, O., see Roubine, O.
-
Maurer, U., 41(2)71--76
-
Maurer, U., see Marriott, A.
-
Maurer, Urs, 37(2)59--67
-
Maurer, Urs, see Marriott, Ahlan
-
Maurer, Ward D., 27(3)11--26
-
Maurer:2007:UMI, 27(3)11--26
-
Max-SMT, 42(2)32--39
-
maxima, 23(1)45--52
-
maximum, 9(5)101--108, 12(1)53--64, 14(1)38--49, 15(5)46--51,
17(6)70--77, 31(3)1--2
-
Maxted, Amelia, 0(0)87--94
-
Maxted:1987:AGT, 0(0)87--94
-
may, 0(0)vi--130, 5(2)1--13, 5(2)14--24, 5(2)25--40, 5(2)41--57,
5(2)58--71, 5(2)72--84, 5(2)85--96, 5(2)97--108, 5(2)109--123,
5(2)124--135, 5(2)136--150, 5(2)151--163, 5(2)164--172,
5(2)173--184, 5(2)185--196, 5(2)197--209, 5(2)210--216,
5(2)217--228, 5(2)229--240, 5(2)241--254, 5(2)255--274,
5(2)275--284, 5(2)285--296, 5(2)297--308, 5(2)309--320,
5(2)321--328, 5(2)329--342, 5(2)343--354, 5(2)355--366, 11(2)60--71,
11(7)244--273, 12(2)91--96, 12(6)81--87, 13(2)91--96, 13(4)63--70,
17(3)57--66, 23(1)1--9, 26(2)23--37, 26(3)9--14, 27(2)67--71,
27(3)2--2, 28(1)34--35, 28(1)36--37, 29(3)3--4, 29(3)119--120,
30(2)27--52, 31(3)7--8, 31(3)37--38, 31(3)39--46, 31(3)69--74,
32(3)3--4, 32(3)25--26, 32(3)97--102, 33(2)33--39, 33(3)51--64,
34(3)19--28, 34(3)71--80, 35(2)14--14, 40(2)73--75, 41(1)74--77
-
Mayer, John H., 5(2)72--84
-
Mayer, John H., see Volz, Richard A.
-
Maymir-Ducharme, Fred, 14(z)109--112
-
Maymir-Ducharme, Fred A., 10(9)39--45
-
Maymir-Ducharme:1990:DPP, 10(9)39--45
-
Maymir-Ducharme:1994:RHS, 14(z)109--112
-
Mazzanti, F., 5(2)85--96, 11(1)102--113
-
Mazzanti, F., see Delrio, P.,
see Inverardi, P.
-
Mazzanti, Franco, 9(5)109--114, 9(6)90--96
-
Mazzanti:1989:AE, 9(5)109--114
-
Mazzanti:1989:RUA, 9(6)90--96
-
MBD, 34(3)17--18, 42(2)32--39
-
mbeddr, 34(3)13--16
-
McAfee, Ron, 8(3)84--86
-
McAfee, Ron, see Roark, Chuck
-
McConnell, David, 17(5)93--99
-
McConnell, David, see Vestal, Steve
-
McCormick, 31(2)70--70
-
McCormick, Frank, 7(6)49--50
-
McCormick, John, 19(3)111--112
-
McCormick, John W., 20(3)41--49, 26(1)7--11, 26(1)12--15, 27(3)7--7,
29(3)13--14, 30(3)5--6, 31(3)15--16
-
McCormick:1987:SDA, 7(6)49--50
-
McCormick:1999:AMR, 19(3)111--112
-
McCormick:2000:SEE, 20(3)41--49
-
McCormick:2006:SAA, 26(1)12--15
-
McCormick:2006:SRS, 26(1)7--11
-
McCormick:2007:MRT, 27(3)7--7
-
McCormick:2009:ART, 29(3)13--14
-
McCormick:2010:APE, 30(3)5--6
-
McCormick:2011:BER, 31(3)15--16
-
McCoy, L. Scott, 7(3)50--59, 10(8)156--160, 10(9)156--160
-
McCoy:1987:IAR, 7(3)50--59
-
McCoy:1990:BAa, 10(8)156--160
-
McCoy:1990:BAb, 10(9)156--160
-
McDermid, John, 3(1)57--62
-
McDermid, John A., 42(1)81--85
-
McDermid, John A., see Zou, Jie
-
McDermid:1983:LCS, 3(1)57--62
-
McDonald, C., 8(3)115--122
-
McDonald, C. W., 8(3)115--122
-
McDonald:1988:AAT, 8(3)115--122
-
McDonald:1988:ASE, 8(3)115--122
-
McDonald:1989:AAT, 8(3)115--122
-
McEvilley, Michael, 23(1)35--39
-
McEvilley:2003:EIA, 23(1)35--39
-
McGraw, Gary, 30(3)31--32
-
McGraw, Gary, see Fong, Elizabeth
-
McGregor, John D., 36(2)31--38
-
McGregor:2016:ADS, 36(2)31--38
-
McGugan, James, 14(z)26--35
-
McGugan, James, see Barry, Brian M.
-
McHugh, John, 13(1)35--59
-
McHugh, John, see Brown, Mike
-
McKay, C., 11(8)177--z
-
McKay, C., see Allen, D.
-
Mckay, Charles, 5(3)63--63
-
Mckay, Charles, see Kamrad, Mike
-
McKinlay, Arch, 13(1)35--59
-
McKinlay, Arch, see Brown, Mike
-
McKinney, Rand, 4(5)90--96
-
McKinney, Rand, see Braesicke, Carl
-
McMahon, Margaret M., 18(5)97--103
-
McMahon, Margaret M., see Needham, Donald M.
-
McMaster, 34(3)47--60
-
McNicholl, D. G., 8(5)75--86
-
McNicholl, D. G., see Herr, C. S.
-
McNickle, Mark, 7(3)40--49
-
McNickle:1987:EUA, 7(3)40--49
-
MDE, 29(3)31--44
-
Me'le'se, B., 5(2)297--308
-
Me'le'se, B., see Donzeau-Gouge, V.
-
mean, 7(3)84--93, 8(7)32--34, 13(3)39--41, 13(3)91--95, 23(1)22--26,
23(1)35--39, 26(2)48--59, 27(3)27--40, 27(3)69--70, 29(1)54--56,
33(2)97--108, 33(3)43--46, 33(3)49--50, 35(1)38--45, 35(1)80--92,
37(2)40--42
-
meaning, 23(1)45--52, 31(3)17--18, 32(3)25--26, 34(3)61--68
-
MEANINGS, 7(6)107--109
-
meant, 29(3)17--18, 31(2)15--22, 32(2)9--16
-
meantime, 27(3)89--96, 29(1)69--69
-
Mearns, Ian, 7(6)124--126
-
Mearns:1987:DRT, 7(6)124--126
-
measurable, 6(2)41--50, 23(1)35--39, 31(3)39--46
-
measure, 0(0)141--155, 6(3)65--70, 8(4)35--46, 9(5)60--82, 10(3)38--58,
12(2)97--101, 12(4)24--35, 13(2)54--64, 26(1)31--44, 26(3)51--60,
31(3)1--2, 33(1)15--23
-
measured, 32(3)63--70
-
measurement, 0(0)10--15, 0(0)125--134, 0(0)336, 7(1)49--58, 7(1)82--88,
7(5)51--62, 8(3)98--106, 8(7)39--42, 9(4)84--86, 9(5)60--82,
10(3)1--6, 10(3)20--28, 10(3)29--32, 10(3)38--58, 10(3)72--90,
10(3)91--97, 10(3)98--100, 10(9)65--69, 11(6)54--60, 13(2)54--64,
13(2)z--z, 14(2)68--79, 16(3)56--69, 30(1)33--44, 31(3)1--2,
33(2)87--96, 38(1)19--28
-
measuring, 12(1)65--72, 13(2)54--64, 24(1)62--67, 24(4)9--12,
27(3)101--107, 30(1)33--44, 31(3)1--2, 37(1)9--25
-
mechanical, 33(3)21--22
-
mechanical, electro-, 32(3)7--8
-
mechanically, 29(3)85--86, 33(3)13--14, 33(3)21--22
-
mechanism, 5(3)30--44, 8(5)87--91, 8(7)86--96, 9(2)106--117, 9(4)87--91,
9(6)67--79, 10(6)84--96, 10(8)130--144, 10(9)35--38, 10(9)141--146,
10(9)z--z, 11(2)56--59, 11(3)33--35, 11(3)33--z, 11(5)30--46,
12(6)75--80, 15(1)64--69, 16(1)46--53, 17(2)29--54, 17(3)87--96,
19(2)54--59, 23(1)45--52, 26(1)56--63, 27(1)24--39, 27(2)41--47,
27(2)48--52, 27(2)61--66, 28(1)41--44, 29(2)50--52, 29(3)31--44,
29(3)73--78, 30(1)91--103, 31(2)33--35, 31(3)7--8, 33(1)32--44,
33(1)84--92, 33(1)93--100, 34(3)29--38, 34(3)87--96, 35(1)38--45,
35(1)46--58, 35(1)80--92, 38(1)19--28, 38(2)64--68, 40(1)91--96,
41(1)87--91
-
mechatronic, 36(2)60--68
-
medalists, 32(3)9--10
-
media, 8(6)72--81, 12(5)64--76
-
MEDIAN, 10(3)111--125
-
mediates, 17(3)97--108
-
medical, 18(6)114--120, 29(3)85--86, 32(3)51--52, 33(3)51--64,
33(3)65--84, 36(2)39--46
-
Medina, Julio L., 22(4)58--65
-
Medina, Julio L., see Gutiérrez, J. Javier
-
medium, 9(5)115--122, 15(2)31--39
-
Medley, J. S., 0(0)24--39
-
Medley:1991:TQM, 0(0)24--39
-
meet, 0(0)156--171, 12(6)81--87, 13(2)54--64, 23(1)40--43, 26(3)29--34,
27(3)89--96, 29(1)19--22, 29(2)15--19, 31(2)15--22, 31(3)1--2,
31(3)69--74, 32(2)9--16, 32(3)71--72, 33(3)43--46, 41(1)64--68
-
meeting, 0(0)viii--171, 4(6)35--43, 5(1)32--41, 6(2)75--76, 8(4)97--103,
12(2)33--z, 12(2)43--56, 12(3)42--z, 14(3)16--z, 14(3)18--z,
15(3)35--z, 15(3)39--z, 15(5)32--33, 16(1)16--z, 17(2)18--25,
18(2)36--41, 18(4)111--113, 20(2)11--13, 20(2)14--14, 20(2)15--16,
23(1)40--43, 27(3)2--2, 29(3)7--8
-
Megajoule, 1.8-, 23(1)11--11
-
Meiling, Erik, 3(4)78--91
-
Meiling:1984:CSC, 3(4)78--91
-
Melby, John, 4(5)97--99
-
Melby, John, see Jones, Bill
-
Melde, John E., 0(0)126--132
-
Melde:1987:LSS, 0(0)126--132
-
member, 12(3)117--125, 27(3)99--99, 33(3)43--46
-
membership, 35(1)93--94
-
memories, 31(3)19--26
-
MEMORY, 6(3)31--42
-
memory, 0(0)199--207, 8(5)101--109, 10(3)29--32, 10(3)38--58,
10(4)85--96, 10(9)94--102, 10(9)126--132, 12(4)20--23, 13(3)88--90,
13(4)63--70, 14(4)43--57, 17(2)29--54, 25(4)1--10, 27(3)89--96,
29(1)70--70, 29(3)87--90, 30(1)55--61, 30(1)125--134, 31(2)23--24,
31(2)25--27, 31(2)28--29, 32(3)15--22, 32(3)73--80, 33(1)84--92,
33(1)128--133, 33(2)33--39, 34(3)103--104, 36(1)51--62, 36(1)63--67,
37(2)43--50, 37(2)51--58, 38(1)34--39, 38(2)97--108, 39(2)35--40,
41(1)78--82, 42(1)65--67
-
memory, in-, 31(3)1--2
-
memory-mapped, 37(2)43--50
-
Mendal, Geoff, 8(1)52--57
-
Mendal, Geoffrey O., 0(0)180--189
-
Mendal:1987:SRM, 0(0)180--189
-
Mendal:1988:TRA, 8(1)52--57
-
mentioned, 29(2)61--62
-
Mentis, Alexander S., 29(3)91--102
-
Mentis:2009:RAD, 29(3)91--102
-
mentor, 27(3)99--99
-
Mentor-Ada, 5(2)297--308
-
menu, 9(5)89--100, 11(3)73--82
-
MERCURY, 11(3)49--60, 11(3)z--z
-
Meridian, 0(0)1--9
-
merits, 11(2)107--114
-
Merkle, Laurence D., 21(4)73--78
-
Merkle, Laurence D., see Fagin, Barry S.
-
Mesh, 41(2)66--70
-
Mesler, T. J., 10(9)118--125
-
Mesler, T. J., see Locke, C. D.
-
Mesler, Thomas J., 13(2)91--96
-
Mesler, Thomas J., see Locke, C. Douglass
-
message, 4(4)38--48, 9(2)106--117, 9(6)80--89, 10(4)57--65,
10(9)103--110, 11(2)98--106, 14(3)12--z, 15(4)12--z, 17(2)29--54,
17(5)88--92, 17(6)47--64, 18(6)276--286, 19(1)1--z, 20(1)1--2,
20(2)1--2, 20(3)1--2, 20(4)1--2, 21(2)1--2, 21(3)1--2, 22(1)1--2,
31(2)56--58, 31(3)75--80, 32(3)11--12, 33(3)11--12, 34(3)97--102,
37(2)9--12, 37(2)30--31, 37(2)32--33, 40(2)65--69
-
message, object-, 11(5)30--46
-
message-passing, 7(2)102--117, 12(6)59--74, 35(1)38--45
-
messaging, 9(2)106--117, 10(4)57--65, 10(9)103--110, 40(2)65--69,
41(1)74--77
-
met, 29(3)45--60
-
META, 33(3)43--46
-
meta, 26(3)61--70, 27(3)41--50
-
meta-modeling, 26(3)61--70
-
meta-modelization, 26(3)61--70
-
METAH, 22(4)37--46
-
metal, bare-, 37(2)43--50
-
metamodel-based, 27(2)53--58
-
metaphor, 26(3)71--74
-
metaphysician, 11(2)60--71
-
methodology, 0(0)10--15, 0(0)24--39, 0(0)40--49, 0(0)50--61, 0(0)62--76,
0(0)66--75, 0(0)76--90, 0(0)77--89, 0(0)102--118, 1(3)64--76,
1(4)21--23, 2(1)50--57, 2(2)46--48, 2(4)68--75, 3(1)51--54,
3(2)89--92, 3(2)93--97, 3(4)70--77, 3(6)66--78, 4(3)25--36,
4(5)49--58, 4(5)79--83, 4(5)105--110, 4(6)27--31, 4(6)49--59,
5(1)17--31, 5(1)71--78, 5(1)79--88, 5(3)100--100, 6(1)29--40,
6(1)82--89, 6(4)34--43, 6(4)44--52, 6(4)53--65, 6(5)29--33,
7(1)94--96, 7(2)73--84, 7(4)54--67, 7(4)79--84, 7(5)93--95,
7(5)105--112, 7(6)119--120, 8(2)39--54, 8(2)55--76, 8(3)69--80,
8(4)97--103, 8(6)72--81, 9(2)78--89, 9(2)106--117, 9(5)89--100,
9(5)101--108, 9(6)108--118, 9(6)119--126, 10(1)122--130,
10(2)52--63, 10(3)72--90, 10(3)217--229, 10(6)97--109,
11(3)103--113, 13(6)133--161, 15(2)31--39, 17(2)29--54, 17(5)33--34,
23(1)27--29, 30(1)45--55, 30(3)23--30, 33(1)101--115, 36(2)60--68
-
methods-supported, formal-, 31(3)47--60
-
metric, 0(0)viii--171, 0(0)119--123, 2(6)59--62, 2(6)63--67, 3(3)33--44,
4(6)49--59, 6(2)41--50, 6(3)65--70, 6(4)53--65, 8(4)35--46,
9(5)60--82, 9(6)53--66, 10(2)89--94, 10(3)217--229, 12(4)24--35,
15(2)40--45, 16(5)48--58, 17(6)39--46, 17(6)91--97, 21(4)117--126,
27(3)101--107
-
Mezzetti, Enrico, 30(1)45--55
-
Mezzetti:2010:TIR, 30(1)45--55
-
MF1, 27(3)5--6
-
MGNAT, 26(3)15--20
-
MHP, 21(4)107--114
-
Micallef, Josephine, 11(3)29--31, 11(3)29--z, 11(3)49--60
-
Micallef:1991:ALC, 11(3)29--z
-
Micallef:1991:EMS, 11(3)49--60
-
Micallef:1991:SWG, 11(3)29--31
-
Michel, Bourdellès, 32(3)81--94, see Li, Shuai
-
Michell, S., 21(1)105--110, 22(2)11--44
-
Michell, S., see Wellings, A. J.
-
Michell, Stepehen, 36(1)103--106
-
Michell, Stephen, 17(5)65--70, 18(6)7--11, 19(2)54--59, 21(1)9--10,
21(1)75--78, 22(4)28--36, 23(4)87--92, 27(2)72--74, 27(2)90--95,
30(1)55--61, 30(1)62--67, 30(1)162--164, 30(2)27--52, 33(1)101--115,
33(1)150--156, 33(2)14--32, 33(2)40--48, 33(2)115--122, 33(3)23--36,
34(3)87--96, 35(1)46--58, 35(1)97--101, 36(1)9--24, 36(1)25--28,
36(1)77--82, 36(1)83--90
-
Michell, Stephen, see Burns, Alan,
see Howe, Douglas J., \see{Moore, Brad,
see Pinho, Luis Miguel,
see Pinho, Luís Miguel,
see Puente, Juan Antonio de la,
see Real, Jorge, \see{Taft, S. Tucker,
see Taft, Tucker, \see{Wong, Luke
-
Michell:1997:UAA, 17(5)65--70
-
Michell:1998:LSH, 18(6)7--11
-
Michell:1998:LSS, 18(6)7--11
-
Michell:1999:ESD, 19(2)54--59
-
Michell:2001:PPC, 21(1)75--78
-
Michell:2001:TOO, 21(1)9--10
-
Michell:2002:PIE, 22(4)28--36
-
Michell:2007:IAO, 27(2)90--95
-
Michell:2010:CIR, 30(1)162--164
-
Michell:2010:RPN, 30(1)62--67
-
Michell:2013:PLV, 33(1)101--115
-
Michell:2013:RTP, 33(3)23--36
-
Michell:2016:CUE, 36(1)25--28
-
Michell:2016:SST, 36(1)103--106
-
Michell:2016:TIP, 36(1)77--82
-
microcomputer, 9(4)30--42, 13(4)49--62, 14(1)61--67, 14(3)39--60
-
microcontroller, 30(3)13--22, 37(2)43--50, 38(1)34--39, 41(1)78--82
-
Microprocessor, 0(0)26--35, 0(0)152--161
-
microprocessors, 9(5)60--82, 31(3)15--16
-
microprogramming, 11(3)83--90
-
microservice, 40(2)65--69
-
Microsoft, 0(0)1--9, 0(0)91--104, 14(1)30--37, 17(3)45--56, 19(3)9--14,
23(1)22--26, 26(3)15--20, 29(3)3--4, 33(3)3--4, 33(3)85--86,
34(3)69--70, 37(2)59--67
-
Microsystems, 27(3)79--82
-
MicroVAX, 9(4)84--86
-
Middle, 2(4)64--67
-
Middle-End, 0(0)101--112
-
middle-out, 33(3)41--42
-
Middlemas, Michael R., 0(0)170--179
-
Middlemas:1987:AAE, 0(0)170--179
-
middleware, 21(2)26--52, 26(3)21--28, 26(3)51--60, 29(3)19--20,
29(3)73--78, 30(1)91--103, 36(2)22--26
-
might, 17(3)67--86, 27(3)5--6, 27(3)11--26, 27(3)59--62, 31(2)36--39,
36(2)39--46, 37(2)13--17, 37(2)18--22, 37(2)37--39
-
Mignon, Marie-France, 15(4)15--16, 15(4)17--18
-
Mignon:1995:AUB, 15(4)17--18
-
Mignon:1995:AUD, 15(4)15--16
-
migrate, 26(3)77--80
-
migration, 18(6)18--27, 26(3)77--80
-
MIL-STD-1750A, 8(3)84--86
-
Mil-Std-1750A, 8(3)84--86
-
MIL-STD-1815A, 10(2)84--88
-
Milieux, 0(0)336, 4(4)32--37, 4(5)40--44, 4(5)79--83, 5(1)32--41,
5(3)45--56, 6(5)29--33, 6(5)86--93, 7(1)59--70, 7(1)82--88,
8(2)107--109, 8(3)69--80, 8(3)107--114, 8(3)115--122, 8(4)35--46,
8(4)47--68, 8(5)47--60, 8(6)35--48
-
military, 0(0)1--9, 0(0)90--101, 0(0)119--123, 4(5)45--48, 4(5)59--64,
6(4)66--74, 6(5)29--33, 8(3)84--86, 8(4)35--46, 8(4)47--68,
10(3)101--110, 10(3)111--125, 10(3)139--145, 11(7)274--284,
11(9)83--95, 12(6)81--87, 13(4)49--62, 13(4)77--86, 14(3)80--90,
14(6)62--72, 17(5)93--99, 18(6)132--136, 29(3)9--10, 31(3)69--74,
32(3)51--52, 34(3)1--2
-
Military Software Defense Science Board, Task Force on, 8(4)35--46
-
million, 31(3)69--74, 36(2)31--38
-
Mills, Mike, 18(6)18--27
-
Mills:1998:HSC, 18(6)18--27
-
MILSTD, 0(0)119--123
-
MIMD, 7(7)55--76
-
mimics, 23(1)11--11
-
mind, 29(2)37--39, 31(3)81--90, 34(3)5--12
-
mind-set, 9(2)78--89
-
mindset, 29(3)9--10
-
Mindstorms, 20(3)20--40, 20(3)32--40, 21(4)73--78
-
Mindstorms®, 30(3)37--40
-
mine, 26(1)25--30
-
Minei, Marvin, 12(2)97--101
-
Minei, Marvin, see Sterrett, Anthony
-
Minicomputer-Network, 2(4)92--96
-
minicomputers, 9(5)60--82
-
minimal, 3(2)77--88, 17(5)27--32, 17(5)45--50, 26(1)25--30, 27(2)75--81,
27(3)8--8, 30(1)91--103, 31(3)69--74, 33(3)37--40, 38(2)109--114
-
minimising, 35(1)59--73
-
minimize, 12(1)43--52, 12(6)81--87, 29(3)105--114, 40(1)91--96
-
minimized, 12(2)43--56
-
minimizing, 8(7)20--31, 38(1)19--28
-
minimum, 9(5)101--108, 12(1)53--64, 13(4)44--48, 14(1)38--49,
15(5)46--51, 30(1)16--25, 31(3)1--2, 35(1)9--16
-
MINIX, 13(5)22--31
-
minor, 27(2)18--22, 29(3)119--120, 33(2)59--65
-
minority, 34(3)61--68
-
Minoura, Toshimi, 14(z)16--25
-
Minoura, Toshimi, see Choi, Sungwoon
-
Minutes, 6(2)75--76, 6(2)76--76, 17(2)18--25
-
MIPS, 9(5)60--82
-
Miranda, Javier, 23(4)24--27, 24(4)51--60, 25(4)41--48, 29(2)61--62,
29(2)63--64
-
Miranda:2003:DCP, 23(4)24--27
-
Miranda:2004:GRA, 24(4)51--60
-
Miranda:2005:IAS, 25(4)41--48
-
Miranda:2009:GCC, 29(2)63--64
-
Miranda:2009:GIC, 29(2)61--62
-
mirror, 17(3)57--66
-
misbehaviour, 33(2)33--39
-
Miscellaneous, 4(5)97--99, 7(3)50--59, 7(3)60--72, 7(6)97--100,
8(1)58--79, 8(2)39--54, 8(2)96--106, 9(1)147--160, 9(2)78--89,
9(2)102--105
-
misleading, 11(7)244--273
-
mismatch, tag-, 28(1)48--51
-
mispredictions, 29(3)79--84
-
MISRA, 27(3)2--2, 31(3)81--90
-
miss, 26(3)9--14
-
missile, 17(5)93--99, 27(3)51--58, 32(3)63--70
-
missile, standard-, 20(4)50--63
-
missing, 6(3)43--55, 17(5)88--92, 21(3)64--75, 27(2)23--28, 30(1)62--67,
33(3)9--10, 35(1)59--73
-
mission, 0(0)62--76, 0(0)90--101, 17(5)77--82, 23(1)12--21, 27(3)69--70,
32(3)15--22, 34(3)17--18, 36(1)51--62, 36(2)18--21, 36(2)22--26,
36(2)39--46, 39(1)100--100, 42(1)100--104
-
Mission-Critical, 0(0)31--35
-
missions, sub-, 32(3)15--22
-
mistakenly, 18(6)142--147
-
mistakes, 27(3)5--6
-
Mitchell, S. E., 21(3)80--92
-
Mitchell:2001:ME, 21(3)80--92
-
mitigated, 36(2)39--46
-
mitigating, 38(1)41--54, 38(1)74--76
-
mitigation, 33(3)65--84, 36(1)77--82
-
Mitra, Sandeep, 10(7)55--62
-
Mitra, Sandeep, see Lander, Leslie C.
-
MITRE, 0(0)90--101
-
mixed, 23(1)11--11, 23(1)45--52, 29(2)43--45
-
Mixed-Criticality, 42(1)81--85
-
mixed-criticality, 33(2)33--39, 35(1)38--45, 36(1)68--76, 36(2)27--30
-
mixed-language, 29(2)61--62
-
Mixing, 8(5)110--112, 9(2)90--101
-
mixins, 12(2)76--90
-
MMAIM, 8(3)107--114, 8(5)47--60
-
MMC, 17(5)77--82
-
MO, 0(0)xiii--312
-
mobile, 11(1)92--95
-
mock, 34(3)47--60
-
mod, 9(7)114--128, 29(1)33--34
-
mode, 9(2)118--128, 10(4)5--14, 10(6)61--67, 10(6)110--113, 13(2)44--53,
13(3)91--95, 17(5)18--23, 21(1)27--32, 26(3)35--42, 30(1)73--85,
32(3)71--72, 32(3)97--102, 33(1)116--127, 33(2)97--108, 33(3)43--46,
33(3)65--84, 36(2)39--46
-
mode, kernel-, 35(1)9--16
-
mode, user-, 35(1)9--16
-
model, tasking-, 10(4)49--56
-
Model-Based, 31(3)5--6, 36(2)54--57, 42(2)99--103
-
model-based, 29(3)7--8, 31(3)61--68, 33(1)64--83, 33(3)41--42,
33(3)43--46, 34(3)17--18, 34(3)29--38, 42(2)32--39, 42(2)45--54
-
model-building, 23(1)45--52
-
Model-Driven, 32(3)81--94
-
model-driven, 27(2)53--58, 33(3)65--84
-
modelbased, 36(2)54--57
-
modeled, 0(0)101--110, 29(2)15--19, 32(3)81--94, 36(2)9--17
-
MODELING, 7(5)105--112
-
modeling, 0(0)102--118, 0(0)263--272, 9(5)101--108, 18(5)97--103,
18(5)104--110, 19(3)211--220, 20(1)58--66, 22(4)58--65,
22(4)125--127, 23(1)45--52, 25(4)11--16, 27(3)27--40, 27(3)41--50,
29(1)19--22, 29(2)15--19, 29(3)7--8, 29(3)31--44, 31(2)15--22,
32(1)13--18, 32(2)9--16, 32(3)1--2, 32(3)103--104, 33(1)157--168,
33(3)21--22, 33(3)41--42, 33(3)65--84, 34(3)29--38, 34(3)39--46,
34(3)61--68, 34(3)81--86, 34(3)105--106, 40(1)60--63, 40(1)64--73,
42(2)99--103
-
modeling, meta-, 26(3)61--70
-
modelization, meta-, 26(3)61--70
-
modelling, 10(7)85--90, 14(z)3--15, 30(1)86--90
-
modern, 8(7)35--38, 10(9)60--64, 13(6)66--158, 19(3)101--110, 23(1)1--9,
26(1)31--44, 27(2)41--47, 27(3)69--70, 29(2)15--19, 30(1)45--55,
32(3)3--4, 32(3)23--24, 32(3)25--26, 32(3)51--52, 32(3)73--80,
34(3)71--80, 34(3)103--104, 38(2)9--42, 38(2)109--114, 40(2)65--69,
41(1)83--86
-
modernization, 26(2)12--22, 26(3)71--74, 27(3)69--70, 28(1)24--30,
32(3)63--70, 40(2)70--72, 42(2)89--91
-
Modernizing, 39(1)101--108
-
modifiability, 16(3)56--69
-
modifiable, 14(3)61--73
-
modification, 0(0)124--135, 12(2)43--56, 12(2)91--96, 12(6)81--87,
13(2)91--96, 27(3)71--74, 33(1)53--63, 33(2)49--58, 33(3)43--46,
35(1)74--79, 40(2)73--75
-
modified, 12(2)43--56, 27(3)71--74, 30(1)116--124, 31(3)75--80,
33(3)43--46, 38(1)34--39
-
modifiers, 10(9)29--30
-
modifies, 26(2)69--74
-
modify-write, read-, 32(3)73--80
-
modular, 2(6)53--58, 9(1)47--70, 17(1)41--53, 17(5)77--82, 29(1)33--34,
29(3)7--8, 29(3)45--60, 31(2)30--32, 36(2)9--17, 41(1)74--77
-
modularity, 15(2)23--30, 29(3)91--102, 32(3)23--24
-
modularize, 23(1)11--11
-
module, 4(4)38--48, 4(6)49--59, 5(1)71--78, 5(3)30--44, 5(3)45--56,
6(1)90--93, 6(4)53--65, 7(1)40--48, 7(4)79--84, 7(5)79--92,
8(2)55--76, 9(6)97--103, 14(2)58--67, 19(2)96--103, 21(4)31--38,
34(3)13--16, 37(2)13--17
-
modulo, 33(3)5--6, 33(3)85--86
-
modulo-theory, satisfiability-, 33(3)9--10
-
Mogilensky, J., 0(0)16--23
-
Mogilensky:1991:PMG, 0(0)16--23
-
Mokri, Parnian, 29(1)19--22, 29(2)15--19
-
Mokri, Parnian, see Mahani, Negin
-
Molich, Rolf, 3(2)72--75
-
Molich:1983:ACQ, 3(2)72--75
-
momentarily, 40(1)91--96
-
money, 38(2)109--114
-
monitor, 0(0)156--165, 14(3)91--104, 26(2)23--37, 31(2)23--24,
31(2)25--27, 31(2)28--29, 31(3)27--34, 32(3)51--52, 38(2)97--108
-
monitoring, 0(0)11--25, 2(1)58--61, 4(1)32--39, 5(2)109--123,
13(2)54--64, 13(2)z--z, 14(1)38--49, 16(6)55--72, 17(6)65--69,
18(5)87--96, 23(1)11--11, 23(4)74--81, 25(4)63--68, 30(1)68--72,
30(3)53--62, 38(2)97--108, 38(2)109--114, 42(1)86--89,
42(1)105--105, 42(2)99--103
-
monolithic, 23(1)12--21
-
monoprocessor, 33(2)66--74
-
MONOTONIC, 12(5)84--95
-
monotonic, 12(1)65--72, 13(2)44--53, 14(1)38--49, 14(3)105--112,
15(2)40--45, 27(3)8--8
-
Monroe, Joseph, 18(1)86--91
-
Monroe:1998:SEU, 18(1)86--91
-
Montanari, U., 3(2)55--61
-
Montanari, U., see Inverardi, P.
-
Montangero, C., 5(2)85--96
-
Montangero, C., see Inverardi, P.
-
months, 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, 29(1)74--74, 29(1)77--77,
29(1)80--80, 29(3)23--30
-
Monti, Paolo, 42(2)92--95
-
Monti, Paolo, see John, Wolfgang
-
Moody, Laura, 18(6)81--88
-
Moody, Laura, see Fleener, Nathan
-
Moody, Scott Arthur, 17(5)71--76, 19(2)60--66
-
Moody:1997:OOR, 17(5)71--76
-
Moody:1999:STT, 19(2)60--66
-
Moon, Marion F., 5(2)217--228
-
Moon, Marion F., see Bardin, Bryce M.
-
Moon, Seung-Jin, 17(3)36--44
-
Moon, Seung-Jin, see Baker, T. P.
-
Moore, 39(1)100--100
-
Moore, Brad, 30(1)55--61, 30(1)62--67, 30(2)27--52, 31(3)35--36,
33(2)14--32, 33(2)40--48, 33(2)115--122, 33(3)23--36, 34(3)87--96,
35(1)46--58, 35(1)97--101, 36(1)9--24, 36(1)25--28, 38(1)19--28,
38(1)66--69, 39(1)100--100
-
Moore, Brad, see Burns, Alan,
see Michell, Stephen,
see Pinho, Luis Miguel,
see Pinho, Luís Miguel,
see Real, Jorge, \see{Rosen, Jean-Pierre,
see Taft, S. Tucker, \see{Taft, Tucker,
see Wong, Luke
-
Moore, Brad J., 30(3)41--52
-
Moore, Bradley J., 31(3)27--34
-
Moore, Donald R., 0(0)176--182
-
Moore, Donald R., see Filipski, Gary L.
-
Moore, J. W., 13(4)29--36
-
Moore, James W., 11(5)47--61, 14(3)80--90, 16(2)35--38, 18(3)18--19
-
Moore, Jr., John I., 5(3)16--18
-
Moore, M., 0(0)102--118
-
Moore, Melody, 5(1)32--41
-
Moore:1985:PAA, 5(1)32--41
-
Moore:1985:RWA, 5(3)16--18
-
Moore:1991:ABS, 11(5)47--61
-
Moore:1991:LBT, 0(0)102--118
-
Moore:1993:IAI, 13(4)29--36
-
Moore:1994:SDS, 14(3)80--90
-
Moore:1996:FIS, 16(2)35--38
-
Moore:1998:OAS, 18(3)18--19
-
Moore:2010:PGA, 30(3)41--52
-
Moore:2011:SSP, 31(3)27--34
-
Moore:2013:PAG, 33(2)14--32
-
Moore:2018:SSA, 38(1)19--28
-
Moore:2020:WSA, 39(1)100--100
-
MOPping, 21(3)80--92
-
Moral, 3(1)55--56, 5(2)217--228
-
Moran, T., 0(0)91--104
-
Moran, T., see Brukhardt, R.
-
Moreira, Ana, 10(6)97--109
-
Moreira, Ana, see Freitas, Maria Manuel
-
Moreira, F., 23(4)74--81
-
Moreira, F., see Maia, R.
-
Moreover, 13(3)39--41, 26(1)64--65, 28(1)96--102, 33(3)43--46,
33(3)51--64, 40(2)76--91
-
Moreton, Trevor, 0(0)60--64
-
Moreton:1987:PAL, 0(0)60--64
-
Moretonhampstead, 0(0)vi--130
-
morning, 29(3)1--2, 31(3)9--10
-
MORPHEMIC, 42(2)104--108
-
Morrone, George, 15(5)52--53, 15(6)70--72, 16(2)70--70, 16(3)70--71
-
Morrone:1995:DWE, 15(5)52--53
-
Morrone:1995:RBF, 15(6)70--72
-
Morrone:1996:DAa, 16(2)70--70
-
Morrone:1996:DAb, 16(3)70--71
-
Mortem, 0(0)14--24
-
Moscow, 13(4)71--76, 14(3)74--79
-
MOSI, 8(2)107--109
-
Mosley, David, 26(3)77--80
-
Mosley:2006:WML, 26(3)77--80
-
most, 13(2)44--53, 17(2)55--62, 23(1)11--11, 26(3)9--14, 27(3)3--3,
27(3)5--6, 27(3)8--8, 27(3)11--26, 27(3)100--100, 28(1)92--95,
29(2)37--39, 29(2)53--55, 29(3)45--60, 29(3)119--120, 31(3)13--14,
31(3)15--16, 31(3)17--18, 31(3)47--60, 31(3)81--90, 32(3)7--8,
32(3)15--22, 32(3)95--96, 32(3)97--102, 33(1)45--52, 33(2)49--58,
33(2)109--114, 33(3)9--10, 33(3)37--40, 34(3)1--2, 34(3)47--60,
34(3)61--68, 35(1)9--16, 35(1)38--45, 36(1)9--24, 36(2)58--59,
37(2)40--42, 38(2)64--68
-
Mosteo, Alejandro R., 39(2)35--40, 42(1)46--49, 42(1)54--57
-
Mosteo:2020:RBA, 39(2)35--40
-
Mosteo:2022:AU, 42(1)46--49
-
Mosteo:2022:UAA, 42(1)54--57
-
mostly, 27(3)8--8, 27(3)97--98, 36(2)58--59, 42(1)65--67
-
Mota, Gilberto F., 12(2)102--110, 12(5)77--83
-
Mota, Gilberto F., see Nelson, Michael L.
-
Motif, 11(2)98--106
-
Motion, 0(0)197--204
-
motivated, 9(7)114--128, 26(3)29--34
-
motivating, 27(2)23--28, 32(3)15--22
-
motivation, 1(3)62--63, 28(1)83--87, 32(3)63--70, 33(1)15--23,
34(3)97--102, 39(1)9--16
-
motives, 0(0)24--39
-
Motorola, 9(7)102--113, 28(1)76--82
-
Mounier, Jean-Luc, 18(5)57--66
-
Mounier, Jean-Luc, see Kordon, Fabrice
-
mouse, 11(3)73--82
-
move, 26(2)69--74, 40(2)48--50
-
moved, 31(3)19--26, 31(3)37--38
-
movement, 29(3)9--10, 29(3)87--90, 36(2)58--59
-
moving, 4(1)45--49, 16(1)46--53, 17(3)67--86, 40(1)91--96, 40(2)48--50
-
Moy, Yannick, 31(1)19--23, 31(1)24--27, 31(2)36--39, 31(2)40--43,
37(2)27--29, 37(2)30--31, 37(2)32--33, 37(2)34--36, 37(2)40--42,
42(1)65--67
-
Moy:2011:GLSa, 31(1)19--23
-
Moy:2011:GLSb, 31(1)24--27
-
Moy:2011:GTBa, 31(2)36--39
-
Moy:2011:GTBb, 31(2)40--43
-
Moy:2017:GAT, 37(2)34--36
-
Moy:2017:GPBa, 37(2)27--29
-
Moy:2017:GPBb, 37(2)30--31
-
Moy:2017:GPBc, 37(2)32--33
-
Moy:2017:GSM, 37(2)40--42
-
Moy:2022:PCG, 42(1)65--67
-
Moyano, J. M., Drake, 17(5)57--64
-
Moyano, J. M. Drake, 17(5)57--64
-
Moyano, J. M. Drake, see Harbour, M. González
-
MP1, 27(3)8--8
-
MPHF, 26(1)25--30, 32(1)9--12
-
MPS, 34(3)13--16
-
MPS-10, 2(2)28--33
-
MPU, 37(2)43--50
-
MPU-based, 37(2)43--50
-
MR, 12(6)75--80
-
Mr, 27(3)69--70, 27(3)99--99
-
ms, 32(3)63--70
-
MS-DOS, 0(0)1--9, 10(1)111--117
-
MS-Windows, 14(1)30--37
-
MSIL, 23(1)22--26
-
MSP430, 29(3)87--90
-
much, 17(2)82--91, 17(3)3--16, 17(3)17--29, 26(3)77--80, 27(2)48--52,
27(3)2--2, 27(3)3--3, 27(3)89--96, 29(3)85--86, 29(3)119--120,
31(3)17--18, 31(3)27--34, 32(3)15--22, 32(3)27--34, 32(3)51--52,
33(2)9--13, 34(3)5--12, 34(3)61--68, 36(2)39--46
-
Mudge, Trevor, 7(6)64--66, 9(2)118--128, 10(3)8--13, 10(3)10--13,
10(3)14--19, 10(3)20--28, 10(3)29--32, 10(3)33--37, 10(3)59--59,
10(3)98--100
-
Mudge, Trevor, see Clapp, Russell M.
-
Mudge, Trevor N., 5(2)72--84
-
Mudge, Trevor N., see Volz, Richard A.
-
Mudge:1987:UDD, 7(6)64--66
-
Mueller, Frank, 18(6)287--293
-
Mueller, Frank, see Macos, Dragan
-
Mueller, Richard, 0(0)147--156
-
Mueller, Richard, see DiGrazia, Joseph C.
-
Mularz, D., 0(0)90--101
-
Mularz, D., see Howell, C.
-
Mule, 31(3)3--4, 32(3)11--12, 33(3)11--12
-
Müller, Josef, 36(2)60--68
-
Muller:2016:DRI, 36(2)60--68
-
multi, 25(1)43--47
-
Multi-, 18(6)52--60
-
multi-cloud, 42(2)104--108
-
multi-core, 27(3)79--82, 29(3)61--72, 30(1)135--146, 30(3)53--62,
31(3)15--16, 31(3)19--26, 32(1)37--38, 32(2)28--30, 33(1)84--92,
33(2)9--13, 33(2)14--32, 33(2)33--39, 33(3)23--36, 42(1)100--104
-
Multi-cores, 42(1)81--85
-
multi-domain, 33(3)43--46
-
multi-events, 8(7)12--19
-
Multi-Language, 10(1)131--139, 11(1)57--70
-
multi-language, 10(1)131--139, 29(3)19--20, 29(3)121--126
-
multi-level, 14(z)36--53
-
multi-node, 17(5)88--92, 27(2)29--36
-
multi-opportunity, 27(3)79--82
-
multi-partitions, 30(1)55--61
-
Multi-Processing, 0(0)202--212
-
multi-processing, 26(3)9--14
-
multi-processor, 7(7)55--76, 30(1)86--90
-
multi-processors, 10(9)29--30
-
multi-tasking, 10(9)133--140, 17(5)33--34, 27(1)24--39, 27(3)59--62,
27(3)79--82
-
multi-threaded, 19(2)60--66, 33(3)1--2, 33(3)9--10
-
multi-threading, 33(3)1--2
-
multi-user, 11(3)49--60, 12(6)81--87, 23(1)12--21
-
multiagent, 29(3)61--72
-
multicast, 18(6)45--51, 21(1)79--84
-
multicore, 27(3)79--82, 32(3)13--14, 33(2)33--39, 33(2)115--122,
33(3)37--40, 34(3)105--106, 36(1)25--28, 36(1)83--90
-
multilanguage, 11(1)57--70, 20(4)3--28, 24(1)1--3
-
multilingual, 14(z)26--35
-
Multimax, 10(9)126--132
-
multimedia, 23(1)30--34, 29(2)20--27
-
Multimicroprocessor, 3(6)57--65
-
multiple, 5(1)55--60, 7(7)55--76, 8(5)71--74, 9(2)118--128, 10(1)83--91,
10(1)92--96, 10(1)100--103, 10(8)145--155, 10(9)50--59, 10(9)85--93,
12(2)91--96, 13(4)44--48, 13(4)49--62, 13(4)77--86, 14(3)80--90,
14(z)36--53, 16(3)39--51, 20(1)25--37, 23(4)28--31, 26(3)9--14,
27(3)7--7, 27(3)59--62, 28(1)24--30, 28(1)41--44, 29(2)68--70,
29(3)13--14, 31(3)19--26, 32(3)1--2, 32(3)35--42, 32(3)63--70,
33(1)116--127, 33(3)41--42, 33(3)43--46, 36(2)54--57, 37(2)13--17,
38(1)41--54, 38(1)74--76, 40(2)76--91
-
multiple-data-stream, 7(7)55--76
-
Multiple-instruction-stream, 7(7)55--76
-
multiple-unit, 29(2)68--70
-
multiplication, 2(5)76--84, 3(2)76--z, 7(1)71--81, 11(4)91--98,
16(3)56--69
-
multiprocess, 17(5)93--99
-
multiprocessing, 8(7)50--56, 8(7)57--60, 8(7)65--79, 8(7)z--z,
9(5)123--128, 10(9)94--102, 12(2)97--101, 17(5)93--99
-
multiprocessor, 0(0)147--156, 5(1)55--60, 7(6)40--42, 7(7)55--76,
9(2)118--128, 10(3)38--58, 12(1)53--64, 19(3)125--132, 27(2)75--81,
27(3)59--62, 29(3)7--8, 30(1)16--25, 30(1)62--67, 30(1)125--134,
30(1)147--151, 33(1)9--14, 33(1)15--23, 33(1)32--44, 33(1)45--52,
33(1)93--100, 33(1)116--127, 33(1)134--137, 33(1)138--145,
33(2)59--65, 33(2)66--74, 33(2)97--108, 35(1)74--79, 35(1)80--92,
36(1)68--76, 38(1)29--33, 38(1)61--61
-
multiprogramming, 8(5)61--70, 8(5)71--74, 8(5)87--91, 9(2)72--77,
9(2)90--101, 9(4)105--112, 10(3)38--58, 10(4)49--56, 10(5)110--127,
10(6)61--67, 10(7)55--62, 10(9)75--84, 10(9)118--125, 10(9)133--140,
10(9)141--146, 10(9)z--z, 11(2)53--55, 11(2)72--85, 17(5)33--34,
17(5)83--87
-
multiprotocol, 21(4)91--96
-
multistep, 32(3)1--2
-
multitask, 32(3)1--2
-
multitasking, 0(0)36--44, 0(0)91--97, 0(0)138--151, 8(5)71--74,
9(5)89--100, 10(1)92--96, 10(7)55--62, 17(5)33--34, 26(3)9--14,
27(3)79--82
-
multithreaded, 21(1)67--74, 21(3)57--63, 29(3)61--72
-
multithreading, 26(2)23--37
-
MULTOS, 27(3)5--6
-
Munck, Bob, 16(1)18--20
-
Munck, Robert G., 14(z)93--98, 17(3)3--16
-
Munck, Robert G., see Lindquist, Timothy E.
-
Munck:1996:AJM, 16(1)18--20
-
Munck:1997:AJW, 17(3)3--16
-
Mundie, David, 11(3)33--35, 11(3)33--z
-
Mundie, David A., 11(3)83--90
-
Mundie:1991:IMS, 11(3)33--z
-
Mundie:1991:OOR, 11(3)83--90
-
Mundie:1991:RIM, 11(3)33--35
-
Mungle, Jerry, 4(5)97--99
-
Mungle, Jerry, see Jones, Bill
-
Muns, James, 40(2)51--54
-
Muns, James, see Chard, Kyle
-
Murray, A. G., 10(7)85--90
-
Murray, L. E., 0(0)81--86
-
Murray:1987:LOA, 0(0)81--86
-
Murray:1990:ATT, 10(7)85--90
-
Murtagh, Jeanne, 29(3)5--6
-
Murtagh, Jeanne L., 18(6)75--80, 20(3)12--19
-
Murtagh, Jeanne L., see Hamilton, Jr., J. A. Drew
-
Murtagh:1998:CAP, 18(6)75--80
-
Murtagh:2009:HAO, 29(3)5--6
-
Murugesan, Anitha, 33(3)51--64
-
Murugesan:2013:CVM, 33(3)51--64
-
music, 10(7)63--69
-
Musser, David R., 0(0)216--225
-
Musser:1987:LGA, 0(0)216--225
-
must, 0(0)24--39, 12(1)43--52, 12(2)43--56, 13(3)91--95, 23(1)45--52,
26(1)64--65, 26(3)9--14, 26(3)77--80, 27(2)61--66, 27(3)69--70,
27(3)75--78, 29(1)48--49, 31(3)69--74, 31(3)75--80, 32(3)15--22,
33(3)21--22, 33(3)23--36, 33(3)41--42, 33(3)43--46, 34(3)1--2,
34(3)61--68, 36(2)31--38, 37(2)27--29
-
mutation, 23(1)45--52
-
Mutex, 15(6)46--56
-
mutual, 9(4)87--91, 9(4)105--112, 11(6)49--53, 12(1)73--84, 12(6)75--80,
13(4)37--43, 14(5)71--79, 23(1)53--56, 32(3)73--80, 33(2)33--39,
33(2)66--74, 36(1)68--76
-
mutually, 23(1)44--44
-
MVME133, 9(7)102--113
-
MVME340, 9(7)102--113
-
Myers, Gil, 4(5)45--48
-
Myers:1985:SEA, 4(5)45--48
-
myriad, 28(1)96--102
-
Myro, 29(3)91--102
-
myself, 31(3)37--38
-
Mysior, Jerzy, 9(7)85--90
-
Mysior:1989:EBC, 9(7)85--90