Index file section P for compsurv.bib
Last update: Fri May 17 02:01:25 MDT 2024
Return to index directory
P
-
P, 26(4)421--461
-
P*, 21(3)261--322
-
P-completeness, 27(4)471--495
-
P-PROLOG, 21(3)261--322
-
P-prolog, 21(3)413--510
-
p2p, 36(4)335--371
-
Paakki, Jukka, 27(2)196--255
-
Paakki:1995:AGP, 27(2)196--255
-
PAcceptor, 32_1es_32_32
-
pace, 16(3)265--285
-
Pachet, François, 32_1es_13_13, see Roy, Pierre
-
Paciorek, Joseph, 10(4)465--502, 11(3)280--280
-
Paciorek, Joseph, see Carlbom, Ingrid
-
package, 4(2)65--79, 10(3)333--342, 10(4)389--443, 10(4)445--463,
14(2)245--286, 18(2)197--222, 20(2)115--146, 20(4)227--269,
25(1)5--43, 33(1)89--134
-
packaging, 17(4)471--522
-
packet, 7(3)129--173, 23(2)221--264, 34(3)357--374, 37(3)238--275,
44(1)5--5, 45(1)9--9
-
packet-switched, 7(3)129--173, 10(3)343--351
-
packet-switching, 18(4)365--396, 31(4)360--404
-
packing, 29(2)171--209, 36(4)422--463
-
page, 21(3)323--357, 34(4)469--503, 41(2)12--12, 43(1)3--3, 43(4)26--26
-
paged, 15(1)45--79
-
PageRank, 34(4)469--503
-
pagination, 31(2)158--221
-
Paging, 4(1)1--3
-
Pai, Dinesh, 34(4)550--572
-
Pai, Dinesh, see Agarwal, Pankaj K.
-
Pai, Tanusree, 37(1)29--41
-
Pai, Tanusree, see Tolone, William
-
paid, 21(3)359--411, 34(4)504--549
-
Paige, Richard F., 40(1)3--3
-
Paige, Richard F., see Ramsin, Raman
-
Paige, Robert, 28_4es_170_170
-
Paige:1996:FDP, 28_4es_170_170
-
Paindaveine, Yves, 32(3)241--299
-
Paindaveine, Yves,
see Milo{\'\j}i{\v{c}}i{\'c}, Dejan S.
-
pair, 16(1)3--41, 18(3)231--276, 43(3)20--20
-
pairwise, 39(1)1--1
-
Pakzad, 8(1)43--66
-
Pal, Partha, pratim, 32_1es_29_29
-
Pal, Partha Pratim, 32_1es_29_29
-
Pal:2000:FIC, 32_1es_29_29
-
Palmer, Mark, 31_2es_14_14
-
Palmer, Mark, see Thompson, Craig
-
Palmidessi, Catuscia, 31_3es_11_11
-
Palmidessi, Catuscia, see Miller, Dale
-
palmprint, 44(1)2--2
-
Palsberg, J., 28_4es_161_161
-
Palsberg, Jens, 28(2)358--359, 28(4)644--652, 28_4es_200_200
-
Palsberg, Jens, see Hankin, Chris
-
Palsberg:1996:CTO, 28_4es_161_161
-
Palsberg:1996:SEI, 28_4es_200_200
-
Palsberg:1996:TIO, 28(2)358--359
-
Papaleo, L., 40(4)12--12
-
Papaleo, L., see Biasotti, S.
-
paradox, 4(3)169--178, 35(1)1--28
-
ParAlfl, 21(3)261--322
-
Parallel, Digital-, 21(2)223--250, 21(3)323--357
-
parallel, series-, 41(1)4--4
-
parallelash, 15(2)95--133
-
parallelism, 9(1)29--59, 18(4)365--396, 21(3)261--322, 21(3)323--357,
21(3)359--411, 21(3)413--510, 25(2)73--170, 26(2)145--185,
26(2)187--206, 26(3)255--294, 26(3)295--336, 26(4)345--420,
27(2)196--255, 27(2)280--283, 27(2)284--286, 27(3)367--432,
28(1)51--54, 28(1)67--70, 30(2)123--169, 31(4)406--471, 32(1)43--79,
32_1es_2_2, 32_1es_31_31, 32(3)300--335, 32(4)422--469,
35(1)29--63
-
parallelism, AND-, 26(3)295--336
-
parallelism, OR-, 21(3)323--357, 26(3)295--336
-
parallelism., 27(3)367--432
-
parallelisms, AND-, 26(3)295--336
-
parallelization, 25(2)73--170, 31(4)406--471, 31_4es_4_4
-
parallelized, 27(3)367--432
-
Parallelizing, 26(3)295--336, 28(1)261--262
-
parameter, 3(3)115--146, 7(2)73--93, 9(3)173--204, 10(3)225--261,
10(3)263--280, 17(4)471--522, 20(3)191--221, 20(4)227--269,
24(3)293--318, 39(4)12--12, 40(3)8--8, 43(2)11--11, 43(3)18--18
-
parameterization, 17(4)471--522
-
parameterization, arc-length-, 43(4)29--29
-
parameterized, 34(3)313--356
-
parameters/dimensions, 39(4)12--12
-
parametric, 15(4)351--374, 17(4)471--522, 20(3)191--221, 30(4)412--458,
33(2)135--176, 45(1)9--9
-
parametrized, 40(4)12--12
-
Parasight, 21(4)593--622
-
Pareschi, Remo, 28(2)297--299
-
Pareschi, Remo, see Andreoli, Jean-Marc
-
Paris, 28(1)3--15
-
Parker, R. Gary, 41(1)4--4
-
Parker, R. Gary, see Borie, Richard B.
-
parking, 41(1)7--7
-
Parkinson, Matthew, 44(3)16--16
-
Parkinson, Matthew, see Hatcliff, John
-
PARLOG, 21(3)261--322, 21(3)413--510
-
ParMod, 21(3)261--322
-
Parris, Matthew G., 43(4)31--31
-
Parris:2011:PAF, 43(4)31--31
-
parser, 6(2)99--124, 11(2)79--94
-
parsing, 6(2)99--124, 24(4)377--439, 36(2)122--158
-
Parsons, Simon, 43(2)10--10
-
Parsons, Thomas W., 9(4)315--315
-
Parsons:1977:SFF, 9(2)137--164, 9(4)314--314, 9(4)315--315,
9(4)316--317
-
Parsons:2011:ABG, 43(2)10--10
-
part, 8(3)301--303, 8(4)355--357, 14(3)321--352, 14(3)353--415,
16(2)153--185, 17(1)5--47, 17(2)163--190, 18(1)67--108,
18(4)323--364, 21(1)5--92, 21(2)163--221, 22(4)321--374,
29(3)264--311, 30(2)123--169, 30(2)170--231, 31_2es_5_5,
31_2es_6_6, 33(4)470--516, 34(3)357--374, 34(3)375--408,
35(1)29--63, 36(3)219--262, 39(3)7--7, 41(4)19--19, 44(4)21--21,
45(1)12--12
-
PART-OF, 22(4)375--408
-
part-recognition, 18(1)67--108
-
partial, 13(2)149--183, 15(1)45--79, 21(3)261--322, 21(4)515--556,
24(2)195--212, 25(3)339--369, 28(2)329--332, 28(3)480--503,
28_4es_116_116, 30(3)283--283, 30(3)285--290, 30_3es_105_113,
30_3es_11_11, 30_3es_13_13, 30_3es_15_15, 30_3es_16_16,
30_3es_17_17, 30_3es_20_20, 30_3es_21_21, 30_3es_22_22,
30_3es_24_24, 30_3es_2_2, 30_3es_4_4, 41(1)4--4
-
partially, 13(2)223--242, 30(3)374--410, 30_3es_5_5, 45(2)14--14
-
participant, 31_2es_5_5, 31_2es_6_6
-
participate, 41(2)11--11
-
participating, 41(2)10--10, 43(2)8--8
-
particularly, 8(4)391--407, 14(1)73--92, 32(4)422--469, 39(4)12--12,
43(1)1--1, 45(1)4--4
-
partition, 23(3)319--344, 24(1)63--113, 25(4)375--414, 26(4)421--461,
41(3)14--14, 43(3)15--15
-
partitionable, 33(4)427--469
-
partitioned, 17(3)341--370, 25(4)415--436, 43(4)35--35
-
partitioning, 17(1)75--145, 18(1)39--65, 24(1)63--113, 25(1)5--43,
25(3)263--302, 26(3)255--294
-
partners, 42(3)11--11
-
Partsch, H., 15(3)199--236
-
Partsch:1983:PTS, 15(3)199--236
-
party, 34(4)504--549, 42(4)14--14
-
party, third-, 41(1)5--5
-
party, two-, 41(1)5--5
-
PASCAL, 14(1)73--92
-
Pascal, 14(1)73--92, 18(1)5--22, 21(3)261--322, 24(2)185--194
-
Pascal-FC, 21(3)261--322
-
Pascal-m, 21(3)261--322
-
Pascal+CSP, 21(3)261--322
-
Paschos, Vangelis T., 29(2)171--209
-
Paschos:1997:SAO, 29(2)171--209
-
Pasquale, Joseph, 28(4)679--690, 28_4es_210_210, 28_4es_215_215
-
Pasquale, Joseph, see Clark, David,
see Muntz, Richard R.
-
Pasquale:1996:TIC, 28_4es_215_215
-
passed, 4(3)179--196
-
passing, 3(3)115--146, 15(1)3--43, 21(3)261--322, 21(3)323--357,
23(1)49--90, 30(3)291--329, 30_3es_3_3, 31(1)1--26, 36(4)372--421
-
passing, message-, 21(3)323--357, 31(1)1--26, 34(3)375--408
-
passing, token-, 23(1)49--90
-
passion, 42(4)15--15
-
passive, 31_4es_26_26, 43(4)31--31
-
password, 44(4)19--19
-
patching, 44(3)11--11
-
Patel, Dilip, 32_1es_7_7
-
Patel, Dilip, see Wang, Yingwu
-
Patel, Ketan, Mayer-, 31_2es_2_2
-
patent, 37(2)138--163
-
path, 8(3)305--330, 9(4)259--272, 16(3)319--348, 24(3)219--291,
28_4es_18_18, 30(3)374--410, 30_3es_5_5, 32(2)109--143,
33(1)89--134, 33(2)209--271, 36(4)422--463, 39(3)7--7, 43(4)25--25
-
path-pushing, 19(4)303--328
-
Pathak, Chira G. V., 32_1es_20_20
-
Pathak, Chira G. V., see Kendall, Elizabeth A.
-
pathwidth, 41(1)4--4
-
patient, 37(4)277--315, 43(2)6--6, 43(3)16--16, 45(1)3--3
-
Patil, Suhas S., 7(4)175--175
-
Patil:1975:GEN, 7(4)175--175
-
Paton, Norman W., 31(1)63--103
-
Paton:1999:ADS, 31(1)63--103
-
Patt, Yale, 28_4es_33_33, 28_4es_99_99
-
Patt:1996:FCF, 28_4es_99_99
-
Patt:1996:MCA, 28_4es_33_33
-
PATTERN, 15(4)351--374, 17(1)75--145, 18(1)67--108, 24(1)5--61,
24(4)325--376, 25(1)5--43, 27(3)307--309, 27(3)433--467, 29(1)3--29,
29(3)264--311
-
pattern-matched, 14(4)573--592
-
Pattern-matching, 28(1)39--41
-
pattern-mining, 43(1)3--3
-
pattern-sensitive, 15(3)175--198
-
Patterson, David A., 26(2)145--185
-
Patterson, David A., see Chen, Peter M.
-
Paull, Marvin C., 18(3)277--316
-
Paull, Marvin C., see Ryder, Barbara G.
-
Pausch, Randy, 28(4)794--809, 37(2)83--137
-
Pausch, Randy, see Kelleher, Caitlin,
see Myers, Brad
-
pave, 44(4)24--24
-
paved, 40(2)5--5
-
Pawlikowski, Krzysztof, 22(2)123--170, 22(4)409--409
-
Pawlikowski:1990:CSS, 22(2)123--170, 22(4)409--409
-
Pawlikowski:1990:SSS, 22(2)123--170, 22(4)409--409
-
Pawlowski, Suzanne D., 35(2)132--190
-
Pawlowski, Suzanne D., see Robinson, William N.
-
paying, 35(1)1--28
-
Payton, David, 31_2es_8_8
-
Payton:1999:DCD, 31_2es_8_8
-
Pazandak, Paul, 31_2es_14_14
-
Pazandak, Paul, see Thompson, Craig
-
PCL, 21(3)261--322
-
PCs, 23(1)5--48, 32(4)422--469
-
pdbx, 21(4)593--622
-
Pearce, Michael, 45(2)17--17
-
Pearl, Judea, 28(1)89--92
-
Pearl:1996:DMU, 28(1)89--92
-
Peckham, Joan, 20(3)153--189
-
Peckham:1988:SDM, 20(3)153--189
-
peculiarities, 35(2)191--221
-
pedagogical, 3(3)115--146
-
peer', 'peer-to-, 36(4)335--371
-
peer, Peer-to-, 36(4)335--371, 43(2)8--8
-
peer, peer-to-, 36(4)335--371, 38(1)3--3, 39(1)1--1, 44(2)9--9
-
peer-to-peer, 36(4)335--371, 38(1)3--3, 39(1)1--1, 43(2)8--8, 44(2)9--9
-
Peled, Doron, 28(4)626--643, 28_4es_122_122
-
Peled, Doron, see Clarke, Edmund M.
-
Peled, Sariel, Har-, 34(4)550--572
-
Peled:1996:UIF, 28_4es_122_122
-
penalty-incurring, 9(1)61--102
-
Peng, Tao, 39(1)3--3
-
Peng:2007:SNB, 39(1)3--3
-
Penker, 43(1)4--4
-
Pennsylvania, 17(3)341--370
-
Pennycook, Bruce W., 17(2)267--289
-
Pennycook:1985:CMI, 17(2)267--289
-
people, 14(4)533--551, 19(1)5--46, 21(1)5--92, 21(3)261--322, 23(1)5--48,
25(4)375--414, 25(4)437--482, 28(1)3--15, 28(3)504--517,
31_2es_9_9, 36(1)35--67, 37(1)29--41, 37(2)83--137, 37(4)316--344,
38(4)11--11, 40(2)5--5, 43(3)21--21
-
PEPE, 7(4)215--255
-
per, 16(1)71--98, 24(2)195--212, 34(2)263--311, 43(3)23--23, 44(3)13--13
-
perceived, 11(2)139--181, 31(4)337--359, 31_4es_2_2
-
perceived, user-, 34(2)263--311
-
percent, 10(3)333--342
-
perception, 35(4)399--458
-
Perceptual, 17(1)75--145
-
Pereira, Fernando, 28_4es_9_9
-
Pereira:1996:LCA, 28_4es_9_9
-
perfect, 16(3)287--318, 26(1)7--86
-
perform, 17(2)163--190, 18(4)323--364, 21(2)163--221, 24(1)63--113,
24(4)441--476, 26(4)345--420, 27(3)433--467, 33(1)89--134,
34(2)171--210, 37(3)238--275, 39(3)8--8, 41(1)6--6, 41(4)20--20,
42(1)4--4, 45(1)12--12
-
PERFORMANCE, 17(3)341--370, 18(4)365--396, 20(1)5--28, 20(4)227--269,
22(2)83--121, 22(4)299--319, 23(2)221--264, 25(3)339--369,
26(1)121--139, 28(3)518--564, 29(2)128--170, 30(2)123--169
-
Performance, Digital-, 22(2)83--121
-
Performance, High-, 26(2)145--185, 26(4)345--420
-
performance, high-, 26(3)255--294, 26(4)345--420,
27(2)292--295, 28(3)518--564, 28_4es_29_29, 32_1es_39_39,
32(3)241--299, 35(1)29--63, 38(1)3--3
-
Performance, Systems-, 22(2)83--121
-
performed, 11(4)371--395, 14(3)417--472, 21(3)323--357, 35(2)97--113,
38(4)13--13, 41(1)1--1, 43(2)6--6, 45(1)12--12
-
performers, 17(2)267--289
-
performing, 13(3)341--367, 21(2)163--221, 26(2)187--206, 44(3)15--15,
45(1)1--1
-
perfunctory, 3(4)175--216
-
perhaps, 7(3)129--173, 28(3)480--503
-
period, 17(1)5--47, 21(3)359--411, 43(2)6--6, 43(4)24--24
-
Period, Long-, 11(4)357--370
-
periodicity, 9(3)173--204
-
periphery, 44(3)15--15
-
permanent, 15(3)175--198, 44(4)26--26
-
permissible, 8(4)359--389
-
permit, 13(2)149--183, 19(4)303--328, 23(1)91--124, 33(1)1--30,
39(1)2--2
-
permitting, 32(3)201--212
-
permutation, 9(2)137--164, 9(4)314--314, 9(4)315--315, 9(4)316--317
-
permuting, 33(2)209--271
-
Perplexed, 21(3)323--357
-
Perrott, R. H., 18(1)5--22
-
Perrott:1986:SL, 18(1)5--22
-
persist, 19(2)105--190
-
persistence, 19(2)105--190, 28_4es_156_156
-
persistent, 15(4)319--349, 30(2)232--282, 31(1)27--62, 37(2)138--163,
40(4)12--12, 41(1)7--7, 41(3)14--14
-
person, 35(4)399--458, 43(3)16--16, 43(4)27--27
-
personal, 23(1)91--124, 24(3)213--214, 25(4)437--482, 28_4es_46_46,
31_2es_9_9, 36(4)335--371, 43(1)2--2, 45(1)3--3
-
personalization, 44(1)4--4, 44(2)9--9
-
personalized, 39(4)10--10, 44(1)4--4
-
personnel, 31(2)105--115, 31_2es_1_1
-
pertaining, 25(1)5--43, 34(1)1--47, 34(2)211--262, 44(2)7--7
-
pertinent, 14(3)353--415
-
perturbation, 21(4)515--556
-
perturbation-based, 21(4)515--556
-
pervasive, 42(2)6--6
-
pervasiveness, 28_4es_188_188
-
pessimism, 18(2)165--195
-
pessimistic, 34(3)375--408, 37(1)42--81
-
Peter, 32(3)300--335
-
Peterson, James, 10(1)85--85
-
Peterson, James L., 9(3)223--252, 14(4)625--625, 17(4)379--418
-
Peterson, James L., see Quarterman, John S.
-
Peterson:1977:PN, 9(3)223--252, 10(1)84--85, 10(1)85--85
-
Peterson:1978:SFN, 9(3)223--252, 10(1)84--85, 10(1)85--85
-
Peterson:1982:SFI, 14(1)73--92, 14(4)625--625, 14(4)625--626
-
Petit, Jordi, 34(3)313--356
-
Petit, Jordi, see Díaz, Josep
-
Petitjean, Sylvain, 34(2)211--262
-
Petitjean:2002:SMR, 34(2)211--262
-
Petreschi, Rossella, 27(4)471--495
-
Petreschi, Rossella, see Greenlaw, Raymond
-
Petri, 9(3)223--252, 20(4)227--269, 32(1)43--79
-
Petriu, Dorina C., 45(1)2--2
-
Petriu, Dorina C., see Bernardi, Simona
-
Pettorossi, Alberto, 28(2)360--414, 28_4es_171_171, 30_3es_6_6
-
Pettorossi:1996:FDP, 28_4es_171_171
-
Pettorossi:1996:RST, 28(2)360--414
-
Pettorossi:1998:PSA, 30_3es_6_6
-
Pfenning, Frank, 30_3es_8_8
-
Pfenning, Frank, see Wickline, Philip
-
Phalp, 43(1)4--4
-
phase, 13(3)341--367, 31(1)1--26, 37(4)316--344, 41(1)5--5, 41(3)16--16,
43(4)28--28, 45(1)2--2, 45(1)10--10
-
phase, two-, 30(1)70--119
-
phenomena, 23(2)143--220, 25(4)437--482, 43(3)19--19
-
phenomenon, 22(2)83--121, 25(4)437--482, 43(2)6--6
-
Phillips, P. J., 35(4)399--458
-
Phillips, P. J., see Zhao, W.
-
philosophers, 26(1)7--86
-
philosophical, 19(3)201--260, 21(3)359--411
-
philosophy, 14(1)73--92, 31_2es_3_3, 31_4es_29_29, 40(1)3--3,
43(3)18--18
-
Phister, Jr., Montgomery, 10(1)83--83
-
Phister:1978:SFP, 9(3)205--221, 10(1)83--83, 10(1)83--84
-
phone, 37(2)138--163, 43(4)26--26
-
phonetics, 43(3)17--17
-
photogrammetry, 41(1)7--7
-
photograph, 43(4)27--27
-
photographic, 29(4)325--365
-
photometry, 17(1)75--145, 24(1)5--61
-
Phrases, 21(3)261--322, 21(3)323--357, 21(3)359--411, 21(3)413--510,
21(4)593--622
-
phylogenetic, 36(2)122--158
-
PHYSICAL, 28(1)93--96, 28(1)97--99, 29(3)264--311
-
physical, 8(4)359--389, 9(1)61--102, 12(2)179--211, 14(3)417--472,
15(1)45--79, 17(1)5--47, 17(1)49--74, 17(1)75--145, 18(1)67--108,
18(4)365--396, 19(3)201--260, 19(4)329--358, 20(3)191--221,
20(4)271--309, 22(3)267--293, 23(1)91--124, 23(2)143--220,
24(1)5--61, 25(2)73--170, 25(4)375--414, 28(1)93--96, 28(1)97--99,
28(1)113--115, 28(1)117--120, 28(1)129--131, 30(2)170--231,
31(2)117--157, 31(2)158--221, 31_2es_2_2, 32(3)300--335,
34(4)550--572, 35(1)64--96, 41(3)14--14, 42(1)4--4, 43(3)19--19,
44(4)24--24, 45(1)9--9
-
Physical-Data, 27(4)640--642
-
physical-layer, 45(1)6--6
-
physically, 11(4)371--395, 22(4)321--374, 26(2)187--206, 35(1)64--96
-
physicians, 45(1)3--3
-
physicists, non-, 32(3)300--335
-
physics, 10(1)3--18, 28(1)93--96, 28(1)97--99, 28_4es_109_109,
32(1)80--107, 32_1es_3_3, 32(3)300--335, 41(2)8--8
-
Picard, Rosalind W., 27(4)621--623
-
Picard:1995:CLS, 27(4)621--623
-
Picco, Gian Pietro, 43(3)19--19
-
Picco, Gian Pietro, see Mottola, Luca
-
pick, 16(3)265--285
-
picking', 'bin-, 18(1)67--108
-
picture, 1(3)147--176, 5(2)81--108, 24(4)325--376
-
Picture/Image, 29(4)325--365
-
Pierre, Guillaume, 36(3)291--334, 43(2)8--8
-
Pierre, Guillaume, see Sivasubramanian, Swaminathan,
see Urdaneta, Guido
-
Piessens, F., 34(4)450--468
-
Piessens, F., see Denys, G.
-
Piessens, Frank, 44(3)17--17
-
Piessens, Frank, see Younan, Yves
-
Pilegaard, Henrik, 44(1)3--3
-
Pilegaard, Henrik, see Nielson, Hanne Riis
-
Pilgram, 21(4)593--622
-
Pino, Jose A., 44(2)8--8
-
Pino, Jose A., see Antunes, Pedro
-
pinpointed, 19(4)329--358
-
pioneered, 8(4)391--407
-
pioneering, 37(3)238--275
-
pipe, 9(1)61--102
-
pipeline, 9(1)61--102, 10(4)508--508, 28(3)518--564, 35(1)29--63
-
pipelined, 35(1)29--63
-
pipelining, 9(1)61--102, 27(3)367--432
-
Pitoura, Evaggelia, 27(2)141--195
-
Pitoura:1995:OOM, 27(2)141--195
-
Pitrat, Jacques, 27(3)349--350
-
Pitrat:1995:ASD, 27(3)349--350
-
pivotal, 34(4)550--572, 45(1)1--1
-
Pixel, 17(1)75--145, 25(1)5--43
-
place, 8(2)191--276, 17(1)5--47, 18(3)231--276, 26(3)211--254,
30(2)123--169, 31(1)63--103, 31(2)105--115, 31_2es_1_1, 36(1)1--34,
36(3)219--262, 39(4)12--12, 41(1)1--1, 41(3)14--14, 45(2)14--14
-
place, not-in-, 37(2)138--163
-
placed, 4(4)221--239, 7(2)73--93, 16(4)353--398, 18(2)125--163,
18(2)165--195, 21(2)163--221, 29(3)264--311, 34(2)263--311,
41(2)8--8
-
placement, 14(3)473--530, 20(4)271--309, 23(2)143--220, 30(4)412--458,
41(1)7--7, 44(3)13--13
-
Plaice, John, 27(1)33--33
-
Plaice:1995:CSE, 27(1)33--33
-
plain, 33(3)374--425
-
plan, 16(2)111--152, 22(1)35--68, 25(2)73--170, 27(3)334--336,
27(3)351--352, 28(1)85--87
-
planar, 10(4)465--502, 27(4)471--495
-
plane, 23(3)345--405, 26(4)421--461, 27(3)433--467
-
plane-sweep, 20(4)271--309, 23(3)345--405
-
planet, 21(3)261--322
-
planners, 24(3)219--291
-
planning, 10(4)381--387, 17(2)163--190, 23(2)143--220, 23(3)345--405,
24(3)219--291, 27(3)334--336, 28(1)85--87, 28_4es_18_18,
28_4es_2_2, 29(3)264--311, 35(1)64--96, 41(1)7--7, 41(4)20--20,
43(4)36--36, 45(1)11--11
-
planning, motion-, 24(3)219--291
-
plant, 13(1)71--99
-
Plants--Flexible, 22(2)83--121
-
Platon, 21(3)261--322
-
Plauger, P. J., 6(4)303--319
-
Plauger, P. J., see Kernighan, Brian W.
-
plausible, 31(4)337--359, 31_4es_2_2
-
play, 24(2)131--183, 32(3)241--299, 34(4)550--572, 36(2)122--158,
38(3)7--7, 38(3)9--9, 40(4)12--12, 41(1)5--5, 43(3)13--13, 45(1)7--7
-
play, plug-and-, 31_2es_4_4
-
played, 41(3)17--17, 44(3)17--17
-
player, 37(2)138--163
-
Player, Two-, 21(2)137--161
-
playing, game-, 14(4)533--551
-
plea, 30(4)459--527
-
pleasant, 17(4)471--522
-
Pleisch, Stefan, 36(3)219--262
-
Pleisch:2004:AFT, 36(3)219--262
-
plethora, 31(4)406--471, 31_4es_4_4, 39(4)12--12
-
PL/I, 2(1)33--64
-
PLITS, 21(3)261--322
-
plug-and-play, 31_2es_4_4
-
plug-in, 31_2es_14_14
-
pluralist, 43(1)5--5
-
PLURIBUS, 10(2)123--165
-
plus, 11(2)121--137, 13(2)185--221
-
PML, 21(3)261--322
-
Pnueli, Amir, 28(4)607--625, 28(4)626--643
-
Pnueli, Amir, see Clarke, Edmund M.,
see Cleaveland, Rance
-
Podlipnig, Stefan, 35(4)374--398
-
Podlipnig:2003:SWC, 35(4)374--398
-
Point, Floating-, 23(1)5--48, 23(3)413--413, 24(3)319--319,
28(3)518--564
-
point, Floating-, 23(1)5--48, 28(3)518--564
-
point, floating-, 23(1)5--48, 28(3)518--564
-
pointed, 3(1)1--21, 4(3)149--167, 21(2)137--161
-
pointers, 21(4)557--591, 28(3)480--503, 43(2)10--10
-
pointing, 35(3)268--308
-
Poisson, 43(3)13--13
-
Polak, Wolfgang, 32(3)300--335
-
Polak, Wolfgang, see Rieffel, Eleanor
-
polar, 39(4)11--11
-
policy, 5(1)1--3, 7(4)173--173, 9(2)133--135, 10(2)89--92, 11(2)75--78,
12(2)117--120, 13(2)145--148, 14(2)151--157, 15(2)87--94,
16(2)103--110, 17(2)155--162, 18(2)117--124, 19(2)97--104,
20(2)77--84, 21(2)129--136, 22(2)73--81, 23(2)133--141,
24(2)117--125, 28_4es_110_110, 34(2)263--311, 34(4)450--468,
40(3)9--9, 42(4)14--14
-
policy-based, 44(4)26--26
-
political, 10(2)93--122, 15(4)319--349
-
politics, 15(4)319--349, 28_4es_109_109
-
polling, 20(1)5--28
-
pollution, 32(2)174--199
-
polygon, 29(4)325--365, 30(4)412--458, 45(2)15--15
-
polyhedra, 30(2)170--231, 30(4)412--458
-
polyhedral, 29(3)264--311
-
polymorphic, 17(4)471--522
-
polymorphism, 17(4)471--522, 19(2)105--190, 20(1)29--72, 42(1)2--2
-
polynomial, 32(3)300--335
-
polyphonic, 42(1)3--3
-
Polytechnic, 44(1)2--2
-
Pong, Fong, 29(1)82--126
-
Pong:1997:VTC, 29(1)82--126
-
Pooch, Udo W., 5(2)109--133, 6(2)125--151, 6(4)321--321
-
Pooch:1973:SIT, 5(2)109--133
-
Pooch:1974:CTD, 6(2)125--151, 6(4)321--321
-
Pooch:1974:TDT, 6(2)125--151, 6(4)321--321
-
POOL, 21(3)261--322
-
poor, 20(2)115--146, 32(2)144--173, 37(1)1--28
-
Popek, Gerald J., 11(4)331--356
-
Popek:1979:ESC, 11(4)331--356
-
Popov, Peter, 33(2)177--208
-
Popov, Peter, see Littlewood, Bev
-
popular, 4(4)241--259, 10(3)263--280, 16(3)319--348, 20(1)29--72,
22(3)183--236, 28_4es_175_175, 29(4)325--365, 32(2)109--143,
34(2)263--311, 37(1)42--81, 39(1)1--1, 40(2)4--4, 40(3)10--10,
42(1)4--4, 43(3)22--22, 43(4)34--34
-
popularity, 14(1)73--92, 44(3)14--14
-
popularized, 26(2)145--185, 29(3)213--239
-
populate, 41(4)19--19
-
population, 36(4)335--371
-
Porisini, Alberto, Coen-, 32_1es_26_26
-
port, 21(3)261--322, 30(2)123--169
-
portability, 10(4)381--387, 29(2)128--170, 29(3)213--239, 30(2)123--169,
32(3)213--240, 34(1)1--47
-
portable, 30(2)123--169, 31(2)117--157, 31_2es_2_2, 37(2)138--163,
41(1)7--7
-
portals, 34(1)90--169
-
portfolio, 30(1)28--69
-
Portinale, Luigi, 27(3)353--355
-
Portinale, Luigi, see Torasso, Pietro
-
portion, 17(3)295--311, 20(1)29--72, 29(3)264--311, 39(1)2--2
-
pose, 35(1)64--96, 35(4)399--458, 44(2)6--6
-
posed, 17(2)267--289, 37(3)238--275
-
position, 18(1)67--108, 18(2)165--195, 28_4es_112_112, 28_4es_23_23,
43(3)18--18
-
positive, 10(1)73--82, 29(2)171--209, 35(1)1--28, 35(3)223--267,
37(2)164--194, 45(1)4--4
-
possess, 40(3)9--9
-
possibility, 18(1)39--65, 19(3)261--296, 27(3)367--432, 30(2)123--169,
31(1)1--26, 37(4)345--387, 39(1)2--2, 40(4)12--12, 42(4)15--15,
45(1)9--9
-
possibly, 6(4)261--301, 21(3)413--510, 22(3)183--236, 32(3)213--240,
36(2)159--217, 40(4)12--12
-
post-conditions, 25(3)225--262
-
postconditions, 44(3)16--16
-
postponed, 37(4)316--344
-
postrelational, 25(2)73--170
-
Postview, 1(3)177--177, 2(3)243--243
-
potentially, 18(3)231--276, 32(4)384--421, 38(4)11--11, 41(1)2--2,
42(4)15--15, 44(2)6--6
-
Potkonjak, Miodrag, 31_2es_3_3
-
Potkonjak, Miodrag, see Dao, Son
-
power-law, 43(3)13--13
-
powerful, 4(2)97--147, 4(3)169--178, 10(1)35--71, 16(4)399--433,
17(4)471--522, 24(2)131--183, 34(4)409--449, 42(1)5--5, 42(4)15--15,
45(2)17--17
-
PPD, 21(4)593--622
-
PPDP, 42(4)14--14
-
PPI, 43(1)1--1
-
PPIs, 43(1)1--1
-
PPND16, 39(4)11--11
-
PPND7, 39(4)11--11
-
practical, 3(2)67--78, 9(1)29--59, 9(1)61--102, 9(4)259--272,
12(2)179--211, 13(2)185--221, 14(3)473--530, 15(1)45--79,
16(1)43--70, 17(2)235--265, 17(4)471--522, 21(2)137--161,
21(3)323--357, 21(4)557--591, 23(1)49--90, 24(3)219--291,
24(4)441--476, 25(2)73--170, 26(2)187--206, 26(4)421--461,
28_4es_16_16, 31(4)337--359, 31_4es_2_2, 32(1)43--79, 32_1es_2_2,
32(3)241--299, 33(1)89--134, 34(2)211--262, 34(3)375--408,
40(1)2--2, 40(3)9--9, 42(4)14--14
-
practitioner, 22(2)83--121, 31(3)264--323, 31_3es_3_3, 32(4)384--421,
33(3)273--321, 43(1)4--4
-
Prade, Henri, 27(3)328--330
-
Prade, Henri, see Dubois, Didier
-
Pradella, Matteo, 41(2)13--13
-
Pradella, Matteo, see Furia, Carlo A.
-
pragmatic, 11(4)371--395, 21(3)359--411, 28_4es_111_111, 28_4es_43_43
-
PRAM, 26(2)187--206
-
Prasad, Sanjiva, 28(4)607--625, 28_4es_53_53
-
Prasad, Sanjiva, see Cleaveland, Rance
-
Prasad:1996:MMC, 28_4es_53_53
-
Prather, Ronald E., 27(4)497--518
-
Prather:1995:DAH, 27(4)497--518
-
pratim Pal, Partha, 32_1es_29_29
-
pratimPal:2000:FIC, 32_1es_29_29
-
Pratt, Vaughan R., 28(4)607--625, 28_4es_54_54
-
Pratt, Vaughan R., see Cleaveland, Rance
-
Pratt:1996:CCO, 28_4es_54_54
-
pre, 25(3)225--262
-
pre-existing, 39(3)8--8
-
preamble, 45(1)7--7
-
precise, 8(2)191--276, 15(4)287--317, 17(1)75--145, 17(4)471--522,
24(2)195--212, 33(1)1--30, 33(1)89--134, 44(3)15--15
-
precisely, 15(4)287--317, 41(1)1--1, 44(3)16--16
-
precision, 17(2)191--233, 24(2)195--212, 36(1)35--67, 43(2)7--7
-
precision, high-, 35(1)64--96
-
preclassified, 34(1)1--47
-
precluded, 28(3)518--564
-
preconditions, 25(3)225--262, 44(3)16--16
-
predate, 28(3)504--517
-
predefine, 43(4)30--30
-
predefined, 24(1)63--113, 34(1)1--47
-
predicate, 31(1)1--26
-
predicated, 43(3)14--14
-
predict, 21(4)557--591, 45(1)8--8
-
predictability, 28_4es_186_186
-
predictable, 11(1)71--72, 11(1)72--72, 30(2)123--169
-
predicted, 17(1)5--47
-
predicting, 7(2)73--93, 10(3)225--261, 20(4)227--269, 21(3)359--411,
43(1)1--1
-
prediction, 7(2)73--93, 10(3)225--261, 10(3)263--280, 20(3)191--221,
21(2)137--161, 21(4)557--591, 30(1)70--119, 39(3)9--9, 42(3)10--10,
45(1)10--10
-
predictive, 16(3)265--285
-
Predictor, 10(3)333--342
-
predominantly, 15(4)319--349
-
Predonzani, Paolo, 32_1es_12_12
-
Predonzani, Paolo, see Succi, Giancarlo
-
Pree, Wolfgang, 32_1es_6_6
-
Pree:2000:FSL, 32_1es_6_6
-
Preece, Jenny, 27(4)557--559
-
Preece:1995:SFE, 27(4)557--559
-
preexisting, 27(2)141--195
-
Preface, 41(4)18--18
-
prefer, 16(3)265--285, 34(4)450--468
-
preference, 44(4)24--24
-
prefetch, 14(3)473--530, 32(2)174--199
-
prefetching, 32(2)174--199
-
preliminary, 17(3)313--340
-
Prelude, 11(4)412--413
-
premise, 21(3)359--411
-
Prentice-Hall, 6(4)261--301
-
Preparata, Franco P., 28(4)591--606
-
Preparata, Franco P., see Tamassia, Roberto
-
preparation, 17(2)267--289, 32_1es_33_33
-
preprocessing, 36(2)81--121, 41(3)17--17
-
preprocessors, 26(3)295--336
-
prerequisite, 16(2)111--152
-
prescribed, 40(1)3--3
-
preselecting, 17(3)313--340
-
presence, 8(3)305--330, 26(1)7--86, 30(2)123--169, 30(3)374--410,
30_3es_5_5, 32(1)12--42, 32_1es_1_1, 36(2)159--217, 38(3)7--7,
41(2)9--9, 43(4)25--25
-
PRESENTATION, 26(1)87--119, 28(1)169--171, 28(1)173--175, 28(1)177--179,
28(1)185--187, 28(1)189--191, 28(1)197--200
-
presentation, 8(1)67--103, 9(4)273--290, 17(2)267--289, 19(3)201--260,
19(4)329--358, 21(2)163--221, 22(2)83--121, 23(1)91--124,
25(1)45--67, 27(2)196--255, 27(4)580--583, 27(4)640--642,
28(1)169--171, 28(1)173--175, 28(1)177--179, 28(1)185--187,
28(1)189--191, 28(1)197--200, 29(4)325--365, 31(2)105--115,
31_2es_4_4, 31(3)227--263, 31(4)337--359, 31_4es_12_12,
31_4es_2_2, 32_1es_12_12, 32_1es_24_24, 32_1es_30_30,
32_1es_33_33, 32_1es_34_34, 32(3)201--212, 32(4)384--421,
33(3)273--321, 40(2)4--4, 42(1)2--2
-
presenting, 21(3)323--357, 22(1)5--33, 28(3)438--479, 32(1)12--42,
32_1es_1_1, 39(3)9--9, 41(4)19--19, 43(4)29--29, 44(1)3--3
-
preserve, 21(3)413--510, 22(3)267--293
-
preserving, 20(2)85--113, 37(1)1--28, 42(4)14--14, 43(3)17--17
-
preserving, Privacy-, 42(4)14--14
-
Press, 6(4)261--301, 8(1)43--66
-
Presser, Leon, 4(3)149--167, 7(1)21--44, 7(4)257--257
-
Presser:1972:LL, 4(3)149--167
-
Presser:1975:CMC, 7(1)21--44, 7(4)257--257
-
Presser:1975:MC, 7(1)21--44, 7(4)257--257
-
pressure, 35(1)1--28
-
presumed, 3(4)175--216
-
presupposes, 15(3)175--198
-
prevail, 31(4)337--359, 31_4es_2_2
-
Prevelakis, Vassilis, 40(3)10--10
-
Prevelakis, Vassilis, see Miltchev, Stefan
-
prevent, 8(4)359--389, 8(4)409--445, 21(4)515--556, 25(1)45--67,
26(3)211--254, 36(3)219--262
-
preventative, 32(3)201--212
-
prevented, 36(3)219--262, 37(1)1--28
-
preventing, 35(3)309--329
-
prevention, 4(3)179--196, 18(1)39--65
-
Preview, 1(1)2--5, 1(2)81--84, 1(3)135--138, 1(4)179--182, 2(1)1--3,
2(2)83--87, 2(3)147--152
-
previous, 4(3)179--196, 27(1)109--119, 37(1)1--28, 42(1)5--5, 43(2)6--6,
43(2)11--11, 43(3)13--13, 44(3)12--12
-
previously, 10(3)319--331, 15(2)135--171, 26(3)211--254, 28(3)504--517
-
Priami, Corrado, 28(2)352--354, 31_3es_13_13, 33(2)135--176
-
Priami, Corrado, see Degano, Pierpaolo
-
Priami:1999:OMT, 31_3es_13_13
-
price, 43(2)6--6, 44(3)15--15
-
Price, C. E., 3(2)49--64
-
price, first-, 43(2)10--10
-
price, second-, 43(2)10--10
-
Price, Tom, 13(2)223--242
-
Price, Tom, see Gray, Jim
-
Price:1971:TLT, 3(2)49--64
-
Prieto, Manuel, 45(1)4--4
-
Prieto, Manuel, see Zhuravlev, Sergey
-
primal-dual, 36(4)422--463
-
primality, 26(1)7--86
-
primarily, 6(4)303--319, 20(4)227--269, 29(3)264--311, 41(2)8--8,
43(2)10--10
-
primary, 9(1)103--129, 10(3)281--317, 13(1)13--31, 19(3)201--260,
20(1)29--72, 28(3)518--564, 37(2)83--137, 42(1)3--3
-
primitive, 7(1)21--44, 11(1)19--38, 11(2)79--94, 13(1)13--31, 15(1)3--43,
19(1)47--91, 27(1)63--107, 27(2)196--255, 28(1)149--151,
36(4)372--421, 45(2)14--14
-
Princeton, 17(3)341--370
-
principal, 10(4)389--443, 13(2)185--221, 43(3)20--20
-
principle, 6(4)303--319, 8(4)359--389, 10(2)167--195, 11(4)371--395,
15(4)287--317, 16(2)187--260, 17(2)267--289, 17(4)379--418,
18(4)323--364, 18(4)365--396, 19(4)303--328, 21(3)261--322,
22(4)321--374, 28(1)169--171, 28(1)193--195, 28(1)277--279,
30(4)528--552, 32(3)300--335, 35(3)223--267, 38(2)5--5, 39(2)5--5,
42(3)11--11, 43(3)18--18, 44(1)1--1, 45(2)17--17
-
PRINCIPLES, 17(3)313--340, 19(4)329--358, 21(1)5--92, 21(4)557--591,
25(4)375--414, 26(1)87--119, 27(1)23--25, 27(2)265--267,
28(1)169--171, 28(1)193--195
-
prior, 25(4)437--482, 26(3)255--294, 35(4)374--398, 42(3)11--11
-
priori, 18(2)165--195
-
prioritization, 43(2)11--11
-
priority, 9(4)259--272, 20(1)5--28, 27(1)49--54, 28_4es_92_92
-
privacy-preserving, 42(4)14--14
-
privacy-sensitive, 45(1)3--3
-
private, 42(1)5--5
-
prll, 16(3)287--318
-
proactive, 42(3)10--10
-
probabilistic, 12(4)361--379, 24(4)441--476, 26(1)7--86, 26(1)121--139,
27(3)328--330, 28(1)89--92, 30(1)28--69, 30(4)528--552,
31_2es_10_10, 33(2)177--208, 34(3)313--356
-
probabilistically, 31_2es_10_10
-
PROBABILITY, 22(2)123--170, 24(2)195--212, 24(4)441--476, 25(3)339--369,
26(1)7--86, 28(1)33--37, 30(1)28--69
-
probability, 20(1)5--28, 21(2)137--161, 21(4)557--591, 22(2)83--121,
22(2)123--170, 28(1)33--37, 33(2)177--208, 39(4)11--11
-
probability-based, 33(1)1--30
-
probably, 30(4)528--552, 31(2)105--115, 31_2es_1_1
-
probe, 19(4)303--328, 21(4)593--622
-
probe-effect, 21(4)593--622
-
probe/echo, 23(1)49--90
-
PROBLEM, 17(3)295--311, 18(1)23--38, 18(3)277--316, 20(4)271--309,
21(1)93--124, 21(2)223--250, 23(2)143--220, 23(3)319--344,
23(3)345--405, 24(2)195--212, 24(3)293--318, 24(4)441--476,
26(2)187--206, 26(4)421--461, 27(1)19--21, 27(1)109--119,
27(2)287--289, 28(1)19--21, 28(1)27--31, 28(1)33--37, 28(1)39--41,
28(1)43--45, 28(1)47--49, 28(1)59--61, 28(2)360--414, 29(2)171--209,
30(1)28--69, 30(4)412--458
-
problem-independent, 33(1)89--134
-
Problem-Solving, 27(2)277--279
-
problem-solving, 27(2)196--255
-
problematic, 28(3)438--479
-
procedural, 17(2)235--265, 27(3)310--313, 27(3)314--316
-
procedural, non-, 21(3)359--411
-
procedurality, 13(1)13--31
-
procedure, 4(4)197--220, 8(4)359--389, 10(3)263--280, 14(4)593--623,
15(3)175--198, 16(2)111--152, 21(3)261--322, 24(2)185--194,
43(2)11--11, 43(3)18--18, 45(1)7--7
-
proceed, 17(2)235--265, 41(1)4--4, 43(3)15--15
-
proceedings, 27(2)277--279
-
process, inter-, 32_1es_10_10
-
process-centered, 40(1)3--3
-
process., 41(2)12--12
-
processable, DBMS-, 12(2)179--211
-
processed, 39(3)7--7, 39(3)9--9
-
PROCESSING, 17(1)49--74, 17(1)75--145, 18(1)67--108, 20(2)115--146,
24(1)5--61, 24(4)325--376, 25(1)5--43, 27(3)433--467, 29(1)3--29,
30(1)28--69
-
processing, natural-language-, 24(4)377--439
-
processing, query-, 25(2)73--170
-
processing, transaction-, 13(2)149--183
-
processing, word-, 14(3)353--415
-
Processing--File, 21(2)223--250
-
Processing--Security, 21(4)515--556
-
PROCESSOR, 18(1)5--22, 18(4)365--396, 21(3)413--510, 23(1)49--90,
23(4)421--499, 25(3)263--302, 26(1)121--139, 26(2)187--206,
26(3)295--336, 28(1)67--70, 30(3)291--329, 30(3)374--410
-
processor, single-, 9(3)173--204
-
processors**, 31(4)406--471
-
produce, 10(3)333--342, 14(4)573--592, 18(2)197--222, 24(2)195--212,
33(1)1--30, 39(3)9--9
-
produced, 16(1)3--41, 21(4)593--622, 26(1)121--139, 31_2es_3_3,
34(2)263--311, 37(3)238--275, 39(1)2--2, 40(1)3--3, 43(3)22--22,
45(2)15--15
-
produced, human-, 40(3)8--8
-
producer/consumer, 26(1)87--119
-
producing, 4(2)97--147, 18(4)323--364, 27(2)196--255, 34(4)550--572
-
producing, IT-, 35(1)1--28
-
product, 16(1)3--41, 21(3)323--357, 24(1)63--113, 25(3)339--369,
26(2)145--185, 28_4es_106_106, 30(2)232--282, 31_4es_3_3,
32(3)241--299, 32(4)384--421, 35(2)132--190, 35(2)191--221,
37(1)1--28, 38(3)10--10
-
production, 8(2)191--276, 10(2)93--122, 17(4)471--522, 22(2)83--121,
22(3)237--266, 31(3)227--263, 31_3es_2_2, 35(1)29--63,
35(3)223--267, 40(3)10--10
-
productivity, 16(3)265--285, 18(2)165--195, 28(2)415--435, 35(1)1--28
-
professional, 43(3)21--21
-
profile, 16(3)265--285, 20(3)191--221, 31_2es_3_3
-
profiling, 28_4es_26_26
-
profit, 3(1)23--48, 36(1)35--67
-
profitably, 21(2)223--250
-
programash, 10(1)35--71
-
programmability, 28_4es_141_141
-
programmable, 18(4)365--396, 37(2)138--163, 38(4)12--12, 43(4)31--31
-
programmable, field-, 34(2)171--210
-
programmed, 21(3)261--322
-
programmer, 4(2)97--147, 4(4)221--239, 7(1)5--19, 10(1)35--71,
14(1)73--92, 18(1)5--22, 24(2)131--183, 26(3)211--254,
26(3)295--336, 26(4)345--420, 32(1)43--79, 32_1es_2_2,
37(2)83--137, 42(4)13--13, 43(3)19--19, 43(3)21--21, 44(3)16--16
-
programmers, non-, 21(3)359--411
-
PROGRAMMING, 17(2)235--265, 17(3)313--340, 17(4)471--522, 18(1)5--22,
18(1)39--65, 18(3)231--276, 18(3)277--316, 19(1)47--91,
19(2)105--190, 20(1)29--72, 20(3)153--189, 21(3)261--322,
21(3)323--357, 21(3)359--411, 21(3)413--510, 21(4)593--622,
22(4)375--408, 23(1)49--90, 23(1)91--124, 23(1)125--127,
24(2)131--183, 25(1)45--67, 25(3)225--262, 26(1)7--86,
26(3)295--336, 26(4)345--420, 27(1)63--107, 27(2)141--195,
27(2)196--255, 27(2)290--291, 27(3)367--432, 28(1)245--247,
28(1)249--251, 28(1)253--255, 28(1)257--259, 28(1)261--262,
28(1)265--267, 28(1)285--287, 28(2)360--414, 28(3)438--479,
28(3)480--503, 29(3)213--239, 29(3)240--263, 30(2)123--169,
30(3)291--329, 30(3)330--373
-
programming, integer-, 31(4)406--471, 31_4es_4_4
-
Programming--Algorithms, 21(2)137--161, 22(1)5--33
-
PROGRAMS, 17(4)471--522, 18(3)231--276, 20(1)29--72, 21(3)413--510,
23(1)125--127, 25(1)45--67, 25(3)225--262, 27(1)63--107,
28(1)23--26, 28(1)263--264, 28(1)265--267, 28(1)285--287,
28(2)360--414, 29(1)30--81
-
progress, 4(2)97--147, 5(2)81--108, 10(1)84--85, 10(1)85--85,
18(1)67--108, 20(2)115--146, 25(3)225--262, 26(1)87--119,
28(1)245--247, 28(2)415--435, 30(4)412--458, 36(3)219--262,
41(4)21--21, 43(3)15--15, 43(4)31--31, 43(4)32--32, 44(4)25--25
-
progressively, 24(4)377--439
-
Proietti, Maurizio, 28(2)360--414, 28_4es_171_171, 30_3es_6_6
-
Proietti, Maurizio, see Pettorossi, Alberto
-
project, 1(1)7--36, 6(4)213--220, 10(2)93--122, 14(1)3--71,
17(2)267--289, 17(4)419--470, 19(1)5--46, 20(3)191--221, 21(1)5--92,
25(4)375--414, 25(4)437--482, 31_2es_12_12, 31_2es_5_5,
31_2es_6_6, 32_1es_25_25, 33(1)89--134, 33(2)177--208,
35(2)132--190, 41(4)19--19, 43(2)12--12, 43(4)24--24, 43(4)33--33,
44(2)7--7, 44(3)16--16, 45(1)11--11
-
projected, 27(3)433--467, 32(2)144--173
-
Projecting, 11(3)278--279, 11(3)279--280
-
projection, 3(3)79--91, 10(4)465--502, 11(3)280--280, 11(4)397--409,
27(3)433--467, 29(4)325--365, 45(1)7--7
-
proliferated, 31(2)117--157, 31_2es_2_2, 39(2)4--4
-
proliferation, 3(3)115--146, 27(2)141--195, 43(4)25--25
-
PROLOG, 21(3)261--322, 21(3)413--510
-
Prolog, 21(3)413--510, 26(3)295--336, 38(4)11--11
-
PROLOG, P-, 21(3)261--322
-
prolog, P-, 21(3)413--510
-
prominent, 19(3)201--260, 31(4)337--359, 31_4es_2_2, 41(1)7--7,
42(3)11--11
-
promise, 20(2)85--113, 20(2)115--146, 31(2)105--115, 31_2es_1_1,
40(2)5--5, 42(4)13--13
-
promising, 8(4)409--445, 18(4)365--396, 21(4)515--556, 27(2)141--195,
28_4es_59_59, 28_4es_86_86, 29(3)264--311, 31(4)406--471,
31_4es_4_4, 33(4)470--516, 35(4)331--373, 37(4)345--387,
42(4)13--13, 43(3)22--22, 44(1)4--4, 44(4)20--20, 44(4)21--21
-
promote, 10(4)381--387, 31_2es_3_3, 39(4)10--10, 43(3)14--14
-
prompt, 8(4)359--389
-
prone, 19(4)303--328
-
prone, error-, 42(4)13--13
-
Pronet, 21(3)261--322
-
pronunciation, 43(3)17--17
-
proof, 4(2)97--147, 4(4)221--239, 19(4)303--328, 24(4)441--476,
25(3)225--262, 26(1)7--86, 28(2)360--414, 29(2)171--209,
34(4)504--549, 39(2)6--6
-
propagate, 37(1)42--81
-
propagating, 37(1)42--81
-
propagation, 15(4)287--317, 23(2)221--264
-
Propagation, Back-, 27(4)519--542
-
propagation, back-, 27(4)519--542
-
proper, 12(2)179--211, 13(3)341--367, 22(2)123--170
-
proportion, 10(3)225--261, 17(2)191--233, 40(3)7--7
-
proposal, 11(3)187--211, 22(4)375--408, 31(1)63--103, 33(3)273--321,
34(2)263--311, 35(4)374--398, 39(1)3--3, 43(4)28--28, 44(2)8--8
-
propose, 16(1)71--98, 16(3)287--318, 17(1)75--145, 22(4)375--408,
31(4)406--471, 31_4es_4_4, 35(4)374--398, 36(4)335--371,
37(4)345--387, 41(2)11--11, 42(4)14--14, 44(3)15--15
-
propositional, 33(3)374--425, 38(4)12--12, 41(4)20--20, 42(1)2--2
-
proprietary, 37(4)277--315
-
pros, 38(4)13--13, 44(1)5--5
-
prospect, 30_3es_4_4, 34(1)90--169
-
prospective, 26(3)295--336
-
Prospectus, 27(3)334--336
-
protect, 8(4)391--407, 35(3)309--329, 42(1)5--5, 43(1)2--2, 43(2)8--8
-
protected, 8(4)359--389, 40(3)9--9
-
protecting, 21(4)515--556
-
protection, 8(1)125--151, 8(4)409--445, 17(4)419--470, 21(4)515--556,
25(4)375--414, 26(3)211--254, 28(1)129--131, 28(1)241--243,
29(3)213--239, 33(2)177--208, 34(4)450--468, 42(4)14--14
-
protective, 10(2)123--165
-
protein, 36(2)122--158, 43(1)1--1
-
protein, Protein-to-, 43(1)1--1
-
protein, protein-to-, 43(1)1--1
-
protein-to-protein, 43(1)1--1
-
proteomics, 36(2)122--158, 43(1)1--1
-
prototype, 12(1)3--25, 18(4)365--396, 22(3)237--266, 22(3)267--293,
26(2)145--185, 26(3)255--294, 30(2)232--282, 31(2)117--157,
31_2es_2_2, 31_2es_9_9, 37(1)1--28
-
prototypical, 33(1)89--134
-
prototyping, 21(1)5--92, 28(3)480--503, 32(1)43--79, 32_1es_2_2
-
Proulx, Richard, 28_4es_100_100
-
Proulx:1996:FCS, 28_4es_100_100
-
provably, 28_4es_176_176, 33(1)1--30
-
prove, 4(2)97--147, 13(3)279--339, 29(3)213--239, 32(3)300--335
-
proved, 7(2)73--93, 10(3)225--261, 18(4)365--396, 20(2)115--146,
32(3)300--335
-
proven, 32(2)174--199, 39(4)10--10
-
provenance, 37(1)1--28
-
prover, 30_3es_18_18
-
provers, theorem-, 4(2)97--147
-
provided, 7(3)129--173, 8(1)105--123, 9(3)173--204, 14(3)321--352,
14(4)553--572, 15(4)287--317, 17(2)267--289, 20(1)29--72,
21(1)5--92, 27(3)433--467, 32(2)109--143, 33(4)427--469,
37(3)238--275, 40(3)7--7, 40(4)12--12, 41(1)4--4, 43(1)3--3,
43(4)35--35, 44(4)18--18, 45(2)15--15
-
provider, 34(2)263--311, 36(3)291--334, 40(3)9--9
-
providing, 3(1)23--48, 7(1)5--19, 13(2)149--183, 18(1)67--108,
19(2)105--190, 21(4)515--556, 22(1)35--68, 22(4)321--374,
31_2es_3_3, 31(3)264--323, 31_3es_3_3, 34(3)357--374,
36(3)219--262, 37(1)1--28, 37(3)238--275, 42(2)8--8, 43(1)2--2,
43(4)28--28, 44(1)3--3
-
proving, 4(2)97--147, 8(3)331--353, 14(2)229--244, 21(1)93--124,
25(1)45--67, 27(3)323--325, 27(3)328--330, 27(3)343--345,
27(3)346--348, 27(3)353--355, 27(3)356--359, 27(3)363--365,
28(1)89--92, 28(2)360--414, 30(2)232--282, 31(1)27--62,
31(4)337--359, 33(1)1--30
-
proving, theorem-, 4(2)97--147
-
provision, 8(4)391--407, 10(2)167--195, 20(2)115--146, 40(2)6--6
-
provisioning, 44(4)24--24
-
provisioning, service-, 44(4)24--24
-
proximity, 20(4)271--309, 23(3)345--405, 30(4)412--458
-
proxy, 31_2es_3_3, 35(4)374--398, 42(1)4--4
-
prune, 38(4)12--12
-
prune-and-search, 30(4)412--458
-
pruning, 45(1)10--10
-
pseudocode, 22(2)123--170
-
PSTN, 44(4)18--18
-
psychological, 13(1)101--120
-
psychology, 13(1)1--11, 13(1)121--141, 38(3)7--7
-
psychology., 26(1)87--119
-
psychophysical, 35(4)399--458
-
Pu, Calton, 22(3)175--178, 27(4)580--583
-
Pu, Calton, see Cowan, Crispin,
see Elmagarmid, Ahmed K.
-
Publ, 11(4)371--395
-
public, 17(2)191--233, 28_4es_97_97, 36(1)35--67, 42(1)5--5,
43(4)26--26
-
public-key, 34(4)504--549
-
publication, 25(1)5--43, 35(3)223--267, 37(1)1--28, 39(4)12--12,
42(4)14--14, 44(4)18--18, 44(4)22--22
-
publicly, 38(3)10--10
-
publishash, 35(2)114--131
-
published, 3(4)147--174, 11(4)371--395, 13(2)185--221, 15(4)287--317,
17(1)49--74, 17(3)341--370, 19(3)201--260, 19(4)303--328,
22(3)183--236, 22(3)267--293, 25(4)437--482, 29(2)171--209,
32(2)109--143, 33(4)427--469, 35(1)1--28, 35(3)223--267,
36(3)219--262, 42(4)14--14, 43(2)8--8, 43(4)35--35, 44(4)18--18,
44(4)19--19, 45(1)2--2, 45(2)13--13
-
publishers, 17(3)341--370, 35(2)114--131
-
publishing, 31_4es_16_16, 31_4es_9_9, 42(4)14--14
-
publish/subscribe, 35(2)114--131
-
Puget, Jean-François, 28_4es_72_72
-
Puget:1996:FCP, 28_4es_72_72
-
Puglisi, Simon J., 39(2)4--4
-
Puglisi:2007:TSA, 39(2)4--4
-
Purao, Sandeep, 35(2)191--221
-
Purao:2003:PMO, 35(2)191--221
-
pure, 27(1)17--18, 33(3)374--425
-
purely, 29(3)240--263
-
purist, 43(1)5--5
-
purpose, 3(3)79--91, 4(2)97--147, 4(3)179--196, 4(4)221--239,
10(2)167--195, 10(4)465--502, 11(2)121--137, 16(1)3--41,
16(2)153--185, 17(1)49--74, 17(1)75--145, 19(2)105--190,
20(4)227--269, 21(1)5--92, 22(4)321--374, 26(4)345--420,
29(3)264--311, 29(4)366--427, 31(2)158--221, 32(2)109--143,
34(2)263--311, 34(4)409--449, 35(2)191--221, 36(1)35--67,
36(3)219--262, 37(2)164--194, 37(4)277--315, 39(3)7--7, 39(4)10--10,
40(1)3--3, 40(3)7--7, 42(1)4--4, 42(3)11--11, 43(2)10--10,
43(4)27--27, 43(4)35--35, 44(1)2--2, 45(1)8--8, 45(1)12--12
-
purpose, general-, 4(2)65--79, 11(2)121--137, 18(4)365--396,
28_4es_29_29, 30(2)123--169, 37(4)316--344, 44(4)18--18
-
PURPOSE, SPECIAL-, 17(2)191--233
-
purpose, special-, 11(1)19--38, 17(2)191--233
-
pursue, 35(1)29--63
-
pursued, 4(2)97--147
-
pursuing, 43(4)28--28
-
pursuit, 28_4es_63_63
-
pushing, path-, 19(4)303--328
-
put, 10(2)93--122, 19(1)5--46, 22(1)5--33, 22(2)123--170, 31_2es_10_10,
35(3)268--308, 36(2)81--121
-
putting, 10(1)83--83, 10(1)83--84, 44(4)24--24
-
Putzolu, Franco, 13(2)223--242
-
Putzolu, Franco, see Gray, Jim
-
pyramid, 36(2)159--217
-
Python, 39(4)11--11