Index file section P for sigada.bib

Last update: Fri Aug 30 02:14:35 MDT 2024

Return to index directory

P

P, 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
pace-makers, 32(3)51--52
PACEMAKER, 34(3)47--60
pacemaker, 34(3)47--60
packaging, 9(5)101--108, 17(3)57--66
Pagan, Frank G., 1(4)27--31
Pagan:1982:TAI, 1(4)27--31
page, 17(3)3--16, 17(3)17--29, 18(0)xii--293, 29(1)45--47, 32(3)9--10
page, off-, 11(5)30--46
pair, 21(4)107--114
PAISE, 29(3)45--60
PAISE/re-ADA, 29(3)45--60
PAL, 17(4)17--30, 17(4)31--58, 17(4)59--65
Pallada, 12(3)117--125
Palm, Steen U., 3(4)78--91
Palm, Steen U., see Meiling, Erik
Pamela, 7(4)68--78
Pammett, Kevin, 5(2)124--135
Pammett, Kevin, see Mauger, Claude
panel, 12(5)37--z, 19(3)225--226, 21(4)129--130, 31(3)35--36, 32(3)103--104, 34(3)105--106, 40(2)48--50
Panlilo-Yap, N. Monina, 4(1)32--39
Panlilo-Yap, N. Monina, see Basili, Victor R.
Panunzio, Marco, 30(1)45--55, 32(1)22--26, 32(1)32--36, 32(1)39--45, 32(2)17--23, 32(2)39--42, 33(1)64--83
Panunzio, Marco, see Mezzetti, Enrico
Panunzio:2012:G, 32(1)22--26
Panunzio:2012:GCAa, 32(1)32--36
Panunzio:2012:GCAb, 32(1)39--45
Panunzio:2012:GCAc, 32(2)17--23
Panunzio:2012:GCAd, 32(2)39--42
Panunzio:2013:CEA, 33(1)64--83
Papay, David, 9(6)104--107
Papay:1989:FCA, 9(6)104--107
paper*, 29(2)15--19
Paprocki, Andrzej, 9(7)85--90
Paprocki, Andrzej, see Mysior, Jerzy
Paprzycki, Marcin, 17(2)55--62, 17(2)67--81
Paprzycki:1997:ADS, 17(2)67--81
Paprzycki:1997:PCA, 17(2)55--62
paradigm, 7(1)49--58, 7(6)110--112, 8(1)58--79, 8(2)39--54, 8(5)37--46, 10(3)126--136, 10(9)65--69, 10(9)70--74, 11(9)56--66, 17(1)54--68, 17(3)57--66, 17(5)93--99, 17(6)47--64, 26(2)23--37, 30(1)55--61, 30(1)62--67, 33(1)101--115, 33(3)43--46, 33(3)87--88, 34(3)87--96, 38(1)41--54, 38(1)74--76, 40(2)48--50
paradoxes, 29(2)28--35
Paraffin, 31(3)27--34
paragraphs, 26(1)45--55
parallelism, 0(0)9--15, 9(2)118--128, 10(9)126--132, 17(6)47--64, 30(3)41--52, 31(3)11--12, 31(3)19--26, 31(3)27--34, 33(1)45--52, 33(2)9--13, 33(2)14--32, 33(3)1--2, 33(3)23--36, 34(3)87--96, 34(3)103--104, 35(1)46--58, 35(1)97--101, 36(1)9--24, 36(1)25--28, 38(1)14--18, 40(2)51--54, 40(2)55--58, 40(2)73--75, 40(2)96--102
parallelization, 33(3)23--36, 34(3)87--96, 36(1)9--24, 42(1)100--104
parallelize, 42(1)100--104
parallelized, 36(1)9--24
parameter, 0(0)62--76, 9(4)103--104, 10(1)92--96, 10(1)131--139, 10(3)38--58, 10(3)98--100, 11(1)57--70, 12(3)110--116, 12(6)47--49, 12(6)75--80, 13(3)91--95, 15(1)39--49, 15(3)76--79, 15(4)46--49, 16(1)44--45, 16(4)57--72, 17(6)78--90, 23(1)45--52, 29(3)73--78, 30(1)91--103, 33(2)97--108, 37(2)37--39, 43(1)100--105
parameterization, 6(1)82--89, 9(4)92--102, 10(6)16--17
parameterized, 0(0)viii--171, 0(0)62--76, 9(4)92--102, 11(3)9--17
paramount, 29(3)9--10, 39(2)41--48, 41(1)69--73
paramount.Under, 26(2)12--22
ParaSail, 31(3)11--12, 33(3)1--2
parent, 12(4)36--41, 17(6)70--77, 29(1)78--79
Paris, 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
Parker, Jr., D. Stott, 5(2)97--108
Parker, Jr., D. Stott, see LeDoux, Carol H.
parse, 26(3)3--8, 30(2)19--24
parser, 2(2)34--45, 11(1)57--70, 15(2)23--30, 20(2)57--63, 26(3)3--8, 30(2)13--18
Parsian, Mahmoud, 8(6)57--71
Parsian:1988:ATT, 8(6)57--71
Parsing, 30(2)19--24
Parsl, 40(2)73--75
part, three-, 31(2)25--27, 31(2)28--29
partial, 0(0)viii--171, 0(0)156--171, 10(9)111--117, 13(6)133--161
partially, 0(0)156--171, 13(4)71--76
participants, 31(3)15--16, 32(3)9--10
participate, 27(3)99--99
participating, 40(2)70--72
participation, 13(2)17--z, 13(6)33--z, 14(2)20--z, 22(1)61--61, 31(3)3--4
particular, 0(0)16--23, 0(0)24--39, 13(3)88--90, 13(4)29--36, 17(2)29--54, 17(3)36--44, 26(2)23--37, 26(3)9--14, 27(3)5--6, 29(3)3--4, 29(3)119--120, 30(1)135--146, 31(3)7--8, 33(3)21--22, 33(3)23--36, 34(3)71--80, 36(1)9--24, 36(1)68--76, 36(2)49--53, 37(2)13--17, 38(1)29--33, 38(1)55--57, 39(2)25--28, 40(2)55--58, 42(2)79--88
particularly, 0(0)62--76, 12(6)81--87, 27(3)100--100, 29(3)61--72, 29(3)119--120, 31(3)37--38, 32(3)13--14, 33(3)23--36, 34(3)71--80, 40(2)65--69
partition, 8(7)97--100, 13(2)65--77, 13(2)78--90, 13(2)z--z, 17(2)67--81, 17(3)87--96, 17(5)106--110, 33(2)33--39, 33(2)75--86, 36(2)49--53, 41(1)64--68
partition, Inter-, 35(1)38--45
partition, inter-, 13(2)65--77
partitioned, 0(0)60--64, 9(1)147--160, 20(4)29--31, 30(1)86--90, 33(1)32--44, 33(2)33--39, 35(1)38--45
partitioned, time-, 41(1)64--68
partitioning, 3(6)57--65, 8(7)97--100, 8(7)123--126, 9(1)147--160, 9(2)118--128, 10(9)126--132, 13(2)65--77, 13(2)z--z, 17(2)67--81, 17(6)32--38, 23(4)52--54, 27(2)75--81, 33(2)33--39, 33(2)97--108, 41(1)64--68
partitioning, pre-, 8(7)113--117
partitions, multi-, 30(1)55--61
partly, 27(3)89--96
partners, 27(3)99--99
party, 12(6)75--80, 27(3)99--99, 29(1)84--97, 30(2)67--78, 31(2)59--69, 31(3)39--46, 35(2)15--21, 37(2)32--33
Pascal, 0(0)183--193, 9(5)84--88, 12(6)59--74, 18(6)75--80
Pascal-FC, 12(6)59--74
Pascal-like, 27(3)89--96
Pascal-PC, 12(6)59--74
pass, 10(1)83--91, 27(3)7--7, 28(1)24--30, 29(3)13--14, 32(3)35--42, 32(3)97--102
passed, 12(6)75--80, 13(3)91--95, 37(2)37--39
passing, 9(2)106--117, 10(1)92--96, 10(4)57--65, 10(9)103--110, 16(4)57--72, 17(2)29--54, 17(6)47--64, 31(2)56--58, 34(3)97--102
passing, message-, 7(2)102--117, 12(6)59--74, 35(1)38--45
passion, 34(3)1--2
passive, 7(6)121--123, 9(2)102--105, 9(6)119--126, 12(6)59--74, 13(2)91--96, 13(2)z--z, 14(3)91--104, 27(1)24--39
past, 12(1)43--52, 27(3)69--70, 29(3)121--126, 31(2)15--22, 31(3)17--18, 32(2)9--16, 34(3)3--4, 34(3)71--80, 39(2)25--28, 42(1)79, 42(2)69--74
PAT, 11(3)137--146
patents, 0(0)viii--171, 0(0)136--140
path, 0(0)102--118, 1(4)21--23, 19(1)59--63, 32(3)3--4, 36(2)39--46, 39(2)25--28
Pathfinder, 34(3)81--86
pathology, 12(1)65--72
Patiño-Martínez, M., 21(3)64--75
Patino-Martinez:2001:ITU, 21(3)64--75
pattern, 0(0)173--188, 0(0)273--278, 17(6)98--107, 18(6)148--151, 19(3)1--1, 23(1)11--11, 23(4)65--73, 26(3)3--8, 27(2)37--40, 27(2)53--58, 27(3)27--40, 29(3)31--44, 29(3)61--72, 29(3)79--84, 29(3)115--118, 31(3)61--68, 32(3)95--96, 33(1)15--23, 33(1)53--63, 33(1)64--83, 33(3)3--4, 36(1)39--50, 38(1)41--54, 38(1)74--76, 42(1)79, 42(2)69--74, 43(1)106--110
pattern-, 14(3)61--73
pattern-matching, 42(1)79, 42(2)69--74
Paul, Michael J., 14(1)61--67
Paul:1994:HRE, 14(1)61--67
Paulk, Mark C., 6(2)76--76, 7(6)77--78
Paulk:1986:MD, 6(2)76--76
Paulk:1987:RTP, 7(6)77--78
Paulkovich, Michael, 13(3)86--87
Paulkovich:1993:AOR, 13(3)86--87
Pautet, L., 0(0)11--20, 0(0)189--196
Pautet, L., see Neri, D.
Pautet, Laurent, 17(5)40--44, 18(6)45--51, 19(3)31--38, 19(3)77--82, 21(2)26--52, 26(3)21--28, 26(3)51--60, 29(3)31--44
Pautet, Laurent, see Barbaria, Khaled, see Delange, Julien, \see{Dissaux, Pierre, see Quinot, Thomas, \see{Tardieu, Samuel, see Zalila, Bechir
Pautet:1997:TFS, 0(0)11--20
Pautet:1999:CCS, 19(3)31--38
Pautet:1999:WFD, 19(3)77--82
Pavlov, Mikhail V., 13(4)71--76
Pavlov, Mikhail V., see Kaufman, Vitali Sh.
Payton, Teri, 6(2)73--74, 14(z)109--112
Payton, Teri, see Maymir-Ducharme, Fred
Payton:1986:CL, 6(2)73--74
Pazy, O., 17(5)100--105
Pazy, O., see Wellings, A. J.
Pazy, Offer, 10(9)133--140, 17(5)11--15
Pazy:1990:PPA, 10(9)133--140
Pazy:1997:OLS, 17(5)11--15
PC, 0(0)1--9, 9(7)85--90, 14(1)61--67
PC, Pascal-, 12(6)59--74
PC-AT, 13(4)49--62
PC-based, 0(0)viii--171, 0(0)1--9
PC-DOS, 10(7)55--62
PCash, 13(4)49--62
PC/AT, 10(7)55--62
PCI-bus, 23(1)11--11
PCP, 27(1)24--39
PCs, 9(5)60--82
PDF, 38(2)9--42, 38(2)69--88, 39(1)9--16, 39(1)17--19, 39(1)20--34, 39(1)50--62, 39(1)72--72, 39(1)83--99, 39(1)101--108
PDL, 2(1)50--57, 2(3)19--31, 2(3)32--33, 2(3)51--59, 2(4)61--63, 2(4)64--67, 2(4)76--83, 2(6)51--52, 3(2)93--97, 4(1)67--73, 4(6)27--31, 5(1)71--78, 5(1)79--88, 6(1)82--89, 16(2)35--38
PDL/ADA, 5(1)71--78
PDLash, 2(2)49--50, 2(3)19--31
PDR, 13(3)86--87
Peart, Tim, 13(4)77--86
Peart, Tim, see Gonzalez, Dean W.
Peculiarities, 3(5)75--81
Pedersen, Knut H., 25(4)79--92
Pedersen:2005:AAO, 25(4)79--92
Pedestrian, 43(1)111--117
penalty, 32(1)13--18, 33(1)157--168
Penedo, M. H., 4(5)65--78
Penedo, M. H., see Oberndorf, P. A.
Penedo, Maria H., 4(5)65--78, 11(3)37--46, 14(z)85--92
Penedo, Maria H., see Brown, Alan W., see Orberndorf, Patricia A.
Penedo:1991:SRM, 11(3)37--46
pennies, 19(3)183--193
Pentium, 29(3)79--84
people, 6(5)86--93, 27(3)2--2, 31(3)35--36, 36(2)31--38, 38(2)89--96
per, 17(3)67--86, 27(3)89--96
Perc, 32(3)15--22
perceived, 35(1)59--73
percent, 17(3)36--44, 17(3)67--86
percentage, 29(3)21--22, 36(2)31--38
Perch, Guido, 3(3)45--57
Perch, Guido, see Kirchgassner, Walter
Pérez, Daniel Gracia, 40(1)85--90, see Nogueira, Luis
Perez, E., 8(5)37--46
Pérez-Tijero, Héctor, 38(1)34--39, see Aldea-Rivas, Mario
Perez:1988:SIA, 8(5)37--46
perfect, 4(1)40--44, 26(1)25--30, 31(3)81--90
perform, 13(3)39--41, 27(3)41--50, 27(3)83--88, 27(3)89--96, 29(2)53--55, 32(3)25--26, 32(3)35--42, 32(3)51--52, 33(3)7--8, 33(3)51--64, 36(2)39--46, 36(2)60--68, 37(2)13--17, 41(2)66--70
PERFORMANCE, 9(5)101--108
Performance, High-, 36(2)47--48
performance, high-, 34(3)87--96
performance., 27(3)89--96
performed, 23(1)11--11, 27(3)69--70, 28(1)24--30, 29(3)23--30, 33(3)21--22, 41(2)66--70
performing, 33(3)21--22
perhaps, 35(1)32--37, 37(2)37--39
period, 0(0)102--118
periodic, 10(4)136--143, 10(9)141--146, 12(1)65--72, 14(0)ix--118, 14(z)54--73, 17(5)18--23, 36(2)27--30
peripherals, 32(3)51--52, 37(2)43--50
Peris, R., Jiménez-, 21(3)64--75
permanently, 13(5)32--42
Permission, 39(1)71--71
permits, 27(2)82--87
Perry, Dewayne, 4(5)90--96
Perry, Dewayne, see Braesicke, Carl
Perry, Dewayne E., 11(3)29--31, 11(3)29--z
Perry, Dewayne E., see Micallef, Josephine
Persch, G., 0(0)z--z
Persch, G., see Bever, M.
Persch, Guido, 0(0)47--56, 3(1)63--70
Persch:1980:OPA, 0(0)47--56
Persch:1983:EEP, 3(1)63--70
Perseil, Isabelle, 26(3)51--60
Perseil, Isabelle, see Barbaria, Khaled
persistence, 30(3)71--74
persistent, 10(5)101--109
personal, 0(0)1--9, 10(3)91--97, 10(4)136--143, 14(3)39--60, 18(2)36--41, 18(6)219--228, 29(3)119--120
Personnel, 0(0)119--123
perspective, 5(2)241--254, 14(4)36--42, 27(3)69--70, 29(3)45--60, 29(3)119--120, 33(3)85--86
perspective-bridged, 29(3)45--60
pertain, 17(1)54--68
pertinent, 43(1)100--105
perturbations, 10(3)211--216
pervasive, 29(3)119--120, 31(3)11--12
Peters, T., 20(1)58--66
Peters, T., see Needham, D.
Peters, T. J., 0(0)263--272
Peters, T. J., see Needham, D. M.
Peters, Thomas J., 18(6)104--113, 19(3)203--210
Peters, Thomas J., see Needham, Donald M., see Reisner, John A.
Peterson, Greg, 18(6)18--27
Peterson, Greg, see Mills, Mike
Petren, John, 18(2)81--88
Petren:1998:RWW, 18(2)81--88
Pettersson, Mats, 42(2)96--98
Pettersson, Mats, see Balador, Ali
Pettit, IV, Robert G., 30(3)7--8
Pettit:2010:DRT, 30(3)7--8
Peyre, J. F., Pradat-, 0(0)51--66, 24(1)17--24
Peyre, Jean-François, Pradat-, 26(2)23--37
Pfitzmann, Andreas, 1(1)31--41
Pfitzmann, Andreas, see Haertig, Herman
PFW, 26(2)12--22, 26(3)71--74
Ph.D, 33(3)85--86
Pham, Tuang-Hung, 32(3)53--62
Pham, Tuang-Hung, see Hardin, David S.
phase, 12(2)43--56, 13(6)133--161, 17(1)54--68, 17(3)3--16, 26(3)51--60, 27(3)99--99, 28(1)76--82, 33(3)43--46, 36(2)54--57, 43(1)94--99
phased, 0(0)viii--171, 0(0)16--23
PhD, Joyce L. Tokar, 31(3)39--46
PhD, Paul E. Black, 31(3)39--46
PhD, Paul E. Black, see PhD, Joyce L. Tokar
PhD:2011:SVP, 31(3)39--46
Philipson, Lars, 3(5)69--74
Philipson, Lars, see Ardo, Anders
Phillips, Stephen P., 3(4)99--111
Phillips:1984:RAR, 3(4)99--111
philosophers, 5(1)42--48, 13(4)37--43, 26(2)23--37
philosophy, 0(0)24--39, 17(3)97--108, 29(3)45--60, 40(2)48--50
phones, 32(3)51--52
PHYSICAL, 9(5)89--100, 16(3)56--69
physical, 4(5)65--78, 16(3)56--69, 23(1)11--11, 29(3)7--8, 32(3)13--14, 32(3)35--42, 32(3)51--52, 33(3)43--46, 34(3)29--38, 42(1)86--89, 42(2)55--61, 42(2)109--113
Physical, Cyber-, 36(2)31--38, 42(2)99--103, 42(2)109--113
physical, Cyber-, 34(3)17--18, 36(2)39--46, 43(1)46--49, 43(1)94--99
physical, cyber-, 33(3)3--4, 34(3)29--38, 40(1)60--63, 40(1)64--73, 41(1)69--73, 43(1)46--49, 43(1)94--99
physics, 9(5)89--100, 16(3)56--69, 26(3)71--74, 43(1)46--49
Piatkowski, Thomas F., 10(7)55--62
Piatkowski, Thomas F., see Lander, Leslie C.
Pico, 32(3)15--22
pictorial, 0(0)50--61
pictorially, 0(0)50--61
picture, 4(5)49--58, 27(3)100--100, 34(3)61--68
piece, 17(3)17--29, 27(3)99--99, 29(3)19--20, 32(3)25--26
Pierce, R. H., 5(2)309--320, 7(6)121--123
Pierce:1985:AEP, 5(2)309--320
Pierce:1987:UPT, 7(6)121--123
Pierpoint, Tom, 10(7)63--69
Pierpoint:1990:MMA, 10(7)63--69
Pietsch, W., 6(3)31--42
Pietsch, W., see Kurbel, K.
Pietsch, Wolfram, 6(2)29--40
Pietsch, Wolfram, see Kurbel, Karl
pill, 0(0)16--23
pilot, 0(0)90--101, 17(3)67--86, 32(3)7--8, 32(3)71--72, 35(1)38--45, 36(2)31--38
pilots, co-, 33(3)9--10
Pinching, 19(3)183--193
Pinho, Luis Miguel, 21(1)14--16, 23(4)74--81, 33(2)14--32, 33(2)40--48, 33(2)115--122, 33(3)23--36, 35(1)97--101, 36(1)9--24, 36(1)25--28, 36(1)83--90, 38(1)14--18, 38(1)58--60, 38(1)77--78, 40(1)85--90, 40(2)96--102, 42(2)114--118
Pinho, Luis Miguel, see Gregertsen, Kristoffer Nyborg, see Harbour, Michael González, see Maia, R., \see{Michell, Stephen, see Moore, Brad, \see{Nogueira, Luis, see Sousa, Rita, \see{Taft, Tucker
Pinho, Luís Miguel, 18(6)52--60, 19(2)21--27, 19(4)37--43, 21(1)79--84, 22(4)47--52, 22(4)120--122, 23(4)96--96, 30(1)152--161, 31(3)19--26, 33(1)84--92, 33(1)138--145, 34(3)87--96, 35(1)46--58, see Ali, Hazem Ismail, see Barros, António, see Puente, Juan Antonio de la, see Taft, S. Tucker, see Vardanega, Tullio, see Wellings, Andy
Pinho, Miguel, 30(2)27--52
Pinho, Miguel, see Burns, Alan
Pinho:1998:MAB, 18(6)52--60
Pinho:1999:AAA, 19(4)37--43
Pinho:1999:RMR, 19(2)21--27
Pinho:2001:PAM, 21(1)79--84
Pinho:2002:URS, 22(4)47--52
Pinho:2013:AMC, 33(2)40--48
Pinho:2013:SSP, 33(2)115--122
Pinho:2015:RTF, 35(1)46--58
Pinho:2015:SSF, 35(1)97--101
Pinho:2016:SSP, 36(1)83--90
Pinho:2018:CTM, 38(1)14--18
Pinho:2018:SSP, 38(1)58--60
Pinho:2021:RTI, 40(2)96--102
pioneering, 0(0)31--35, 14(3)80--90
Piotrowski, W. G., 6(3)43--55
Piotrowski:1986:AIH, 6(3)43--55
PIP, 27(1)24--39
pipeline, 42(1)81--85
PIP/PCP, 27(3)8--8
Pisonero, David, 40(2)92--95
Pisonero, David, see Garrido, Jorge
pitfalls, 0(0)24--39, 27(3)7--7, 29(3)13--14
PIWG, 6(2)93--93, 10(3)72--90, 10(3)91--97, 10(3)98--100, 10(3)146--210, 10(3)211--216, 10(3)217--229, 13(3)42--z
\pkgEmber, 41(2)61--65
place, 5(2)275--284, 6(1)55--62, 13(2)54--64, 13(3)39--41, 17(1)54--68, 17(2)82--91, 27(3)89--96, 27(3)99--99, 28(1)36--37, 29(3)19--20, 30(2)27--52, 36(2)58--59
placing, 13(3)74--85
plague, 27(3)5--6
plagued, 27(3)5--6
plan, 0(0)62--76, 0(0)305--307, 22(4)131--131, 23(3)16--31, 27(2)96--97, 27(3)99--99, 28(1)24--30, 30(2)13--18, 30(2)19--24, 36(1)68--76
planned, 0(0)62--76, 23(1)11--11, 27(3)59--62, 33(1)64--83
planning, 0(0)62--76, 5(1)32--41, 13(4)29--36, 18(5)87--96
Plantec, Alain, 26(3)61--70, 27(3)41--50, 29(3)31--44, 31(3)61--68, 42(1)105--105
Plantec, Alain, see Boukili, Zineb, see Delange, Julien, \see{Gaudel, Vincent, see Singhoff, Frank
Plantec:2006:RAL, 26(3)61--70
planting, 26(3)71--74
plants, 17(5)57--64, 41(1)69--73
Platek, Richard, 6(2)51--52
Platek:1986:CLF, 6(2)51--52
platform, 10(7)63--69, 13(4)77--86, 15(2)31--39, 16(1)46--53, 16(3)39--51, 17(1)41--53, 17(3)3--16, 17(6)32--38, 19(3)83--88, 27(3)79--82, 29(3)79--84, 30(1)16--25, 30(1)86--90, 30(1)125--134, 30(1)135--146, 33(1)9--14, 33(1)116--127, 33(1)128--133, 33(2)9--13, 33(2)40--48, 33(3)23--36, 34(3)47--60, 34(3)87--96, 35(1)26--31, 35(1)74--79, 35(1)80--92, 39(2)25--28, 42(1)65--67, 42(1)100--104, 43(1)111--117
platform, cross-, 23(1)12--21
Platinum, 40(2)76--91
Plato, 36(2)58--59
platypus, 26(3)61--70, 27(3)41--50
PlatypusCheddar, 26(3)61--70
play, 27(3)100--100, 29(3)11--12, 32(3)5--6
player, 27(3)59--62
playing, 17(3)3--16
plc, 27(3)89--96
pleased, 39(1)100--100
pleasure, 34(3)1--2
plenary, 19(3)221--221
Plinta, Charles, 18(6)276--286
Plinta:1998:SCG, 18(6)276--286
Ploedereder, Erhard, 3(4)92--99, 12(6)50--58, 18(3)20--112, 21(4)129--130, 30(2)27--52
Ploedereder, Erhard, see Burns, Alan
Ploedereder:1984:PS, 3(4)92--99
Ploedereder:1992:HPA, 12(6)50--58
Ploedereder:1998:RGA, 18(3)20--112
Ploedereder:2001:PMI, 21(4)129--130
plots, 36(2)58--59
plug, 27(3)63--68
plug-in, 25(2)31--41, 32(3)3--4, 33(3)51--64
plug-ins, 33(3)65--84
Plugging, 9(2)72--77
plugin, 27(3)99--99
Plum, Thomas, 32(3)103--104
Plum, Thomas, see Beringer, Lennart
plus, 27(3)3--3, 31(3)39--46
PM, 19(1)42--47
Pneuli, A., 0(0)128--137
Pneuli:1982:RAP, 0(0)128--137
PO, 27(2)82--87
Podgorski, Pawel, 21(4)81--90
Podgorski, Pawel, see Laski, Janusz
point, 0(0)90--101, 7(3)73--83, 7(5)63--78, 8(2)107--109, 9(6)104--107, 11(7)244--273, 12(2)97--101, 13(5)32--42, 16(3)56--69, 17(3)57--66, 23(1)11--11, 26(1)45--55, 31(3)35--36, 32(3)15--22, 33(2)49--58, 33(3)41--42, 34(3)13--16, 36(1)68--76, 37(2)51--58, 40(1)91--96, 40(2)51--54, 42(2)69--74
point, Fixed-, 7(1)71--81
point, floating-, 10(4)159--165, 27(3)27--40
point, single-, 13(5)32--42
pointed, 33(2)49--58
pointers, 19(4)44--48, 29(1)51--52, 29(1)57--57, 29(1)66--68, 32(3)15--22
pointing, 10(5)101--109, 27(2)37--40
POK, 29(3)31--44
Polak, Wolfgang, 0(0)113--122
Polak, Wolfgang, see Luckham, David C.
policing, 25(4)63--68
policy, 7(4)42--44, 14(3)74--79, 15(6)46--56, 19(1)5--z, 20(1)3--4, 20(2)3--4, 20(3)3--4, 21(1)11--13, 21(1)46--47, 22(1)3--10, 23(4)13--15, 26(1)2--3, 26(1)31--44, 26(1)45--55, 26(1)64--65, 26(2)23--37, 26(2)48--59, 26(2)60--68, 29(3)73--78, 30(1)91--103, 33(1)24--31, 33(1)32--44, 33(1)45--52, 33(2)49--58, 33(2)59--65, 36(1)39--50, 36(2)9--17, 38(1)34--39, 38(1)41--54, 38(1)74--76, 41(1)87--91
political, 0(0)viii--171, 0(0)24--39, 0(0)136--140
Pollack, Robert H., 10(3)91--97
Pollack:1990:CRP, 10(3)91--97
polling, 41(2)66--70
Polti, Alexis, 29(3)105--114
Polti, Alexis, see Tardieu, Samuel
polymorphic, 17(6)47--64
polymorphism, 10(9)35--38, 12(2)43--56
PolyORB, 26(3)21--28, 26(3)51--60
pool, 13(3)91--95, 30(1)55--61, 33(2)14--32, 36(1)51--62
Popov, Arcady, 12(3)117--125
Popov:1992:PS, 12(3)117--125
popular, 17(2)55--62, 31(3)81--90, 32(3)9--10, 37(2)59--67
popularity, 0(0)367--375, 23(1)30--34, 31(3)15--16, 31(3)35--36
Porion, 42(1)68--75
portability, 0(0)40--49, 0(0)50--61, 1(3)44--61, 1(4)9--20, 6(1)22--28, 6(2)41--50, 7(5)100--103, 8(4)70--82, 9(5)54--59, 10(1)97--99, 10(1)111--117, 10(4)159--165, 11(1)114--120, 11(7)47--65, 11(7)83--90, 11(7)131--139, 11(7)180--216, 11(7)244--273, 12(3)117--125, 12(5)64--76, 13(4)29--36, 13(4)49--62, 13(5)43--47, 17(1)41--53, 17(3)3--16, 17(3)36--44, 17(5)40--44, 17(6)65--69, 22(4)37--46, 23(1)12--21, 26(3)77--80, 29(2)37--39
portable, 0(0)48--56, 0(0)91--104, 0(0)190--198, 0(0)266--274, 6(2)29--40, 6(3)31--42, 7(6)93--96, 8(7)86--96, 10(1)97--99, 10(3)98--100, 11(7)140--165, 11(7)180--216, 11(7)244--273, 12(2)43--56, 12(3)117--125, 12(5)64--76, 17(3)3--16, 18(6)158--164, 18(6)204--211, 27(3)1--1, 29(3)17--18, 32(3)73--80, 40(2)70--72, 42(1)43--45
ported, 27(3)71--74, 29(3)23--30
porting, 10(8)130--144, 24(1)29--37, 41(1)78--82
porting/reuse, 10(6)84--96
portion, 0(0)90--101, 17(6)39--46, 31(3)81--90, 33(3)43--46, 34(3)29--38
ports, 35(1)38--45, 41(2)66--70
POs, 27(2)82--87
pose, 35(1)93--94, 42(2)79--88, 42(2)92--95
posed, 38(2)109--114
position, 2(6)51--52, 13(6)133--161, 21(1)75--78, 21(3)31--32, 27(2)75--81, 29(3)21--22, 29(3)121--126, 30(1)68--72, 33(2)109--114, 36(1)39--50, 38(1)41--54, 38(1)55--57, 38(1)74--76
positioned, 27(3)69--70
positioning, 15(4)22--22
positive, 10(4)136--143, 17(3)67--86, 27(3)75--78, 31(3)35--36, 31(3)75--80
POSIX, 9(5)115--122, 10(9)133--140, 17(3)36--44, 17(5)57--64, 17(5)77--82, 19(2)73--77, 21(1)20--26, 27(2)67--71, 27(2)88--89, 27(2)90--95, 27(3)8--8
POSIX/UNIX95, 17(1)41--53
possessed, 34(3)1--2
possibility, 0(0)367--375, 13(4)44--48, 27(3)97--98, 27(3)99--99, 29(1)29--32, 29(2)46--49, 29(2)50--52, 36(1)98--100, 40(2)96--102
possible, 0(0)136--140, 12(6)81--87, 13(2)78--90, 13(3)88--90, 13(5)32--42, 26(2)23--37, 29(1)19--22, 29(2)15--19, 29(2)43--45, 29(2)46--49, 29(3)119--120, 30(1)135--146, 31(2)15--22, 31(3)3--4, 31(3)7--8, 32(2)9--16, 32(3)3--4, 32(3)43--50, 32(3)95--96, 32(3)97--102, 33(2)97--108, 36(1)63--67, 36(2)9--17, 36(2)58--59, 40(2)76--91, 42(1)50--53, 42(1)54--57, 42(1)100--104
possible., 28(1)76--82, 29(3)31--44
possibly, 37(2)34--36
post, 0(0)14--24, 30(1)62--67, 34(3)71--80
post-conditions, 33(3)13--14, 34(3)71--80
post-hoc, 42(2)75--78
post-production, 43(1)94--99
post-unit, 34(3)17--18
postcondition, 29(1)48--49, 31(3)11--12, 32(3)9--10, 33(3)1--2, 37(2)34--36
postponement, 9(4)87--91
postponing, 33(2)97--108
potential, 0(0)16--23, 0(0)90--101, 9(5)101--108, 12(1)43--52, 27(2)90--95, 27(3)7--7, 27(3)99--99, 29(3)13--14, 31(2)15--22, 32(2)9--16, 33(3)49--50, 36(2)39--46, 40(1)64--73, 40(1)91--96
potentially, 29(2)53--55, 29(3)119--120, 35(1)9--16
Potratz, Eric, 24(1)71--83
Potratz:2004:PCB, 24(1)71--83
Poutanen, Olavi, 5(2)14--24
Poutanen:1985:NBR, 5(2)14--24
power, 12(6)47--49, 17(5)27--32, 17(5)57--64, 23(1)11--11, 27(2)23--28, 29(1)66--68, 30(1)86--90, 31(3)19--26, 33(1)15--23, 33(3)9--10, 36(2)22--26, 40(2)59--64, 41(1)69--73, 42(1)100--104, 43(1)78--82, 43(1)111--117
Power, R. K., 10(9)111--117
Power, R. K., see Gargaro, A. B.
PowerAda, 16(3)39--51
powerful, 17(1)41--53, 17(3)45--56, 23(1)45--52, 26(3)71--74, 27(3)27--40, 28(1)41--44, 28(1)96--102, 29(2)56--60, 29(2)61--62, 30(1)16--25, 33(1)9--14, 33(3)13--14, 41(1)83--86
Powerpoint, 38(2)9--42, 38(2)69--88, 39(1)9--16, 39(1)17--19, 39(1)20--34, 39(1)50--62, 39(1)72--72, 39(1)83--99, 39(1)101--108
Powers, R., 11(8)177--z
Powers, R., see Allen, D.
Powers, Richard, 10(9)31--34
Powers, Richard D., 10(4)114--118, 17(5)77--82
Powers:1990:ASA, 10(9)31--34
Powers:1990:ASR, 10(4)114--118
Powers:1997:ICU, 17(5)77--82
pp, 18(6)142--147
PQCC, 0(0)101--112
PR, 12(6)75--80
practical, 0(0)113--122, 0(0)141--155, 0(0)367--375, 5(2)210--216, 7(6)15--17, 8(7)35--38, 9(2)45--51, 12(2)43--56, 15(4)46--49, 22(4)28--36, 24(1)71--83, 27(2)67--71, 27(3)8--8, 27(3)75--78, 28(1)92--95, 29(3)11--12, 29(3)61--72, 29(3)85--86, 33(3)7--8
Practicalities, 27(3)2--2
practically, 12(1)43--52
practice, 9(6)53--66, 12(6)59--74, 27(2)48--52, 27(3)5--6, 31(2)9--14, 33(2)59--65, 33(3)3--4, 33(3)13--14, 33(3)85--86, 36(2)39--46, 36(2)58--59, 37(2)59--67
Practising, 27(3)5--6
practitioners, 10(9)70--74, 15(2)40--45, 27(3)8--8
Pradat-Peyre, J. F., 0(0)51--66, 24(1)17--24
Pradat-Peyre, J. F., see Evangelista, S., see Kaiser, C.
Pradat-Peyre, Jean-François, 26(2)23--37, see Kaiser, Claude
pragma, 8(7)101--103, 9(6)97--103, 11(2)53--55, 13(1)63--75, 14(3)91--104, 23(4)52--54, 29(2)43--45, 29(2)65--67, 29(3)17--18, 37(2)34--36
pragma., 29(2)61--62
PragmAda, 24(3)44--46
pragmatic, 7(6)24--26, 15(2)31--39, 28(1)92--95, 43(1)106--110
Praxis, 27(3)5--6, 27(3)100--100
pre, 32(3)9--10, 34(3)71--80
pre-amplification, 23(1)11--11
pre-assembled, 14(6)62--72
pre-emptable, 12(1)65--72
pre-partitioning, 8(7)113--117
pre-processor, 1(4)55--58
Pre-Processors, 1(4)55--58
pre-translator, 8(7)104--107
preash, 34(3)71--80
prebuilt, 29(3)11--12
preceding, 29(2)50--52
precise, 0(0)156--171, 8(7)32--34, 22(4)53--57, 23(1)35--39, 31(3)7--8, 34(3)61--68
precisely, 29(3)121--126, 33(3)9--10, 34(3)61--68, 36(2)60--68
precision, 7(5)63--78, 8(7)32--34, 12(2)62--75, 13(5)32--42, 40(2)59--64
precision, high-, 38(1)55--57
precision-rate, 12(2)62--75
precluded, 31(3)39--46
precompilers, 12(2)43--56
precondition, 29(1)48--49, 31(3)11--12, 33(3)1--2, 33(3)13--14, 37(2)34--36
preconditionsash, 29(1)48--49
predecessor, 27(1)24--39, 32(3)43--50, 39(2)35--40
predefined, 8(6)53--56, 8(7)123--126, 10(6)47--60, 27(3)3--3, 31(2)30--32, 33(1)64--83
predicate, 0(0)102--118, 27(3)75--78, 34(3)47--60, 37(2)34--36
Predicate-Transition, 17(5)33--34
predication, 33(3)65--84
predict, 27(3)8--8, 34(3)103--104
predictability, 8(7)35--38, 27(2)29--36, 30(1)86--90, 31(3)7--8, 31(3)69--74
predictable, 10(9)118--125, 33(1)45--52
predictably, 30(1)125--134
Predicting, 19(3)227--227
prediction, 0(0)24--39, 34(3)29--38
predictive, 11(3)9--17, 29(3)7--8
predominant, 32(3)71--72
preemption, 27(2)18--22, 29(3)23--30, 30(1)116--124
preemptive, 10(6)84--96, 10(8)130--144, 17(5)27--32, 36(1)68--76, 38(1)41--54, 38(1)74--76
preemptive, Non-, 21(1)46--47
preemptive, non-, 30(1)135--146
Preface, 11(3)iii--iii
preferred, 29(2)68--70
preliminary, 0(0)47--56, 12(2)33--z, 13(3)86--87, 15(2)40--45, 22(1)39--42, 22(1)61--61, 38(1)34--39
premature, 33(2)75--86
premium, 17(1)41--53
preparation, 36(1)77--82
pre/post-based, 34(3)71--80
pre/postcondition, 34(3)71--80
preprocessing, 10(1)83--91
preprocessor, 10(1)83--91, 11(2)86--97, 12(2)102--110, 12(5)77--83
prerequisites, 29(3)3--4, 29(3)5--6, 33(3)1--2
prescribe, 36(2)39--46
presence, 27(3)2--2, 34(3)87--96, 39(2)35--40
present, 0(0)40--49, 0(0)156--171, 11(2)60--71, 12(1)43--52, 12(1)73--84, 13(4)29--36, 13(4)49--62, 13(4)71--76, 13(6)133--161, 17(1)41--53, 17(2)55--62, 17(3)17--29, 17(3)67--86, 17(3)97--108, 23(1)45--52, 26(3)21--28, 26(3)61--70, 27(1)24--39, 27(2)67--71, 27(2)82--87, 27(3)11--26, 27(3)69--70, 28(1)24--30, 28(1)92--95, 29(2)61--62, 29(3)31--44, 29(3)45--60, 29(3)73--78, 29(3)91--102, 29(3)105--114, 30(1)91--103, 30(2)13--18, 30(2)19--24, 31(2)36--39, 31(2)56--58, 31(3)1--2, 31(3)3--4, 31(3)13--14, 31(3)39--46, 31(3)47--60, 32(3)3--4, 32(3)7--8, 32(3)11--12, 32(3)35--42, 32(3)81--94, 33(1)24--31, 33(1)53--63, 33(1)64--83, 33(1)169--179, 33(3)3--4, 33(3)11--12, 33(3)21--22, 33(3)51--64, 33(3)85--86, 34(3)19--28, 34(3)81--86, 35(1)59--73, 35(1)74--79, 36(2)9--17, 36(2)22--26, 36(2)47--48, 36(2)58--59, 37(1)9--25, 37(2)23--26, 37(2)51--58, 38(1)34--39, 38(1)41--54, 38(1)74--76, 38(2)89--96, 39(1)63--70, 39(2)25--28, 40(2)96--102, 41(1)78--82, 41(2)66--70, 42(1)46--49, 42(1)95--99, 42(2)99--103, 43(1)64--68, 43(1)69--72, 43(1)88--93
presentation, 9(5)89--100, 12(2)76--90, 19(3)223--223, 27(3)8--8, 27(3)100--100, 29(3)85--86, 29(3)103--104, 31(3)17--18, 32(3)23--24, 33(3)37--40, 33(3)41--42, 34(3)3--4, 34(3)13--16, 34(3)17--18, 37(2)59--67, 39(1)71--71, 40(1)53--59, 41(2)71--76, 42(1)61--64
Presentations, 20(4)3--28, 20(4)29--31, 20(4)32--39, 20(4)40--49, 20(4)50--63, 20(4)64--68, 20(4)69--79, 20(4)80--z
presented, 0(0)16--23, 0(0)102--118, 11(7)244--273, 12(1)65--72, 12(2)97--101, 12(6)75--80, 13(4)37--43, 13(4)63--70, 17(1)41--53, 17(3)57--66, 17(3)87--96, 23(1)53--56, 27(1)24--39, 27(2)75--81, 27(3)8--8, 27(3)11--26, 27(3)79--82, 28(1)38--40, 29(3)11--12, 30(1)33--44, 31(3)47--60, 33(2)33--39, 35(1)46--58, 36(1)63--67, 36(2)27--30, 38(1)19--28, 40(2)96--102, 42(1)58--60, 42(1)68--75, 43(1)69--72
presenter, 29(3)3--4, 29(3)119--120
presenting, 0(0)16--23, 12(1)65--72
presently, 12(6)50--58
preservation, 30(1)45--55
preservation, property-, 40(1)74--78
preserve, 38(2)64--68
preserved, 30(1)45--55
preserving, 14(1)38--49
preserving, semantics-, 29(3)85--86
Press, 32(3)7--8
pressures, 0(0)16--23
Pretti, G., 9(6)108--118
Pretti, G., see Sterne, D.
prevailing, 32(3)15--22
prevalent, 27(2)75--81, 27(3)2--2, 32(3)25--26, 34(3)87--96
Preve, Cyril, 31(3)7--8, 31(3)69--74
Preve, Cyril, see Abraham, Jay
prevent, 29(1)25--26, 29(1)51--52, 29(1)66--68, 29(2)65--67, 33(2)33--39, 33(2)66--74
prevented, 27(2)48--52, 34(3)13--16
preventing, 27(1)24--39
prevention, 10(5)110--127, 17(6)19--31, 29(2)20--27, 31(3)39--46
previous, 0(0)62--76, 17(1)41--53, 17(2)63--66, 27(3)1--1, 27(3)2--2, 27(3)11--26, 27(3)69--70, 27(3)89--96, 28(1)24--30, 29(2)46--49, 29(2)61--62, 29(2)63--64, 29(3)3--4, 29(3)5--6, 30(1)73--85, 31(2)33--35, 31(2)56--58, 31(3)47--60, 32(1)13--18, 33(1)53--63, 33(1)116--127, 33(1)157--168, 36(1)25--28, 36(1)68--76, 36(2)18--21, 37(2)30--31, 37(2)32--33, 38(1)14--18, 38(1)29--33, 38(1)41--54, 38(1)74--76, 39(1)63--70, 40(2)96--102
previously, 28(1)31--33, 29(3)121--126, 33(2)14--32, 34(3)87--96, 38(1)41--54, 38(1)74--76, 40(2)96--102
price, 11(3)115--124
Price, M. W., 0(0)125--134
Price, R. J., 0(0)156--165
Price, R. J., see Eventoff, W.
Price:1997:RMF, 0(0)125--134
priced, 36(2)31--38
Prieto, Diego García, 41(1)87--91, see Tijero, Héctor Pérez
primarily, 32(3)7--8, 33(3)1--2, 33(3)15--18, 35(1)32--37, 36(2)18--21
primary, 17(1)54--68, 17(3)3--16, 17(3)36--44, 29(3)105--114, 33(3)43--46, 36(2)22--26
prime, 0(0)24--39, 8(5)71--74, 8(5)87--91, 13(3)86--87
primitive, 0(0)102--118, 9(2)106--117, 11(7)66--82, 11(7)83--90, 13(2)91--96, 29(1)78--79, 30(1)16--25, 32(3)25--26, 32(3)73--80, 33(3)15--18, 35(1)59--73, 38(1)19--28
PRIMITIVE-FUNCTIONS, 11(7)66--82
principal, 33(3)65--84, 34(3)47--60
principle, 8(3)107--114, 9(4)105--112, 9(6)119--126, 10(1)118--121, 14(6)57--61, 16(4)57--72, 19(3)101--110, 23(1)35--39, 27(3)4--4, 29(3)3--4, 29(3)5--6, 29(3)9--10, 29(3)15--16, 30(1)86--90, 31(3)3--4, 32(3)11--12, 33(1)64--83, 33(3)9--10, 33(3)11--12, 36(2)47--48, 36(2)58--59, 41(2)81--85
print, small-foot-, 37(2)43--50
printed, 18(0)xii--293
printers, 32(3)51--52
prior, 36(2)60--68
prioritized, 10(9)103--110
Prioritizing, 19(2)67--72
priority, 7(1)97--104, 7(6)97--100, 7(7)30--32, 8(6)53--56, 8(7)20--31, 8(7)35--38, 8(7)39--42, 10(7)55--62, 10(9)39--45, 10(9)103--110, 11(9)83--95, 14(3)105--112, 14(5)80--87, 15(6)46--56, 17(5)18--23, 17(5)24--26, 17(5)88--92, 19(2)41--48, 21(1)91--95, 23(4)24--27, 25(1)43--47, 26(1)56--63, 26(2)48--59, 27(1)24--39, 27(3)8--8, 31(2)9--14, 33(1)24--31, 33(1)32--44, 33(2)97--108, 33(3)23--36, 35(1)9--16, 36(1)68--76, 38(1)41--54, 38(1)74--76
priority, fixed-, 17(5)18--23
priority-based, 36(1)68--76, 38(1)41--54, 38(1)74--76
priority-inheritance, 10(9)103--110
priority-scheduled, 36(1)68--76
PRISM, 17(6)39--46
pristine, 30(1)45--55
Pritchett IV, William W., 16(5)48--58, 21(4)117--126
Pritchett, IV, William W., 18(6)12--17
Pritchett, W., 0(0)273--278
Pritchett, W., see Riley, J.
Pritchett, William, 21(4)115--116
Pritchett:1996:AOO, 16(5)48--58
Pritchett:1998:ABS, 18(6)12--17
Pritchett:2001:OOM, 21(4)117--126
Pritchett:2001:VTT, 21(4)115--116
privacy, 16(3)52--55, 43(1)73--77
private, 3(6)66--78, 4(4)27--31, 9(6)119--126, 11(2)56--59, 11(5)79--90, 12(2)57--61, 12(6)75--80, 13(3)91--95, 13(5)32--42, 16(3)52--55, 16(3)56--69, 29(1)58--60, 29(3)119--120, 32(3)15--22, 37(2)32--33
private-by-design, 42(2)96--98
Privitera, J. P., 0(0)76--90
Privitera:1982:ADL, 0(0)76--90
Pro, 27(3)97--98
probabilistic, 36(2)39--46
PROBABILITY, 8(2)110--112
probability, 36(2)39--46
probe, 43(1)83--87
PROBLEM, 8(2)77--83, 8(3)87--97, 8(5)71--74, 8(5)87--91, 8(7)12--19, 8(7)32--34, 9(5)83--83
problematic, 32(3)3--4, 32(3)27--34
problems, sub-, 33(3)3--4
Proc, 0(0)141--155
procedural, 11(5)47--61
procedural, non-, 0(0)40--49
procedure, 0(0)16--23, 4(6)49--59, 5(1)79--88, 7(2)28--57, 9(2)102--105, 9(6)80--89, 12(3)92--98, 13(2)65--77, 13(6)66--158, 14(6)62--72, 14(z)74--81, 17(1)41--53, 17(5)88--92, 19(2)67--72, 23(1)40--43, 27(3)11--26, 28(1)96--102, 31(3)47--60, 32(3)3--4, 32(3)53--62, 37(2)37--39
proceed, 38(1)19--28
proceedings, 0(0)vi--130, 0(0)vii--274, 0(0)viii--171, 0(0)viii--240, 0(0)xiii--312, 0(0)xxvii--542, 0(0)336, 4(6)35--43, 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, 8(1)91--107, 13(1)35--59, 13(1)35--z, 14(0)ix--118, 15(0)vii--242, 18(0)xii--293, 22(4)z--z, 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
process, inter-, 12(6)59--74, 37(1)9--25
process, n-, 12(1)73--84
process., 29(3)45--60
PROCESSING, 4(5)45--48, 4(5)59--64
processing, 0(0)102--118, 1(4)46--54, 7(2)102--117, 8(7)86--96, 8(7)97--100, 8(7)101--103, 8(7)104--107, 8(7)113--117, 8(7)118--122, 8(7)123--126, 8(7)z--z, 9(1)147--160, 9(2)45--51, 9(2)118--128, 9(5)54--59, 9(5)89--100, 10(1)97--99, 10(3)38--58, 10(4)78--84, 10(4)85--96, 10(4)136--143, 10(4)z--z, 10(6)47--60, 10(6)68--83, 10(9)17--28, 10(9)85--93, 10(9)111--117, 10(9)z--z, 11(2)53--55, 11(6)61--63, 11(6)z--z, 13(2)65--77, 13(2)78--90, 13(2)91--96, 13(2)z--z, 13(4)49--62, 17(2)67--81, 17(3)57--66, 17(3)97--108, 17(5)51--56, 17(5)71--76, 17(5)88--92, 18(6)39--44, 18(6)217--218, 23(1)11--11, 27(3)7--7, 27(3)27--40, 27(3)59--62, 29(3)13--14, 30(1)86--90, 30(1)91--103, 30(1)135--146, 31(2)15--22, 32(2)9--16, 38(1)19--28, 40(1)85--90, 40(2)92--95, 42(1)81--85, 42(1)100--104
Processing, Multi-, 0(0)202--212
processing, multi-, 26(3)9--14
PROCESSOR, 5(1)55--60, 7(3)84--93, 7(7)55--76, 9(2)118--128
processor, 0(0)77--89, 4(6)32--34, 4(6)35--43, 5(1)49--54, 5(1)79--88, 5(3)45--56, 7(3)84--93, 7(5)42--50, 7(5)51--62, 7(7)55--76, 8(4)83--96, 8(5)75--86, 8(6)57--71, 8(7)65--79, 8(7)104--107, 9(2)45--51, 9(2)118--128, 9(5)60--82, 9(7)102--113, 10(1)83--91, 10(1)97--99, 10(1)131--139, 10(3)126--136, 10(6)84--96, 10(8)130--144, 11(7)274--284, 12(1)53--64, 12(2)102--110, 12(5)77--83, 12(6)59--74, 12(6)81--87, 13(2)54--64, 14(z)54--73, 15(0)vii--242, 17(3)3--16, 17(3)17--29, 17(3)30--35, 17(3)36--44, 17(5)18--23, 17(5)24--26, 17(5)45--50, 17(5)88--92, 17(5)93--99, 23(1)11--11, 25(1)43--47, 26(3)9--14, 27(2)75--81, 27(3)7--7, 27(3)41--50, 27(3)59--62, 29(3)11--12, 29(3)13--14, 29(3)79--84, 30(1)16--25, 30(1)62--67, 30(1)86--90, 30(1)125--134, 31(3)15--16, 31(3)19--26, 32(3)13--14, 32(3)63--70, 33(1)128--133, 33(2)14--32, 33(2)33--39, 33(2)59--65, 33(3)23--36, 33(3)37--40, 36(1)25--28, 39(1)71--71, 41(2)66--70, 42(1)95--99, 43(1)106--110
processor, https://www.draper.com/explore-solutions/inherently-secure-, 39(1)71--71
processor, multi-, 7(7)55--76, 30(1)86--90
processor, pre-, 1(4)55--58
processor, single-, 27(2)29--36, 27(3)7--7, 29(3)13--14, 30(1)86--90, 33(1)53--63
processor, two-, 12(2)97--101
processors, co-, 10(4)159--165
processors, multi-, 10(9)29--30
Processors, Pre-, 1(4)55--58
processor/time/communication, 10(6)68--83
Procter, Sam, 39(1)50--62, 39(1)63--70
Procter:2020:AEL, 39(1)63--70
Procter:2020:ALS, 39(1)50--62
procurement, 27(3)5--6
produce, 17(3)97--108, 23(1)45--52, 26(3)61--70, 27(3)51--58, 27(3)99--99, 29(1)19--22, 31(3)7--8, 36(2)9--17, 40(2)48--50, 43(1)100--105
produced, 17(3)67--86, 29(1)19--22, 29(2)15--19
producing, 23(3)16--31, 27(3)99--99, 40(2)48--50
product, 0(0)xvi--431, 0(0)24--39, 5(2)229--240, 8(3)81--83, 9(4)30--42, 9(4)84--86, 10(5)48--61, 16(5)59--69, 21(4)39--46, 21(4)99--106, 28(1)76--82, 33(3)85--86, 34(3)47--60, 36(2)31--38
production, 14(z)16--25, 16(6)55--72, 17(6)91--97, 17(6)98--107, 32(3)27--34, 37(2)40--42
production, post-, 43(1)94--99
productive, 31(3)11--12, 40(2)73--75
productivity, 0(0)40--49, 0(0)102--118, 8(4)35--46, 11(1)92--95, 14(3)39--60
Productivity Solutions, Inc., Software, 8(4)104--118
products-updates, 18(4)22--31
PROFESSION, 5(1)32--41, 8(3)115--122
Profession, 6(1)29--40
profile, 10(3)101--110, 17(5)5--7, 17(5)27--32, 17(5)z--z, 18(6)1--6, 19(2)12--14, 19(2)28--32, 19(3)15--21, 19(4)49--52, 20(4)29--31, 21(1)5--8, 21(1)27--32, 21(1)56--61, 21(1)75--78, 21(1)96--104, 21(3)76--79, 22(4)10--21, 22(4)28--36, 22(4)113--119, 23(4)52--54, 23(4)55--57, 23(4)65--73, 24(2)1--74, 26(2)69--74, 27(2)29--36, 29(3)17--18, 29(3)105--114, 30(1)45--55, 30(1)86--90, 31(1)9--10, 32(3)81--94, 33(1)15--23, 33(1)24--31, 33(1)53--63, 33(1)146--149, 33(2)33--39, 33(2)66--74, 33(2)109--114, 34(3)39--46, 35(1)32--37, 35(1)38--45, 35(1)74--79, 36(1)35--38, 36(1)51--62, 36(1)63--67, 36(1)98--100, 37(2)51--58, 38(1)34--39, 38(1)62--65, 43(1)106--110
profile, highest-, 27(3)5--6
profit, 0(0)24--39, 17(3)30--35, 43(1)42--45
profit, non-, 29(3)105--114
program'',being, 40(2)48--50
program, inter-, 10(9)85--93
program, source-, 32(3)25--26
Program-, 9(7)114--128
program-driven, 11(1)102--113
Program-Example, 9(7)114--128
program-verification, 32(3)9--10
programmable, 17(5)57--64, 39(1)71--71
programme, 27(3)5--6
programmed, 5(1)55--60, 9(6)97--103, 12(6)75--80
programmed, Ada95-, 21(4)53--60
programmer, 0(0)40--49, 6(3)71--80, 6(6)49--53, 8(4)83--96, 10(9)60--64, 11(3)49--60, 11(8)177--z, 13(1)63--75, 14(4)76--80, 14(6)62--72, 16(1)44--45, 16(3)39--51, 17(2)82--91, 17(5)77--82, 19(3)39--46, 23(1)30--34, 26(3)29--34, 27(3)2--2, 29(1)51--52, 29(1)66--68, 29(2)37--39, 29(2)56--60, 29(2)65--67, 29(3)5--6, 29(3)91--102, 30(1)16--25, 30(1)125--134, 32(3)9--10, 32(3)95--96, 33(2)40--48, 33(3)13--14, 34(3)105--106, 35(1)17--25, 35(1)46--58, 37(2)40--42, 42(1)76--78
programming, concurrent-, 29(3)1--2, 31(3)9--10
programming-in-the-large, 6(1)90--93
PROGRAMS, 7(6)107--109
programs., 27(3)1--1
progress, 23(1)1--9, 23(1)22--26, 27(3)59--62, 30(2)13--18, 30(2)19--24, 33(1)45--52, 33(3)85--86, 34(3)69--70, 40(1)74--78, 40(2)70--72
progress, in-, 27(3)2--2
progression, 0(0)16--23
progressively, 32(3)3--4
prohibiting, 27(3)89--96
prohibits, 36(1)51--62
project-wide, 12(1)43--52
projected, 26(2)12--22, 26(3)71--74
projets, 42(1)68--75
Prolog, 4(5)49--58
prominent, 40(1)60--63
promise, 28(1)96--102, 29(3)119--120, 33(3)43--46, 34(3)61--68
promising, 17(3)67--86, 28(1)92--95, 31(3)19--26, 38(1)34--39
promote, 0(0)113--116, 17(3)3--16, 17(3)30--35, 29(3)45--60, 36(2)22--26
promoted, 0(0)10--15
prone, error-, 10(4)25--31, 13(3)74--85, 29(2)43--45, 29(2)56--60
Pronk, C., 7(5)42--50
Pronk, C., see Huijsman, R. D.
pronounce, 14(z)93--98
proof, 0(0)128--137, 10(4)25--31, 14(z)74--81, 23(1)1--9, 27(3)11--26, 27(3)51--58, 27(3)89--96, 29(3)9--10, 29(3)85--86, 31(3)7--8, 32(3)27--34, 33(1)157--168, 33(3)1--2, 33(3)21--22, 33(3)51--64, 33(3)85--86, 34(3)19--28, 40(1)74--78, 40(1)91--96
proof, tamper-, 40(1)91--96
proof-of-concept, 23(1)12--21
proofed, 33(1)157--168
propagated, 29(2)53--55
propagation, 0(0)263--272, 18(5)97--103, 19(3)203--210, 20(1)58--66, 21(3)8--10, 33(3)65--84, 36(2)39--46
proper, 7(5)104--104
properly, 12(6)81--87, 29(2)53--55, 31(2)36--39, 31(2)40--43, 31(3)35--36, 33(1)128--133
property, 11(2)115--127, 13(2)37--43, 14(z)74--81, 16(4)57--72, 17(5)33--34, 23(1)27--29, 23(1)30--34, 24(1)17--24, 26(2)12--22, 26(3)51--60, 27(3)8--8, 28(1)96--102, 29(2)15--19, 29(2)65--67, 30(1)45--55, 31(2)36--39, 31(2)40--43, 31(3)1--2, 31(3)7--8, 31(3)39--46, 31(3)47--60, 31(3)61--68, 32(3)15--22, 32(3)53--62, 33(2)49--58, 33(2)109--114, 33(3)1--2, 33(3)15--18, 33(3)23--36, 33(3)43--46, 33(3)51--64, 33(3)85--86, 34(3)17--18, 36(2)9--17, 36(2)27--30, 36(2)47--48, 37(2)27--29, 37(2)30--31, 37(2)32--33, 37(2)40--42, 38(2)97--108, 39(2)29--34, 40(1)85--90, 42(2)45--54
property-preservation, 40(1)74--78
Proponents, 13(3)86--87
proportional, 32(3)3--4
proposal, 4(3)44--52, 7(5)96--99, 10(9)75--84, 11(6)54--60, 11(7)9--46, 11(7)140--165, 12(6)59--74, 12(6)75--80, 21(1)17--18, 21(1)105--110, 27(2)37--40, 27(2)75--81, 27(3)99--99, 30(1)73--85, 30(1)91--103, 30(1)104--115, 33(1)53--63, 33(1)101--115, 33(1)116--127, 33(2)14--32, 33(2)59--65, 33(2)97--108, 35(1)46--58, 36(1)29--34, 38(1)14--18, 38(1)29--33, 38(1)34--39, 38(1)41--54, 38(1)74--76, 40(2)92--95, 40(2)96--102
propose, 0(0)156--171, 12(6)75--80, 13(2)37--43, 26(2)38--47, 29(3)31--44, 30(1)16--25, 30(1)33--44, 30(1)45--55, 30(1)55--61, 30(1)62--67, 30(1)86--90, 32(3)97--102, 33(1)15--23, 33(1)32--44, 33(1)93--100, 33(2)49--58, 33(2)75--86, 33(2)97--108, 33(3)23--36, 34(3)39--46, 34(3)87--96, 35(1)26--31, 35(1)80--92, 36(2)60--68, 39(2)29--34, 40(2)48--50
proposed, 0(0)48--56, 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)217--243, 12(1)43--52, 12(1)53--64, 12(2)91--96, 12(5)59--63, 12(6)50--58, 12(6)75--80, 12(6)81--87, 13(2)65--77, 13(3)88--90, 15(4)36--45, 17(2)29--54, 17(2)55--62, 26(1)45--55, 27(2)15--17, 27(2)18--22, 27(2)23--28, 27(2)37--40, 27(2)59--60, 27(2)82--87, 27(2)90--95, 27(3)8--8, 27(3)41--50, 29(3)73--78, 29(3)103--104, 30(1)33--44, 30(1)91--103, 30(1)104--115, 30(1)135--146, 31(2)15--22, 31(3)19--26, 32(2)9--16, 33(1)116--127, 33(2)14--32, 33(2)49--58, 33(3)23--36, 34(3)29--38, 36(1)9--24, 36(1)25--28, 36(1)68--76, 38(1)14--18, 38(1)41--54, 38(1)74--76, 40(1)91--96, 40(2)96--102, 43(1)42--45
proposing, 28(1)96--102
proprietary, 10(3)38--58
protect, 13(3)88--90, 33(3)43--46, 37(2)40--42
protected, 0(0)51--66, 10(9)17--28, 10(9)29--30, 10(9)z--z, 11(6)49--53, 11(6)z--z, 12(1)53--64, 12(6)59--74, 12(6)75--80, 12(6)81--87, 13(2)91--96, 13(2)z--z, 13(3)91--95, 14(5)71--79, 15(1)50--63, 15(1)64--69, 15(4)46--49, 16(5)48--58, 17(5)100--105, 18(6)39--44, 18(6)229--239, 18(6)240--245, 18(6)287--293, 20(2)38--56, 21(1)105--110, 22(2)11--44, 22(4)66--71, 25(1)43--47, 26(1)56--63, 27(1)24--39, 27(2)18--22, 27(2)23--28, 27(2)82--87, 29(1)54--56, 29(1)58--60, 29(3)13--14, 29(3)61--72, 31(2)33--35, 33(1)24--31, 33(1)32--44, 33(2)66--74, 35(1)9--16, 36(1)63--67, 38(1)29--33
Protecting, 17(6)70--77
protection, 16(3)52--55, 17(6)70--77, 31(3)7--8, 33(3)43--46, 35(1)74--79, 37(2)43--50
Protectionash, 37(2)43--50
protection/isolation, 37(2)43--50
protocol, 7(6)15--17, 8(7)20--31, 8(7)35--38, 10(3)126--136, 14(5)80--87, 15(6)46--56, 17(5)18--23, 17(5)88--92, 23(1)27--29, 27(1)24--39, 27(2)18--22, 30(1)116--124, 31(2)9--14, 31(3)3--4, 32(3)11--12, 32(3)81--94, 33(1)32--44, 33(1)101--115, 33(1)138--145, 33(2)49--58, 33(2)59--65, 33(2)123--125, 33(3)3--4, 33(3)11--12, 34(3)81--86, 35(1)9--16, 36(1)29--34, 36(1)91--93, 37(2)51--58, 38(1)29--33, 38(1)70--73, 40(2)65--69, 41(2)66--70, 43(1)58
prototype, 0(0)1--9, 0(0)40--49, 0(0)77--89, 4(1)74--87, 7(2)58--72, 9(5)109--114, 10(6)68--83, 11(7)217--243, 14(z)26--35, 23(1)27--29, 23(2)22--31, 27(3)89--96, 29(3)23--30, 29(3)45--60, 29(3)87--90, 31(3)11--12
prototyped, 29(3)45--60
prototyping, 0(0)viii--171, 0(0)40--49, 2(4)68--75, 8(7)7--11, 10(1)140--159, 14(z)26--35, 39(1)35--49
proud, 19(4)32--36
provable, 31(3)81--90
provably, 28(1)96--102, 43(1)94--99
prove, 28(1)96--102, 32(3)9--10, 32(3)15--22, 33(3)9--10, 33(3)15--18, 36(2)27--30, 42(1)65--67
proved, 32(3)53--62, 33(1)157--168, 33(3)21--22, 36(2)27--30, 36(2)47--48
proven, 17(1)41--53, 30(1)86--90, 32(3)15--22, 34(3)71--80
prover, 33(3)85--86, 34(3)69--70
prover, theorem-, 32(3)25--26
provided, 0(0)51--66, 13(3)88--90, 17(1)41--53, 23(1)11--11, 23(1)22--26, 26(1)31--44, 26(2)48--59, 27(2)18--22, 27(2)23--28, 27(2)59--60, 27(3)79--82, 28(1)24--30, 29(1)54--56, 29(2)56--60, 29(3)5--6, 29(3)91--102, 31(2)33--35, 31(3)3--4, 32(3)23--24, 32(3)73--80, 33(1)9--14, 33(1)24--31, 33(3)43--46, 34(3)1--2, 35(1)74--79, 38(1)55--57, 43(1)64--68
provider, 31(3)3--4, 32(3)11--12, 33(3)11--12
providing, 0(0)62--76, 12(6)47--49, 12(6)81--87, 26(3)61--70, 27(2)61--66, 27(3)8--8, 30(1)135--146, 31(3)3--4, 32(3)3--4, 32(3)63--70, 32(3)103--104, 33(2)97--108, 36(1)68--76, 36(2)22--26, 36(2)58--59, 42(2)114--118, 43(1)59--63
proving, 27(3)89--96, 29(3)21--22, 29(3)85--86, 32(3)25--26, 33(3)1--2, 33(3)3--4, 33(3)85--86, 36(2)27--30, 42(1)65--67
provision, 27(2)48--52
Pruitt, A., 0(0)102--118
Pruitt, A., see Moore, M.
pruning, 11(3)83--90
PSEs, 8(4)70--82
pseudo-Ada, 10(1)97--99
pseudo-interrupts, 10(9)141--146
PSP, 18(6)219--228
PSP/TSP, 29(3)9--10
pthread, 26(3)35--42
PTHREADS, 10(9)133--140
Pthreads, 10(9)133--140, 35(1)74--79
public, 0(0)10--15, 10(3)126--136, 17(4)17--30, 17(4)59--65, 27(3)69--70, 31(2)15--22, 32(2)9--16
public-at-large, 31(3)35--36
publications, 6(2)109--110, 8(3)81--83
publicity, 17(3)3--16
publicly, 34(3)47--60
publish, 23(1)11--11
published, 0(0)336, 17(6)65--69, 29(3)103--104, 32(3)7--8, 35(2)14--14, 36(2)39--46, 39(1)71--71
Publisher, 26(2)12--22, 26(3)71--74
publishing, 9(5)123--128, 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
Pucci, Vincent, 32(3)35--42, 37(1)26--30
Pucci, Vincent, see Schonberg, Edmond
Pucci:2017:GHT, 37(1)26--30
Puente, Juan A., de la, 13(2)44--53
Puente, Juan A. de la, 19(2)73--77, 21(1)85--90, 21(3)76--79, 27(2)53--58, 27(2)96--97, 30(3)37--40, 33(1)128--133, 33(2)33--39, 35(1)38--45, 36(1)63--67, 38(1)29--33, 40(2)92--95
Puente, Juan A. de la, see Bradley, Peter J., see Garrido, Jorge, see Pulido, José A., see Ruiz, José, \see{Zamorano, Juan
Puente, Juan Ade la, 38(1)61--61
Puente, Juan Antonio de la, 17(5)18--23, 21(1)27--32, 22(4)53--57, 22(4)120--122, 22(4)123--124, 23(4)55--57, 23(4)82--86, 33(1)150--156, 33(2)131--132, 35(1)95--96, 36(1)103--106
Puente, Juan Antonio de la, see Alonso, Alejandro, see Burns, Alan, \see{Dobbing, Brian, see González Harbour, Michael, see Michell, Stepehen, \see{Real, Jorge, see Zamorano, Juan
Puente, Juan de la, 17(5)16--17
Puente, Juan de la, see Wellings, Andy
Puk, Richard F., 8(4)97--103
Puk:1988:RMI, 8(4)97--103
Pukite, Paul, 26(3)35--42, 27(3)27--40
Pukite, Paul, see Ludwig, Luke
Pukite, Paul R., 13(3)74--85, 14(1)30--37
Pukite:1993:AIC, 13(3)74--85
Pukite:1994:AMW, 14(1)30--37
Pukite:2007:GDE, 27(3)27--40
Pulido, José, 27(2)61--66, see Urueña, Santiago
Pulido, José A., 27(2)53--58
Pulido:2007:ACP, 27(2)53--58
Pullan, Wayne, 15(2)31--39
Pullan:1995:PAS, 15(2)31--39
pulse, 23(1)11--11
pumps, 32(3)51--52
pure, 39(2)35--40
purely, 12(1)43--52, 33(1)64--83, 33(2)75--86
purpose, 0(0)16--23, 1(4)27--31, 9(5)89--100, 9(7)114--128, 10(9)70--74, 11(3)73--82, 11(3)z--z, 13(2)44--53, 13(5)32--42, 13(6)66--158, 17(1)41--53, 17(5)33--34, 26(3)61--70, 27(3)75--78, 28(1)83--87, 29(3)79--84, 30(1)45--55, 34(3)47--60, 34(3)87--96, 34(3)97--102, 35(2)14--14, 38(2)43--57, 41(1)83--86
PURPOSE, SPECIAL-, 7(5)113--127, 7(6)13--14, 7(6)15--17, 7(6)18--20, 7(6)33--39, 7(6)40--42, 7(6)49--50, 7(6)77--78, 7(6)113--115, 7(6)119--120, 7(6)124--126, 8(1)91--107, 8(3)84--86, 9(7)91--101, 9(7)102--113
purpose-built, 34(3)1--2
Purser, Lynn, 11(4)91--98
Purser:1991:AAL, 11(4)91--98
pursued, 32(3)95--96
pursuing, 0(0)90--101
push, 0(0)367--375, 33(3)9--10
putting, 27(3)100--100, 29(3)19--20
PVS, 29(3)85--86
PV/sub, 14(5)71--79
Pyle, I. C., 3(5)63--68
Pyle:1984:PSA, 3(5)63--68
pyramids, 14(4)36--42
Pyster, Arthur, 4(5)59--64
Pyster:1985:EEE, 4(5)59--64
python, 29(3)19--20, 32(2)45--46, 32(2)47--49, 39(2)35--40, 40(2)65--69, 40(2)73--75, 41(2)77--80, 42(1)76--78
Python-based, 29(3)91--102