Index file section P for tecs.bib
Last update: Wed May 15 02:02:08 MDT 2024
Return to index directory
P
-
P, 3(3)509--533
-
PA-BCA, 7(2)22--22
-
Paar, Christof, 3(3)509--533, 3(3)534--574
-
Paar, Christof, see Wollinger, Thomas
-
pace, 8(3)23--23
-
pacemaker, 12(1)15--15, 12_1s_50_50
-
package, 10(4)42--42, 12_1s_49_49
-
packet, 3(1)3--23, 6(4)28--28, 7(2)16--16, 7(2)20--20, 7(2)21--21,
7(4)41--41, 8(2)13--13, 8(3)18--18, 9(3)24--24, 9(4)39--39,
10(1)11--11, 10(1)14--14, 10(4)44--44, 11(4)75--75, 12(4)105--105,
12(4)109--109, 13(1)13--13
-
packet, Deep-, 7(2)21--21
-
packet, deep-, 7(2)21--21
-
packet-switched, 9(1)7--7
-
packing, 4(1)112--140, 11(4)83--83
-
packing, bin-, 11(4)83--83, 13_2s_71_71
-
pad, 12(3)77--77, 13_1s_30_30
-
pad, scratch-, 5(2)472--511, 8(3)21--21
-
pad-based, scratch-, 1(1)6--26
-
Paek, Yunheung, 5(4)819--863, 6(4)21--21, 8(2)16--16
-
Paek, Yunheung, see Ahn, Minwook,
see Gupta, Rajiv, \see{Kulkarni, Prasad
-
page, 7(2)11--11, 8(1)5--5, 9(4)40--40, 10(4)40--40, 11S_1(18)18,
12_1s_43_43, 12(2)27--27, 13_2s_63_63
-
pageable, 7(2)11--11
-
pagefault, 7(2)11--11
-
paging, 7(2)11--11, 10(4)40--40
-
painter, 12(2)22--22
-
painting, 12(2)22--22
-
painting-like, 12(2)22--22
-
pair, 6(4)30--30, 9(4)42--42, 12(3)72--72
-
pairing, 12(2)30--30
-
pairwise, 7(2)20--20, 11(3)59--59
-
Pajic, Miroslav, 11(4)82--82
-
Pajic:2012:RAE, 11(4)82--82
-
Palem, 13_1s_39_39
-
Palem, Krishna, 12_2s_87_87, 12_2s_93_93
-
Palem, Krishna, see Lingamneni, Avinash
-
Palem, Krishna V., 2(2)186--218
-
Palem, Krishna V., see Rabbah, Rodric M.
-
Palem:2013:TYB, 12_2s_87_87
-
Palermo, Gianluca, 11(2)29--29, 13(2)20--20
-
Palermo, Gianluca, see Mariani, Giovanni
-
Palermo:2012:VAR, 11(2)29--29
-
Palesi, Maurizio, 12_1s_32_32, 12(4)104--104, 13_2s_73_73
-
Palesi, Maurizio, see Cardo, José Flich,
see Chen, Jian-Jia, \see{Wang, Xiaohang
-
palette, 12(2)22--22
-
Palopoli, Luigi, 10(4)46--46, 11(4)86--86
-
Palopoli, Luigi, see Cucinotta, Tommaso
-
Palsberg, Jens, 3(1)163--181
-
Palsberg, Jens, see Naik, Mayur
-
Pan, Yen-Liang, 12(1)11--11
-
Pan, Yen-Liang, see Huang, Yi-Sheng
-
Panainte, Elena Moscu, 6(1)6--6
-
Panainte:2007:MCR, 6(1)6--6
-
Pande, Amit, 11(1)6--6
-
Pande, Santosh, 5(3)613--657, 6(1)3--3, 8(4)25--25, 10(4)44--44
-
Pande, Santosh, see Li, Zhiyuan,
see Zhuang, Xiaotong
-
Pande:2012:PDP, 11(1)6--6
-
Paolieri, Marco, 12(3)79--79
-
Paolieri:2013:HRT, 12(3)79--79
-
Paolucci, Pier Stanislao, 7(4)39--39
-
Paolucci, Pier Stanislao, see Popovici, Katalin
-
Papaefstathiou, Ioannis, 12_1s_33_33
-
Papaefstathiou, Ioannis, see Nikitakis, Antonis
-
Papaioannou, Savvas, 12_1s_33_33
-
Papaioannou, Savvas, see Nikitakis, Antonis
-
Papakonstantinou, Alexandros, 13(2)25--25
-
Papakonstantinou:2013:ECC, 13(2)25--25
-
Papariello, Francesco, 11(4)71--71
-
Papariello, Francesco, see Paterna, Francesco
-
Pappalardo, Valerio, 7(3)23--23
-
Pappalardo, Valerio, see Di Natale, Marco
-
Pappas, George J., 11(z)58--58
-
Pappas, George J., see Nghiem, Truong
-
par, 13_1s_32_32
-
paradigm, 5(3)543--576, 5(4)819--863, 6(1)6--6, 7(2)22--22, 7(4)40--40,
8(2)12--12, 8(2)15--15, 10(1)8--8, 10(1)14--14, 10(2)21--21,
10(4)41--41, 11(4)79--79, 12_2s_96_96, 13(3)41--41
-
parallelism, 7(2)16--16, 7(2)21--21, 8(2)10--10, 9(3)26--26, 10(4)39--39,
10(4)44--44, 11(4)72--72, 11(z)44--44, 11S_1(13)13, 11S_1(14)14,
12(3)68--68, 12(3)82--82, 12(4)109--109, 13(1)7--7, 13(1)8--8,
13(1)14--14, 13_1s_28_28, 13(2)17--17, 13(2)18--18, 13(2)20--20,
13(2)23--23, 13(2)25--25, 13_2s_63_63
-
parallelization, 5(3)613--657, 8(2)10--10, 11S_1(13)13, 12_1s_35_35,
12_2s_88_88
-
parallelize, 5(3)613--657, 11(3)64--64, 12_2s_88_88
-
parallelized, 11(4)72--72, 11S_1(13)13, 13(1)13--13, 13_1s_28_28
-
parallelizing, 5(3)613--657, 12_2s_88_88, 13(1)13--13
-
paramedics, 12(4)100--100
-
Parameswaran, Sri, 10(3)36--36, 11(3)69--69
-
Parameswaran, Sri, see Ambrose, Jude A.,
see Ragel, Roshan G.
-
parameterizable, 7(2)12--12, 13(2)22--22
-
parameterization, 6(1)4--4, 7(3)32--32, 9(4)32--32
-
parameterized, 4(2)228--266, 6(1)4--4, 6(4)30--30, 7(3)26--26,
13(3)48--48
-
parameters-such, 13(1)14--14
-
parametric, 6(4)30--30, 10(2)25--25, 11(2)29--29
-
paramount, 12(1)13--13
-
parcel, 12(1)16--16
-
Pareto-optimal, 11(1)5--5
-
Pareto-optimally, 12(3)84--84
-
parity, 11(2)30--30
-
Park, Chang Yun, 6(2)10--10
-
Park, Chang Yun, see Lee, Sheayun
-
Park, Chanik, 7(4)38--38
-
Park, Dong-Joo, 6(3)18--18
-
Park, Dong-Joo, see Lee, Sang-Won
-
Park, Jaehyun, 11(4)76--76
-
Park, Jaehyun, see Shin, Donghwa
-
Park, Jiyong, 8(1)6--6
-
Park, Jong Hyuk, 12(2)20--20, 12(2)30--30
-
Park, Jong Hyuk, see Chen, Yeong-Sheng,
see Lai, Chin-Feng
-
Park, Kyu Ho, 9(4)42--42
-
Park, Kyu Ho, see Lee, Jupyung
-
Park, Kyung-Joon, 11(4)81--81
-
Park, Kyung-Joon, see Nam, Min-Young
-
Park, Sang Oh, 12(2)23--23
-
Park, Sangwon, 6(3)18--18
-
Park, Sangwon, see Lee, Sang-Won
-
Park, Seon-Yeong, 11S_1(18)18
-
Park, Seon-Yeong, see Kim, Jaegeuk
-
Park, Seonyeong, 10(2)23--23
-
Park, Seonyeong, see Seo, Euiseong
-
Park, Taejoon, 3(3)634--660, 7(2)20--20, 8(1)2--2
-
Park:2004:LLS, 3(3)634--660
-
Park:2008:ATL, 8(1)2--2
-
Park:2008:QSL, 8(1)6--6
-
Park:2008:RFF, 7(4)38--38
-
Park:2008:SRB, 7(2)20--20
-
Park:2013:EEN, 12(2)23--23
-
Parmer, Gabriel, 10(3)30--30, 13_1s_32_32
-
Parmer, Gabriel, see West, Richard
-
Parmer:2013:PCC, 13_1s_32_32
-
Parris, Matthew, 9(1)9--9
-
Parris, Matthew, see Huang, Jian
-
PARSEC, 12(4)105--105
-
Parsimonious, 12_2s_93_93
-
part, 5(3)687--717, 6(2)13--13, 7(2)12--12, 8(4)31--31, 10(1)4--4,
10(1)6--6, 10(2)18--18, 10(3)34--34, 11(1)5--5, 11(3)60--60,
11(3)61--61, 11(3)66--66, 11(4)77--77, 11(4)83--83, 12(1)12--12,
12(3)72--72, 13_1s_32_32
-
partial, 7(4)40--40, 8(2)12--12, 8(3)20--20, 9(1)9--9, 11(1)3--3,
12(2)27--27, 12(3)72--72
-
partially, 3(2)257--283, 7(4)40--40, 8(2)12--12, 11(z)58--58
-
participants, 11(z)47--47
-
participating, 7(2)20--20
-
participation, 13_2s_57_57
-
participatory, 12(2)31--31
-
particle, 10(2)26--26
-
particular, 5(3)658--686, 6(2)13--13, 6(3)20--20, 6(4)31--31, 7(4)43--43,
8(4)29--29, 10(1)12--12, 10(2)20--20, 11(1)8--8, 11(2)35--35,
11(2)37--37, 11(3)59--59, 11(3)69--69, 12(1)16--16, 12_1s_33_33,
12_2s_94_94, 13(1)10--10, 13(2)25--25, 13(3)43--43
-
particularly, 10(2)27--27, 10(4)41--41, 11(4)75--75, 11(z)54--54,
11(z)56--56, 12(1)5--5, 12_2s_93_93, 13(3)45--45
-
partition, 5(3)613--657, 8(3)22--22, 9(4)34--34, 10(3)37--37,
11(z)40--40, 11(z)46--46, 12(3)76--76, 12(4)107--107, 12(4)111--111,
13(1)12--12, 13(2)23--23
-
partitioned, 2(2)163--185, 5(3)613--657, 7(2)11--11, 7(2)12--12,
8(1)5--5, 8(3)18--18, 11S_1(20)20, 12_1s_44_44, 12(3)76--76,
13(1)14--14
-
partitioned, PLTL-, 4(2)267--301
-
partitioning, 3(1)218--232, 7(1)4--4, 7(2)16--16, 8(2)11--11, 8(3)22--22,
9(3)16--16, 9(3)22--22, 9(4)34--34, 10(3)32--32, 10(3)37--37,
11(z)40--40, 11(z)46--46, 11S_1(20)20, 12(3)68--68, 12(3)76--76,
12(3)78--78, 13(1)12--12, 13(1)14--14, 13_1s_30_30, 13_1s_38_38,
13_2s_71_71
-
party, 11(1)10--10
-
Pasricha, Sudeep, 7(2)22--22
-
Pasricha:2008:FEB, 7(2)22--22
-
pass, 5(3)613--657, 6(4)24--24, 13(3)43--43
-
Pass, Post-, 10(4)40--40
-
pass, post-, 10(4)40--40
-
Passerone, Roberto, 12_1s_49_49
-
Passerone, Roberto, see Davare, Abhijit
-
passing, 6(4)31--31, 8(2)15--15
-
passing, message-, 6(4)31--31, 11(2)36--36
-
passive, 11(4)76--76, 13_2s_67_67
-
passivity, 11(4)75--75
-
past, 7(2)21--21, 10(2)27--27, 11S_1(21)21, 12(2)21--21, 12_2s_92_92,
13(1)10--10, 13_1s_33_33, 13(2)23--23, 13_2s_57_57
-
patch, 9(4)42--42, 12(2)26--26
-
Paterna, Francesco, 11(4)71--71
-
Paterna:2012:VTW, 11(4)71--71
-
path, 6(1)3--3, 7(2)22--22, 9(4)42--42, 11(z)53--53, 11(z)55--55,
12_1s_40_40, 12(4)105--105, 12(4)109--109, 13(1)3--3, 13_1s_38_38,
13(2)18--18, 13_2s_73_73
-
path, Shortest-, 4(4)907--933
-
paths, data-, 11(3)63--63
-
pathways, 13_2s_73_73
-
patient, 10(1)11--11, 10(1)13--13, 12(4)100--100, 12(4)102--102,
12(4)103--103
-
patient-worn, 10(1)11--11
-
pattern, 6(4)22--22, 7(1)4--4, 7(2)15--15, 7(2)21--21, 7(4)44--44,
8(3)19--19, 10(1)7--7, 12_1s_47_47, 12(3)68--68, 12(4)106--106,
13_1s_29_29, 13(2)21--21, 13_2s_60_60, 13_2s_73_73, 13(3)42--42,
13(3)50--50
-
pattern, full-, 7(2)21--21
-
pattern-based, 2(1)33--73
-
Patterson, C., 9(1)6--6
-
Patterson:2009:SMB, 9(1)6--6
-
Paul, Anand, 11(z)40--40, 12(2)25--25, 12(2)29--29
-
Paul, Anand, see Bharanitharan, K.
-
Paul, Joann M., 4(3)500--528, 13(1)12--12
-
Paul, Joann M., see Kent, Christopher G.,
see Koopman, Philip
-
Paul:2012:PRC, 11(z)40--40
-
Paul:2013:VSI, 12(2)25--25
-
Paulin, Pierre, 11(3)64--64
-
Paulin, Pierre, see Girodias, Bruno
-
Paulin, Pierre G., 12_1s_47_47
-
Paulin:2013:PPP, 12_1s_47_47
-
PBQP, 7(2)12--12
-
PC, 11(2)32--32
-
PCF, 6(4)28--28
-
PCHA, 11(z)53--53
-
PCHAs, 11(z)53--53
-
PCM, 12(3)77--77
-
PCMOS, 13_1s_39_39
-
PCs, 13(2)19--19
-
PDA, 5(4)753--772, 7(4)44--44, 8(1)8--8
-
PDAs, 5(3)577--612, 5(3)658--686, 6(3)18--18, 7(2)10--10, 11(3)66--66
-
PE, 13(2)23--23
-
PE, 400-, 13(2)23--23
-
peak, 7(1)3--3, 12_1s_48_48, 12(2)24--24, 13_2s_70_70, 13(3)50--50
-
peak-power, 13_2s_65_65
-
peculiarities, 6(1)5--5
-
pediatric, 11(z)48--48
-
peer, peer-to-, 9(4)38--38
-
peer-to-peer, 9(4)38--38
-
Pek, Isaac, 10(1)13--13
-
Pek, Isaac, see Waluyo, Agustinus Borgy
-
Pellizzoni, Rodolfo, 11(4)81--81
-
Pellizzoni, Rodolfo, see Nam, Min-Young
-
Pelzl, Jan, 3(3)509--533
-
Pelzl, Jan, see Wollinger, Thomas
-
penalty, 8(1)6--6, 8(1)7--7, 8(3)22--22, 9(4)30--30, 10(1)5--5,
10(3)36--36, 13(1)3--3
-
Penders, Julien, 12(4)99--99, 12(4)102--102
-
Penders, Julien, see Massé, Fabien,
see Wijsman, Jacqueline
-
penetration, 13_2s_57_57
-
Peng, Chunyi, 11(1)4--4
-
Peng, Huan-Kai, 9(4)35--35
-
Peng, Jinzhang, 6(1)4--4
-
Peng, Jinzhang, see Contreras, Gilberto
-
Peng, Zebo, 3(4)706--735, 4(1)112--140, 5(1)54--81, 7(2)19--19,
11(3)61--61
-
Peng, Zebo, see Izosimov, Viacheslav,
see Manolache, Sorin, \see{Pop, Paul,
see Varea, Mauricio
-
Peng:2010:OWZ, 9(4)35--35
-
Peng:2012:BHA, 11(1)4--4
-
Pentium, 7(2)21--21
-
people, 10(4)48--48, 12_1s_49_49, 12_2s_87_87, 13(1)6--6
-
per, 6(4)24--24, 6(4)26--26, 7(3)25--25, 10(3)32--32, 10(3)35--35,
12_1s_33_33, 12_1s_47_47, 13(1)13--13, 13_1s_27_27, 13_1s_39_39,
13(2)25--25, 13_2s_72_72
-
per-core, 13_2s_71_71
-
perceived, user-, 7(2)10--10, 13_2s_60_60
-
percentage, 6(1)4--4, 7(2)19--19, 12(4)109--109, 13_2s_61_61
-
perfect, 7(4)44--44, 13_2s_57_57
-
perfectly, 12(1)6--6
-
perform, 5(3)613--657, 5(3)687--717, 6(3)20--20, 8(1)3--3, 8(1)5--5,
8(1)8--8, 8(2)15--15, 8(3)18--18, 8(3)19--19, 8(4)27--27, 8(4)28--28,
9(4)37--37, 9(4)38--38, 10(1)7--7, 11(1)6--6, 11(3)59--59,
11(z)49--49, 11S_1(16)16, 11S_1(24)24, 12_2s_95_95, 12(3)73--73,
12(3)75--75, 12(3)84--84, 12(4)101--101, 12(4)108--108,
12(4)110--110, 13(1)14--14, 13_1s_28_28, 13_1s_37_37
-
Performance, High-, 11(2)36--36
-
performance, High-, 7(2)16--16, 9(4)30--30, 12(3)82--82
-
performance, high-, 7(1)1--1, 8(1)4--4, 11(2)36--36,
12(2)27--27, 12(3)81--81, 12(3)82--82, 13(1)8--8, 13(1)13--13,
13_1s_33_33, 13(2)17--17, 13(2)25--25
-
performance, higher-, 11S_1(18)18
-
Performance, Power-, 11(3)68--68
-
performance-driven, 13_1s_33_33
-
performance-modeling, 6(4)26--26
-
performance-related, memory-, 13(2)21--21
-
performed, 5(4)773--818, 7(3)29--29, 7(4)39--39, 8(1)8--8, 8(4)31--31,
10(1)6--6, 11(3)66--66, 12(1)17--17, 12(2)22--22, 12(2)26--26,
12(4)105--105, 12(4)106--106, 13(1)9--9, 13(1)13--13, 13_1s_40_40,
13(2)16--16, 13(3)49--49
-
performing, 5(3)687--717, 7(1)7--7, 7(4)41--41, 8(2)13--13, 10(1)13--13,
11(3)66--66, 11(z)55--55, 13(1)8--8, 13(1)9--9, 13(1)14--14
-
performs, out-, 11(2)31--31
-
perhaps, 12_2s_92_92
-
Périn, Michaël, 11(2)34--34, see Blech, Jan Olaf
-
period, 7(2)15--15, 9(3)15--15, 10(1)4--4, 10(2)27--27, 11(4)86--86,
12(3)78--78, 12(4)99--99, 13_2s_63_63, 13_2s_70_70, 13(3)49--49
-
periodic, 6(3)20--20, 7(3)28--28, 7(3)30--30, 7(4)45--45, 10(2)27--27,
11(z)58--58, 13(1)2--2, 13_2s_70_70, 13_2s_71_71
-
periodically, 8(3)22--22, 11(z)53--53
-
periodicity, 11(z)53--53
-
peripheral, 11(1)5--5, 12_1s_49_49
-
permanent, 7(4)45--45, 12(3)81--81
-
permissible, 8(4)27--27
-
permissive, 12(1)2--2, 12(1)8--8, 12(1)10--10, 12(1)11--11
-
permissiveness, 12(1)8--8
-
permit, 8(4)29--29, 9(4)30--30, 13(1)12--12, 13(3)44--44
-
permitted, 10(1)3--3, 11(3)60--60, 12(1)12--12
-
persistence, 12_1s_40_40
-
persistently, 10(1)11--11
-
personal, 7(2)10--10, 10(4)48--48, 11(4)86--86
-
personalized, 11(z)48--48, 13_2s_60_60
-
perspective, 5(4)773--818, 7(3)28--28, 7(4)41--41, 8(2)13--13,
8(2)17--17, 10(1)2--2, 11(1)5--5, 12_1s_50_50, 12_2s_92_92,
12(4)102--102
-
pertains, 7(3)35--35, 10(1)14--14
-
perturbation, 12(3)69--69
-
pervasive, 6(3)16--16, 9(4)43--43, 10(1)12--12, 10(1)13--13, 11(4)75--75,
11(z)47--47
-
PEs, 13(2)23--23
-
Pescaru, Dan, 11(4)79--79
-
Pescaru, Dan, see Subramanian, Varun
-
pessimistic, 13_1s_35_35
-
Peterson, Gregory D., 11(2)36--36
-
Peterson, Gregory D., see Smith, Melissa C.
-
Peti, Ph, 4(3)587--611
-
Peti, Ph., see Caspi, P.
-
Petri, 7(4)41--41, 8(2)13--13, 12(1)3--3, 12(1)4--4, 12(1)6--6, 12(1)7--7,
12(1)8--8, 12(1)10--10, 12(1)11--11, 12(1)12--12, 12(1)14--14,
12(1)18--18
-
Petrov, Peter, 4(2)452--468, 8(1)5--5, 8(2)14--14, 9(3)16--16
-
Petrov, Peter, see Reddy, Rakesh,
see Zhou, Xiangrong
-
Petrov:2005:RCF, 4(2)452--468
-
PGP, 7(2)11--11
-
phase, 5(3)613--657, 5(4)819--863, 11(z)41--41, 11(z)48--48,
11S_1(19)19, 11S_1(12)12, 11S_1(19)19, 12(1)6--6, 12(3)77--77,
12(4)109--109, 13(1)14--14, 13(2)20--20
-
phased, 13(1)14--14
-
phenomena, 13(2)23--23
-
phenomenon, 10(1)5--5
-
phone, 5(3)577--612, 5(3)658--686, 6(3)18--18, 7(2)10--10, 11(3)66--66,
11(z)48--48, 12_1s_37_37, 12(2)22--22, 13_2s_60_60
-
phone, video-, 7(2)17--17
-
photo, 11(4)72--72, 12(2)22--22
-
Physical, Cyber-, 11(4)80--80, 11(4)84--84, 11(z)49--49,
11(z)57--57, 12_1s_49_49, 12_2s_95_95
-
physical, Cyber-, 11(4)78--78, 11(4)79--79, 11(4)83--83
-
physical, cyber-, 11(4)75--75, 11(4)76--76, 11(4)78--78,
11(4)80--80, 11(4)82--82, 11(4)83--83, 11(4)84--84, 11(z)49--49,
11(z)54--54, 11(z)57--57, 12_1s_46_46, 12_1s_49_49, 12_2s_95_95,
12_2s_97_97, 12(3)69--69, 13_2s_66_66
-
physically, 8(2)16--16, 12_1s_43_43
-
physically-distributed, 11(4)79--79
-
physicians, 12(4)100--100
-
physics, 12_2s_87_87
-
physiologic, 11(z)47--47
-
physiological, 10(1)11--11, 10(4)48--48, 11(z)47--47, 12(4)99--99,
12(4)100--100, 12(4)103--103
-
PIC, 7(2)12--12
-
PICA, 11(2)26--26
-
picture, 11(z)51--51, 12(2)22--22
-
PID, 11(z)58--58, 13(2)16--16
-
piece, 10(3)34--34, 12_1s_39_39
-
piecewise, 13_1s_36_36
-
Piel, Éric, 10(4)39--39, see Gamatié, Abdoulaye
-
Pietro, Giuseppe, De, 10(1)12--12
-
pigments, 12(2)22--22
-
Piguet, Christian, 12_2s_93_93
-
Piguet, Christian, see Lingamneni, Avinash
-
pilot, 10(1)11--11
-
Pimentel, Andy D., 11(4)70--70, 11S_1(11)11, 13_1s_27_27
-
Pimentel, Andy D., see Berekovic, Mladen,
see Jia, Zai Jian
-
Pimentel:2012:ISS, 11(4)70--70
-
Pin-Accurate, 7(2)22--22
-
pinpoint, 6(4)23--23
-
Pinto, Alessandro, 4(3)472--499
-
Pinto, Alessandro,
see Sangiovanni-Vincentelli, Alberto L.
-
pipeline, 3(1)114--139, 6(1)3--3, 6(1)4--4, 6(4)24--24, 7(3)36--36,
10(4)47--47, 11(4)72--72, 11(z)44--44, 12_1s_40_40, 12_1s_44_44,
13_1s_33_33, 13(2)18--18
-
pipelined, 6(4)27--27, 8(2)11--11, 8(4)32--32, 10(4)44--44, 10(4)47--47,
11(2)38--38, 11(4)72--72, 11(z)44--44, 13_1s_33_33, 13_1s_37_37
-
pipelined, software-, 2(4)590--613
-
pipelined/out-of-order, 13_1s_37_37
-
pipelining, 7(4)40--40, 8(2)12--12, 10(4)44--44, 10(4)47--47,
12_1s_35_35, 13(1)8--8
-
Pisano, Alessandro, 6(4)27--27
-
Pisano, Alessandro, see Carta, Salvatore
-
pitfalls, 11(3)69--69
-
Pitter, Christof, 10(1)9--9
-
Pitter:2010:RTJ, 10(1)9--9
-
Pittman, Richard Neil, 12(3)72--72
-
Pittman, Richard Neil, see Liu, Shaoshan
-
pixel, 12(2)21--21
-
pixel/cycle, 11(4)72--72
-
pixels, cover-, 12(2)21--21
-
Pizlo, Filip, 7(1)5--5, 10(1)4--4
-
Pizlo, Filip, see Armbruster, Austin,
see Spring, Jesper Honig
-
Pla, Edward, 7(1)5--5
-
Pla, Edward, see Armbruster, Austin
-
place, 6(3)20--20, 8(3)21--21, 10(1)2--2, 10(1)5--5, 10(2)28--28,
10(4)41--41, 11(2)34--34, 12(1)2--2, 12(1)11--11, 12(2)27--27,
12_2s_88_88, 13(1)14--14, 13(2)16--16, 13_2s_66_66
-
place, complementary-, 12(1)2--2
-
place, execution-in-, 8(1)6--6
-
place, In-, 12_2s_91_91
-
place, in-, 12_2s_91_91
-
place, multiple-, 12_2s_91_91
-
placed, 6(2)11--11, 7(2)11--11, 11(3)63--63
-
placement, 7(2)11--11, 7(2)12--12, 8(3)21--21, 8(4)28--28, 9(2)12--12,
11(3)63--63, 11(z)48--48, 11S_1(16)16
-
plain, 8(4)26--26
-
Plaks, Toomas P., 9(1)1--1, 9(2)10--10, 11(z)39--39
-
Plaks:2009:GECa, 9(1)1--1
-
Plaks:2009:GECb, 9(2)10--10
-
Plaks:2012:ESS, 11(z)39--39
-
plane, 13_2s_63_63
-
plane, data-, 7(4)41--41, 8(2)13--13
-
planner-controller, 11(z)53--53
-
planner-generated, 11(z)53--53
-
planning, 11(z)43--43, 11(z)53--53, 13_1s_33_33, 13_2s_57_57
-
plant, 11(4)76--76, 11(z)53--53, 13(2)16--16
-
plant, balance-of-, 11(4)76--76
-
platform, cross-, 12(2)30--30
-
Platform-Based, 12_1s_49_49
-
platform-based, 7(4)39--39, 11(2)29--29, 11(z)58--58
-
platform-dependent, 11(4)82--82
-
platform-independent, 8(4)30--30, 10(2)21--21, 10(4)42--42, 11(1)2--2,
11(4)82--82, 13(2)19--19
-
platform-specific, 8(4)30--30
-
Platzner, Marco, 9(1)8--8
-
Platzner, Marco, see Lübbers, Enno
-
play, 11(1)1--1, 11(3)66--66, 12(1)3--3, 12_1s_51_51, 12(4)110--110,
13_2s_57_57
-
play, plug-and-, 13_1s_27_27
-
player, 6(3)18--18, 7(2)10--10, 7(3)27--27, 7(4)38--38, 11(3)64--64,
11(z)55--55
-
playing, 6(4)26--26, 7(3)25--25
-
Playstation, 13(1)5--5
-
PLD, 13(2)16--16
-
plenty, 8(3)19--19
-
PL/OO, 13_1s_37_37
-
PLRU, 12_1s_42_42
-
PLTL-partitioned, 4(2)267--301
-
plug-and-play, 13_1s_27_27
-
pluggable, 8(2)15--15
-
plugged, 6(4)30--30
-
plus, 7(2)12--12
-
PMs, 10(1)11--11
-
PN, 6(2)13--13
-
pn, 13_1s_28_28
-
Pnevmatikatos, Dionisios, 7(4)37--37
-
Pnevmatikatos, Dionisios, see Hessell, Fabiano
-
PNs, 13_1s_28_28
-
Poetzsch-Heffter, Arnd, 10(2)20--20
-
Poetzsch-Heffter, Arnd, see Adler, Rasmus
-
point, 6(4)28--28, 7(2)9--9, 8(2)10--10, 8(2)11--11, 8(2)14--14,
9(4)33--33, 10(1)11--11, 10(1)12--12, 11(1)5--5, 11(2)35--35,
11(2)37--37, 11(3)69--69, 11(z)53--53, 11S_1(15)15, 11S_1(21)21,
12(1)2--2, 12(2)22--22, 12(3)76--76, 12(3)79--79, 13(1)4--4,
13(1)7--7, 13_1s_27_27, 13(2)20--20, 13(3)43--43, 13(3)46--46
-
point, fixed-, 7(3)26--26, 13(1)7--7, 13(3)48--48
-
point, floating-, 13(2)17--17
-
point, point-to-, 13_2s_73_73, 13(3)45--45
-
point-to-point, 13_2s_73_73, 13(3)45--45
-
pointed, 13(2)16--16
-
pointer, 5(4)753--772, 7(2)15--15, 11S_1(23)23, 12(2)28--28,
12(3)68--68, 13(2)24--24
-
pointer, single-, 12(2)28--28
-
pointillism, 12(2)22--22
-
pointillist, 12(2)22--22
-
polices, 13_1s_32_32
-
policing, 10(1)2--2
-
policy-specific, 13_1s_32_32
-
Poly-DWT, 11(1)6--6
-
polyhedral, 12_1s_34_34, 13_1s_28_28
-
polymorphic, 9(2)11--11, 11(1)6--6
-
polymorphism, 8(4)29--29
-
polynomial, 5(3)513--542, 6(2)13--13, 7(3)28--28, 9(4)34--34,
11(z)53--53, 13(3)48--48
-
polynomial, pseudo-, 13_2s_65_65
-
polynomial-time, 7(3)28--28
-
polynomially, 6(2)14--14
-
PolyORB-HI, 7(4)42--42
-
Poncino, Massimo, 2(1)5--32, 5(2)383--407, 6(4)31--31
-
Poncino, Massimo, see Benini, Luca,
see Loghi, Mirko
-
pool, 7(2)13--13
-
poor, 7(2)10--10, 7(2)21--21
-
Pop, Paul, 4(1)112--140, 11(3)61--61
-
Pop, Paul, see Izosimov, Viacheslav
-
Pop:2005:SDF, 4(1)112--140
-
Popovici, Katalin, 7(4)39--39
-
Popovici:2008:PBS, 7(4)39--39
-
popular, 5(3)577--612, 5(3)658--686, 6(2)12--12, 7(3)31--31, 10(1)5--5,
10(2)16--16, 11(1)9--9, 11(2)34--34, 11(4)88--88, 11S_1(22)22,
12(1)5--5, 12_1s_49_49, 12_2s_89_89, 13_1s_33_33, 13(2)22--22,
13(2)25--25, 13(3)42--42, 13(3)43--43
-
popularity, 13(2)25--25
-
popularized, 12(2)29--29, 13(2)21--21
-
population, 10(1)11--11
-
Porrmann, Mario, 13(2)18--18
-
Porrmann, Mario, see Jungeblut, Thorsten
-
port, 7(3)29--29, 8(4)29--29, 12_2s_97_97, 12(3)72--72
-
portability, 6(3)18--18, 8(2)15--15, 8(2)17--17, 11(2)32--32,
13(1)10--10
-
portability, ultra-, 13(3)41--41
-
portable, 5(4)819--863, 7(2)11--11, 7(4)44--44, 8(3)21--21, 8(3)23--23,
9(4)30--30, 11(2)29--29, 11(2)30--30, 11(z)55--55, 12_2s_93_93,
12(3)71--71, 13(1)6--6
-
portable, Size-, 8(3)21--21
-
portable, time-, 8(2)15--15
-
ported, 11(1)5--5
-
Porter, Joseph, 11(4)75--75
-
Porter, Joseph, see Koutsoukos, Xenofon
-
porting, 8(2)17--17
-
portion, 12_2s_91_91
-
pose, 6(3)16--16, 7(3)35--35, 13(3)41--41
-
posed, 6(3)20--20
-
position, 8(1)6--6, 10(1)14--14, 12(2)30--30, 12(3)76--76, 13(1)4--4
-
positioning, 11(1)3--3, 11(3)65--65
-
positively, 10(3)31--31
-
POSIX, 10(1)2--2
-
Posix, 8(2)17--17
-
possess, 12(1)15--15, 12(2)22--22
-
Possession, 7(4)44--44
-
possibility, 5(4)773--818, 7(3)23--23, 7(4)46--46, 13(1)1--1
-
possible, 5(3)613--657, 6(1)3--3, 7(2)11--11, 7(2)15--15, 7(3)26--26,
7(3)27--27, 7(4)38--38, 7(4)44--44, 8(1)6--6, 8(3)17--17, 10(1)2--2,
10(1)4--4, 10(1)5--5, 10(1)6--6, 10(1)9--9, 10(1)12--12, 10(2)20--20,
10(3)34--34, 10(3)35--35, 10(4)47--47, 11(1)1--1, 11(4)73--73,
11(z)53--53, 11S_1(13)13, 12(1)14--14, 12(1)18--18, 12_1s_34_34,
12_1s_44_44, 12(2)23--23, 12(3)84--84, 12(4)105--105, 13(1)8--8,
13_1s_28_28, 13_1s_32_32, 13_1s_33_33, 13_1s_34_34, 13(3)46--46
-
possibly, 6(1)7--7, 6(4)31--31, 7(3)23--23, 13_1s_27_27
-
Post-Pass, 10(4)40--40
-
post-pass, 10(4)40--40
-
post-processing, 12(3)84--84
-
postcache, 7(3)35--35
-
postfabrication, 7(4)40--40, 8(2)12--12
-
postpass, 7(2)11--11
-
postponed, 13_2s_69_69
-
postregister, 5(3)613--657
-
postural, 10(1)14--14
-
posture, 10(1)13--13, 10(1)14--14
-
potential, 5(3)613--657, 6(3)15--15, 6(3)16--16, 7(4)40--40, 7(4)44--44,
8(2)10--10, 8(2)12--12, 8(3)24--24, 10(1)2--2, 10(1)11--11,
11(1)6--6, 11(2)36--36, 11(3)65--65, 12_2s_92_92, 12(4)103--103,
13(1)9--9, 13(1)12--12, 13_1s_39_39, 13(2)19--19, 13(2)25--25
-
potentially, 6(1)2--2, 10(1)2--2, 11(1)6--6, 11(2)34--34, 11(2)37--37,
12_2s_88_88
-
Potkonjak, Miodrag, 2(1)74--97, 6(3)16--16
-
Potkonjak, Miodrag, see Koushanfar, Farinaz,
see Qu, Gang
-
Pottier, Bernard, 9(1)1--1, 9(2)10--10
-
Pottier, Bernard, see Plaks, Toomas P.
-
Pouzet, Marc, 5(3)687--717
-
Pouzet, Marc, see Girault, Alain
-
Powell, Jr., Harry C., 11(z)50--50
-
Powell, Jr., Harry C., see Hanson, Mark A.
-
Power, Low-, 11(2)30--30
-
power, Low-, 8(1)5--5, 8(2)9--9
-
power, low-, 3(4)686--705, 5(3)658--686, 7(2)17--17, 7(2)20--20,
7(3)24--24, 7(3)34--34, 11(2)26--26, 11(2)30--30, 12_1s_33_33,
13(1)9--9, 13(2)19--19
-
power, lowest-, 8(3)23--23
-
power, memory-, 8(3)17--17
-
power, peak-, 13_2s_65_65
-
power, real-, 5(3)577--612
-
power, ultra-low-, 13(1)7--7
-
power--speed, 6(4)30--30
-
power-attacks, 3(1)92--113
-
power-aware, 2(3)251--254, 2(3)255--276, 3(2)284--306, 7(1)3--3,
7(3)28--28, 12(3)75--75, 13_1s_40_40
-
power-awareness, 12(4)111--111
-
power-conscientious, 13(3)41--41
-
power-constrained, 11(2)37--37
-
power-consumption, 8(3)23--23
-
power-control, 11(2)27--27
-
power-efficient, 6(1)3--3, 7(3)34--34, 13_2s_71_71
-
power-efficient, static-, 2(3)347--372
-
power-management, 9(4)41--41
-
Power-Performance, 11(3)68--68
-
power-saving, 2(3)325--346
-
power-sensitive, 13(3)41--41
-
power-simulation, 6(1)4--4
-
powered, 11(4)76--76
-
powered, battery-, 2(3)277--324, 8(1)8--8, 13_2s_68_68
-
power/energy, 13(2)17--17
-
powerful, 5(3)577--612, 10(4)41--41, 11(2)32--32, 11(4)76--76,
12(3)70--70, 13(2)24--24
-
powering, 12(4)111--111
-
PowerNet, 13_2s_56_56
-
PowerPC, 6(1)6--6, 7(1)3--3
-
power/performance, 11(2)36--36
-
powertrain, 11(4)85--85
-
PPE, 11S_1(13)13
-
PPN, 12_1s_34_34, 13_1s_28_28
-
PPNs, 13_1s_28_28
-
PPP, 12_1s_47_47
-
PPPs, 12_1s_47_47
-
PR, 12(1)2--2, 12(1)11--11, 12(3)72--72
-
Prabhakaran, B., 11(z)47--47
-
Prabhakaran, B., see Pradhan, Gaurav N.
-
practical, 6(4)29--29, 7(3)28--28, 7(3)33--33, 8(4)31--31, 9(4)30--30,
9(4)34--34, 10(1)14--14, 11(3)65--65, 12(1)13--13, 12_2s_92_92,
13_1s_33_33, 13_2s_66_66
-
practice, 7(3)23--23, 9(2)12--12, 11(z)54--54, 12_1s_40_40,
12_2s_89_89, 12_2s_94_94, 13(1)13--13
-
Pradhan, Gaurav N., 11(z)47--47
-
Pradhan:2012:AVJ, 11(z)47--47
-
pragma, 6(1)6--6
-
PRAM, 12_1s_36_36
-
Prasad, Sai, 12(4)100--100
-
Prasad, Sai, see Wouhaybi, Rita H.
-
Prasanna, Viktor K., 5(2)355--382
-
Prasanna, Viktor K., see Ou, Jingzhao
-
PRC, 11(z)40--40
-
Pre, 8(2)12--12
-
pre-launch, 12_1s_37_37
-
precede, 6(3)18--18
-
precedence, 7(1)6--6, 9(4)33--33, 12(1)14--14, 13(3)47--47
-
precharacterization, 7(4)44--44
-
precious, 7(3)34--34, 8(1)6--6
-
precise, 11(1)3--3, 12_2s_87_87, 13_2s_65_65
-
precisely, 5(3)687--717, 9(4)37--37, 12_1s_50_50, 12(2)20--20
-
precision, 6(1)3--3, 6(4)25--25, 7(3)26--26, 12(2)25--25
-
precompiled, 6(1)5--5
-
precondition, 10(4)47--47
-
preconditioning, 10(4)47--47
-
predicate, 5(1)152--199, 12(1)16--16
-
predicated, 5(3)658--686
-
predication, 6(1)3--3
-
predict, 6(4)25--25, 7(1)4--4, 7(3)27--27, 11(1)2--2, 11(4)73--73,
11(z)55--55, 11S_1(24)24, 13_1s_39_39
-
predictability, 5(4)753--772, 8(1)7--7, 10(1)7--7, 10(2)18--18,
11(2)29--29, 11(4)71--71, 12_1s_48_48, 12(3)79--79, 13_1s_32_32
-
predictable, 6(4)28--28, 7(1)4--4, 10(2)16--16, 10(3)30--30, 11(2)32--32,
11(4)82--82, 11(4)88--88, 11(z)58--58, 12_1s_48_48, 13_1s_32_32
-
predictable, time-, 10(1)9--9
-
predicted, 9(4)30--30, 11(z)55--55
-
predicting, 10(2)22--22, 11(2)35--35, 11S_1(24)24
-
prediction, 6(2)11--11, 7(3)32--32, 7(3)36--36, 11(1)2--2, 11S_1(24)24,
12(2)24--24, 13(1)3--3, 13_1s_39_39, 13_2s_73_73
-
predictive, 12_2s_96_96, 13_1s_36_36
-
predictor, 6(2)11--11, 12(4)99--99
-
predominantly, 7(2)19--19
-
preemptable, non-, 12(3)67--67
-
preempted, 6(1)7--7
-
preempting, 6(1)7--7
-
preemption, 6(1)7--7, 6(4)25--25, 7(2)17--17, 7(3)27--27, 8(2)14--14,
10(2)27--27, 12(1)5--5
-
preemptive, 6(1)7--7, 6(4)25--25, 7(2)15--15, 8(2)14--14, 10(1)3--3,
10(2)27--27, 12(1)5--5, 13_2s_69_69
-
preexisting, 11(4)81--81
-
prefabrication, 7(4)40--40, 8(2)12--12
-
Preface, 4(4)707--707
-
preference, 11(1)10--10
-
prefetch, 6(1)3--3, 7(3)24--24
-
prefetcher, 6(1)3--3
-
prefetching, 6(1)3--3, 8(1)7--7, 13_1s_30_30
-
prehash, 8(3)19--19
-
preliminary, 12_1s_50_50, 12(4)102--102, 13(1)9--9
-
premise, 13_1s_34_34
-
preprocessing, 8(3)21--21
-
prescribes, 11(4)78--78
-
presence, 7(2)19--19, 7(3)31--31, 7(4)44--44, 8(2)15--15, 8(3)21--21,
10(1)4--4, 10(2)18--18, 10(2)21--21, 10(4)47--47, 11(2)35--35,
11(4)80--80, 11(4)87--87, 11S_1(23)23, 12_2s_94_94, 12(4)106--106,
13_2s_68_68
-
presented, 5(4)773--818, 5(4)864--883, 6(2)13--13, 9(4)37--37, 10(1)6--6,
10(1)9--9, 10(2)18--18, 11(1)1--1, 11(1)8--8, 11(2)31--31,
11(3)62--62, 11(3)67--67, 11(3)69--69, 11(4)82--82, 11(z)43--43,
11(z)53--53, 11(z)54--54, 12(1)4--4, 12(1)11--11, 12_1s_33_33,
12_1s_40_40, 12_1s_44_44, 12(2)25--25, 12(3)74--74, 12(4)101--101,
12(4)105--105, 13(1)3--3, 13(1)7--7, 13(1)10--10, 13_1s_28_28,
13(2)16--16, 13_2s_56_56, 13_2s_70_70
-
preservation, 7(2)15--15, 8(2)14--14, 12(1)4--4
-
preserve, 6(3)16--16, 7(3)26--26, 7(4)39--39, 8(2)14--14, 12(1)4--4,
12_1s_45_45, 12_2s_88_88, 12(3)83--83
-
preserved, 13_1s_37_37
-
preserve/restore, 8(2)14--14
-
preserving, 6(3)16--16
-
preserving, Semantics-, 7(2)15--15
-
preserving, semantics-, 7(2)15--15
-
pressing, 6(1)4--4
-
pressure, 6(3)17--17, 8(3)20--20, 10(4)47--47
-
Prete, C. A., 4(4)934--965
-
Prete, C. A., see Bartolini, S.
-
pretest, 8(3)19--19
-
prevailing, 13(3)50--50
-
prevalent, 8(3)19--19, 12_1s_43_43, 13_1s_40_40, 13_2s_66_66
-
prevent, 7(4)46--46, 11(3)62--62
-
preventing, 5(4)753--772, 12(4)105--105
-
prevention, 12(1)8--8, 12(1)11--11, 12(4)99--99
-
previous, 5(3)577--612, 6(4)23--23, 7(1)3--3, 7(3)26--26, 7(4)41--41,
7(4)44--44, 8(2)13--13, 8(2)15--15, 9(4)35--35, 9(4)40--40,
10(2)18--18, 11(2)26--26, 11(3)63--63, 11(3)67--67, 11(3)69--69,
11(4)72--72, 11(z)42--42, 11S_1(21)21, 12_2s_89_89, 12_2s_93_93,
12(3)80--80, 13(1)3--3, 13(1)8--8, 13(1)14--14, 13_1s_34_34,
13_1s_38_38, 13(2)21--21
-
previously, 5(4)719--752, 7(1)1--1, 11(2)31--31, 12_2s_94_94,
12(3)74--74, 13(3)50--50
-
previously-proposed, 13_2s_65_65
-
prewritten, 6(3)18--18
-
price, 8(1)4--4, 8(1)6--6, 8(3)23--23, 13_2s_57_57
-
pricing, 13_2s_57_57
-
Prieto, Manuel, 13_1s_35_35
-
Prieto, Manuel, see Sanz, Concepción
-
primarily, 8(1)8--8, 10(3)31--31, 13(2)19--19, 13_2s_61_61
-
primary, 6(1)2--2, 9(4)41--41, 10(1)5--5, 11(4)80--80, 11(4)83--83,
12_2s_92_92
-
primary-backup, 11(4)82--82
-
prime, 11(4)83--83
-
primitive, 5(3)543--576, 6(4)22--22, 6(4)31--31, 11(1)6--6
-
principally, 7(3)29--29
-
principle, 7(2)16--16, 12_2s_87_87
-
prior, 6(1)7--7, 6(2)14--14, 7(3)35--35, 10(3)31--31, 10(3)33--33,
12_1s_48_48, 12(3)78--78, 13_1s_39_39, 13_2s_66_66
-
priori, 6(4)23--23, 10(2)25--25
-
prioritized, 10(4)48--48
-
priority, 6(4)28--28, 7(1)6--6, 7(2)15--15, 7(2)19--19, 7(3)27--27,
8(4)31--31, 9(4)42--42, 10(1)2--2, 10(1)3--3, 10(1)9--9, 10(3)31--31,
11(4)85--85, 13_1s_32_32, 13(3)47--47
-
priority, dynamic-, 10(2)25--25
-
priority, fixed-, 2(3)393--430, 6(4)29--29, 10(3)31--31,
11(4)83--83
-
priority, high-, 9(4)42--42, 10(1)6--6
-
Priority-Assignment, Criticality-As-, 11(4)83--83
-
priority-based, 7(3)27--27, 10(1)3--3, 11(4)85--85
-
privacy, 12(2)29--29
-
Privat, Jean, 10(1)4--4
-
Privat, Jean, see Spring, Jesper Honig
-
private, 7(4)41--41, 8(2)13--13, 8(2)15--15
-
privileged, 11(3)60--60
-
privileges, 11(3)60--60
-
Pro, 6(1)6--6, 8(3)22--22
-
proactively, 7(3)31--31
-
PROARTIS, 12_2s_94_94
-
probabilistic, 6(3)15--15, 7(3)34--34, 12(1)13--13, 12_2s_86_86,
12_2s_87_87, 12_2s_91_91, 12_2s_92_92, 12_2s_93_93,
12_2s_94_94, 12_2s_95_95, 13_1s_39_39, 13(3)43--43
-
probabilistically, 12_2s_94_94
-
probability, 8(4)28--28, 10(4)43--43, 11(1)7--7, 11(3)59--59,
11(z)55--55, 12(1)13--13, 12(2)22--22, 12_2s_92_92, 13_2s_72_72
-
probably, 10(1)6--6
-
probing, 5(3)577--612
-
problem., 9(4)42--42
-
problematic, 11(z)46--46
-
procedural, 6(2)14--14
-
procedure, 6(1)2--2, 6(2)14--14, 8(4)32--32, 11(4)85--85, 11(z)54--54,
12(1)7--7, 12(4)106--106, 13(1)8--8, 13_1s_39_39, 13_2s_67_67
-
process, interrupt-, 9(4)42--42
-
process, single-, 7(4)41--41
-
process-control, 11(4)78--78
-
Process-variation-aware, 13_2s_61_61
-
processed, 10(2)17--17, 10(4)44--44
-
processing, data-, 13(3)45--45
-
processing, Media-, 7(2)10--10
-
processing, post-, 12(3)84--84
-
processing, signal-, 5(3)658--686, 6(2)13--13, 6(2)14--14,
7(3)26--26, 8(3)23--23
-
processing, stream-, 10(2)17--17, 13(3)45--45
-
processing, video-, 9(4)38--38
-
processor, 24-, 13(1)7--7
-
Processor, Multi-, 12_1s_34_34
-
processor, multi-, 12_1s_47_47
-
processor, single-, 6(1)7--7, 7(3)23--23, 11S_1(13)13
-
processor-based, 3(3)614--633, 11(1)5--5, 12(3)71--71
-
Processor-demand, 12(3)67--67
-
processor-memory, 3(1)140--162
-
processor/accelerator, 13(2)24--24
-
processorash, 13(2)24--24
-
Processors, Multi-, 11(3)64--64
-
processors/cores, 8(2)10--10
-
Prochazka, Marek, 7(1)5--5
-
Prochazka, Marek, see Armbruster, Austin
-
produce, 5(4)819--863, 6(1)4--4, 6(1)6--6, 6(4)29--29, 7(2)22--22,
9(4)34--34, 10(4)39--39, 11(4)78--78, 12(2)22--22, 12_2s_87_87,
12_2s_88_88, 12_2s_94_94, 12(4)108--108, 13(2)24--24
-
produced, 7(2)15--15
-
producer--consumer, 6(4)30--30
-
producing, 11(2)34--34
-
product, 7(3)24--24, 7(3)26--26, 9(4)31--31, 11(2)31--31, 11S_1(24)24,
12_2s_93_93, 13(1)7--7, 13(1)10--10, 13(3)49--49
-
production, 6(1)5--5, 7(3)29--29, 8(2)10--10, 12(1)14--14, 12(1)18--18,
12_1s_51_51
-
productive, 12_1s_47_47
-
productivity, 7(4)39--39, 11S_1(23)23
-
productivity-enhancing, 11(z)41--41
-
profile, 5(3)613--657, 6(4)30--30, 7(3)26--26, 8(1)2--2, 8(4)30--30,
10(3)32--32, 11(3)69--69, 12(3)68--68, 12(3)83--83, 12(3)85--85
-
profiled, 13(1)5--5
-
profiler, 6(2)12--12, 10(3)32--32
-
profiling, 5(3)613--657, 7(2)11--11, 8(3)18--18, 10(3)32--32,
12(3)85--85, 13_2s_59_59, 13(3)51--51
-
profitability, 13(1)8--8
-
profitable, 10(2)26--26, 11(2)26--26
-
program, whole-, 6(4)22--22
-
programmability, 8(1)5--5, 11S_1(14)14, 13(1)13--13, 13(3)45--45
-
programmable, 5(3)658--686, 6(3)17--17, 9(4)32--32, 11(1)10--10,
12_1s_51_51, 13(2)16--16, 13(2)23--23
-
Programmable, Field-, 13(2)23--23
-
programmable, field-, 7(2)21--21, 11(2)36--36, 12(3)71--71,
13(1)13--13
-
programmed, 6(2)13--13, 7(2)21--21, 10(4)44--44, 12_1s_39_39,
13_1s_34_34
-
programmer, 5(3)543--576, 5(4)819--863, 8(4)29--29, 11S_1(20)20,
13(2)21--21
-
programming-in-the-large, 5(3)543--576
-
progress, 6(1)2--2, 11(z)53--53, 11S_1(22)22, 13_1s_33_33
-
progressed, 13(2)16--16
-
prohibitive, 13_1s_38_38, 13(2)24--24
-
prohibitive, cost-, 12_2s_97_97
-
prohibitively, 8(4)32--32, 11S_1(22)22
-
project, 11(4)83--83, 12(2)30--30
-
proliferation, 13(1)6--6
-
PROMELA, 11(z)56--56
-
prominence, 12_2s_93_93
-
prominent, 9(4)39--39
-
promise, 11(z)48--48
-
promising, 6(1)8--8, 7(1)1--1, 8(1)8--8, 8(4)32--32, 10(1)13--13,
11(2)26--26, 11(2)28--28, 11(z)43--43, 11S_1(18)18, 12(4)100--100,
13_1s_33_33, 13_1s_36_36, 13_2s_71_71
-
prone, 11(z)55--55, 13_2s_66_66
-
prone, error-, 7(4)42--42, 13_1s_28_28, 13_1s_37_37
-
pronounced, 13_2s_61_61
-
proof, 7(4)45--45, 11(2)34--34, 12(3)74--74
-
Proof-Based, 12(1)15--15
-
proof-of-concept, 13_1s_27_27
-
propagation, 6(1)8--8, 10(1)2--2, 11(3)65--65, 11S_1(13)13
-
propagation-based, 6(1)8--8
-
proper, 11(2)27--27, 11S_1(23)23
-
properly, 6(3)20--20, 6(4)29--29, 7(4)41--41, 8(2)13--13, 9(4)31--31,
13_2s_57_57, 13_2s_60_60
-
prophecy, 12_2s_87_87
-
proportional, 7(3)33--33, 8(2)9--9, 12_2s_87_87
-
Proportional-Integral-Derivative, 13(2)16--16
-
proportional-integral-derivative, 11(z)58--58
-
proportionally, 13(3)48--48
-
proposal, 10(4)42--42, 11(2)31--31, 13_1s_34_34, 13(2)19--19
-
proposed, previously-, 13_2s_65_65
-
proposing, 7(4)46--46, 11(z)47--47, 13_2s_65_65
-
proprietary, 6(1)5--5, 10(3)30--30
-
protect, 7(2)13--13, 10(1)11--11, 11(3)60--60, 11(3)69--69, 13_1s_38_38
-
protected, 8(1)8--8, 11(1)10--10, 11(3)60--60, 13_1s_38_38
-
protecting, 11(1)10--10
-
protection, 5(4)719--752, 7(2)13--13, 7(2)20--20, 7(2)21--21, 7(3)31--31,
10(3)30--30, 11(2)30--30, 12(3)71--71, 12(3)73--73, 13_1s_32_32
-
prototype, 7(3)36--36, 7(4)42--42, 8(4)29--29, 9(4)38--38, 9(4)42--42,
10(1)4--4, 10(1)9--9, 10(1)13--13, 10(1)14--14, 10(2)24--24,
11(1)6--6, 11(4)71--71, 11(4)75--75, 12(1)16--16, 12(1)18--18,
12_1s_43_43, 12(3)83--83, 12(3)84--84, 12(4)102--102, 13(1)1--1,
13(3)47--47
-
prototyped, 6(4)32--32, 11(1)10--10, 13(2)16--16
-
prototyping, 7(4)41--41, 7(4)42--42, 8(2)13--13, 12_1s_34_34,
12(3)71--71
-
provable, 11(4)80--80
-
provably, 6(3)16--16, 13_2s_66_66
-
prove, 5(3)613--657, 7(3)28--28, 7(3)31--31, 7(4)41--41, 8(2)13--13,
10(4)46--46, 11(1)1--1, 11(z)54--54, 11(z)55--55, 11S_1(21)21,
12(1)13--13
-
proved, 13_2s_63_63
-
proven, 8(2)16--16, 9(4)30--30, 10(4)41--41, 11(1)1--1, 11(2)32--32,
11S_1(14)14, 12_1s_51_51
-
prover, 11(2)34--34, 12(1)13--13
-
provided, 5(4)773--818, 6(4)27--27, 7(3)30--30, 8(3)22--22, 9(4)39--39,
9(4)40--40, 10(1)5--5, 10(1)14--14, 10(4)44--44, 11(3)69--69,
12(1)8--8, 12(3)67--67, 12(4)102--102, 12(4)105--105, 12(4)108--108,
12(4)109--109, 13(1)7--7, 13(3)48--48
-
provider, 11(1)2--2, 12(3)70--70
-
providing, 5(3)658--686, 6(2)10--10, 6(4)28--28, 7(1)1--1, 7(2)21--21,
8(3)22--22, 9(4)32--32, 9(4)35--35, 9(4)41--41, 10(1)2--2, 10(1)7--7,
10(3)32--32, 10(4)45--45, 11(4)75--75, 11(4)81--81, 11(z)47--47,
11S_1(22)22, 12(1)6--6, 12(2)24--24, 12(3)73--73, 12(4)109--109,
13_1s_33_33, 13(2)19--19, 13(2)24--24
-
proving, 12(1)16--16
-
provisioning, 11(2)37--37, 11(4)73--73, 11(4)83--83
-
pruning, 12_2s_93_93
-
Pruning-based, 4(1)141--167
-
pseudo-, 7(3)28--28
-
pseudo-polynomial, 13_2s_65_65
-
pseudoaddresses, 8(1)6--6
-
pseudofixed, 5(3)613--657
-
pseudopolynomial, 7(3)28--28
-
psychological, 12_1s_50_50
-
Puaut, Isabelle, 7(3)36--36
-
Puaut, Isabelle, see Wilhelm, Reinhard
-
public, 11S_1(12)12, 12(2)31--31, 12(3)73--73
-
public-key, 7(2)20--20
-
publication, 11(2)25--25
-
publish, 11(2)25--25
-
published, 6(2)12--12, 8(3)20--20, 9(4)32--32, 12(3)74--74
-
publisher--subscriber, 8(3)24--24
-
Puente, J. de la, 4(3)587--611
-
Puente, J. de la, see Caspi, P.
-
Puffitsch, Wolfgang, 10(1)6--6
-
Puffitsch, Wolfgang, see Schoeberl, Martin
-
pumps, 11(4)76--76
-
pure, 6(3)18--18, 11(1)4--4
-
purpose, 7(4)43--43, 8(2)16--16, 10(2)19--19, 10(2)24--24, 10(3)30--30,
11(1)8--8, 11(4)77--77, 12_1s_43_43, 12_1s_50_50, 12(4)103--103,
13_1s_32_32
-
Purpose, General-, 13(2)19--19
-
purpose, general-, 7(3)32--32, 7(4)40--40, 8(1)8--8, 8(2)12--12,
8(2)16--16, 8(3)24--24, 9(4)32--32, 10(3)33--33, 10(4)45--45,
11(1)10--10, 11(2)29--29, 13(1)13--13, 13(3)41--41, 13(3)49--49
-
purpose, special-, 8(2)10--10, 13(1)9--9
-
pursue, 12(3)70--70
-
pursued, 7(2)18--18
-
Puschner, Peter, 7(3)36--36
-
Puschner, Peter, see Wilhelm, Reinhard
-
pushed, 12(3)77--77
-
pushing, 13_2s_68_68
-
put, 6(1)8--8
-
Put, Ludo, Van, 6(1)5--5, 6(4)23--23
-
Putzke-Röming, Wolfram, 12(3)70--70,
see Voros, Nikolaos S.
-
puzzle, 12(4)99--99
-
PVC, 12_2s_96_96
-
PVC/DVC, 12_2s_96_96
-
pyramid, 13(3)42--42