Index file section P for tos.bib
Last update: Wed Aug 21 02:05:52 MDT 2024
Return to index directory
P
-
P, 14(3)21--21
-
P-SPTF, 5(1)1--1
-
P2P, 7(3)10--10
-
PA-SPTF, 5(1)1--1
-
packages, 2(1)74--105
-
packaging, 8(3)9--9
-
packet, 13(1)2--2
-
packing, 13(3)21--21
-
Padovani, Roberto, 15(1)2--2
-
Padovani, Roberto, see Luby, Michael
-
page, 4(1)3--3, 6(1)3--3, 8(1)1--1, 8(2)7--7, 9(4)13--13, 10(2)8--8,
11(1)4--4, 11(2)8--8, 12(2)6--6, 13(1)7--7, 13(4)37--37, 14(1)4--4,
14(1)5--5, 14(1)10--10, 14(1)11--11, 14(2)17--17, 14(3)25--25,
16(1)3--3, 16(3)17--17, 17(2)12--12, 19(2)15--15, 19(2)18--18,
20(2)13--13, 20(4)26--26
-
Page, Block-, 8(1)1--1
-
page-level, 12(3)15--15, 13(2)14--14, 15(3)17--17
-
page-mapped, 14(4)36--36
-
page-mapping, 11(1)4--4, 14(4)32--32
-
page-sized, 9(1)2--2
-
Page-state-aware, 19(2)18--18
-
page/block, 8(1)1--1
-
paged, demand-, 3(3)10--10
-
paging, 10(4)17--17, 14(4)36--36
-
paid, 13(2)16--16, 15(1)1--1
-
painful, 10(4)16--16
-
painfully, 8(4)15--15
-
painstakingly, 16(2)9--9
-
pair, 13(1)4--4, 13(4)37--37, 16(1)3--3
-
pair-wise, 15(3)16--16
-
paired, 13(4)37--37
-
Palmieri, Roberto, 15(1)6--6
-
Palmieri, Roberto, see Saad, Mohamed M.
-
Paluska, Justin Mazzola, 16(1)3--3
-
Paluska, Justin Mazzola, see Kuszmaul, Bradley C.
-
Pan, Anqun, 20(1)6--6
-
Pan, Anqun, see Wang, Shucheng
-
Pan, Cheng, 17(2)15--15
-
Pan, Riwei, 16(4)25--25
-
Pan, Riwei, see Ji, Cheng
-
Pan, Wen, 14(2)14--14
-
Pan, Wen, see Zhou, Deng
-
Pan, Yubiao, 7(3)11--11
-
Pan, Yubiao, see Xiang, Liping
-
Pan:2021:PLA, 17(2)15--15
-
Panda, Biswaranjan, 14(3)23--23
-
Panda, Biswaranjan, see Gunawi, Haryadi S.
-
Pandey, Prashant, 11(4)18--18, 13(1)3--3
-
Pandey, Prashant, see Jannen, William,
see Yuan, Jun
-
Pandurangan, Rajinikanth, 18(2)17--17
-
Pandurangan, Rajinikanth, see Bhimani, Janki
-
Pang, Ai-Chun, 4(4)12--12
-
Pang, Ai-Chun, see Huang, Chih-Yuan
-
Pang, Shujie, 19(2)18--18
-
Pang:2023:PCP, 19(2)18--18
-
Pangu, 18(1)6--6
-
Pannier, 13(3)24--24
-
Papagiannis, Anastasios, 17(1)7--7
-
Papagiannis:2021:KEM, 17(1)7--7
-
Papandreou, Nikolaos, 14(4)33--33
-
Papandreou, Nikolaos, see Pletka, Roman
-
paper, 4(2)5--5, 13(2)14--14, 16(1)2--2, 19(1)3--3, 20(1)6--6,
20(4)25--25
-
par, 13(3)19--19, 14(3)21--21
-
Paraboschi, Stefano, 11(4)19--19
-
Paraboschi, Stefano,
see De Capitani Di Vimercati, Sabrina
-
paradigm, 4(4)11--11
-
PARAID, 3(3)13--13
-
parallel, 5(3)8--8, 5(3)9--9, 5(3)10--10, 7(1)3--3, 9(2)5--5, 9(4)13--13,
12(3)13--13, 13(2)11--11, 13(4)32--32, 14(1)9--9, 14(2)18--18,
14(4)32--32, 15(4)26--26, 18(2)14--14, 20(2)11--11
-
Parallel-DFTL, 14(4)32--32
-
Parallel-LRU, 14(4)32--32
-
parallelism, 5(1)1--1, 5(3)8--8, 9(4)13--13, 10(2)5--5, 11(2)8--8,
11(3)14--14, 12(2)6--6, 12(3)13--13, 12(3)15--15, 13(1)4--4,
13(1)7--7, 13(2)16--16, 14(2)17--17, 14(4)32--32, 15(1)6--6,
15(1)7--7, 20(1)6--6
-
Parallelism-aware, 5(1)1--1
-
parallelization, 13(2)16--16, 15(1)6--6
-
parallelize, 12(4)23--23
-
parallelize, hard-to-, 15(1)6--6
-
parallelized, 4(4)11--11
-
Parallelizing, 15(1)6--6
-
parameter, 5(4)16--16, 11(2)5--5, 11(2)8--8, 11(3)13--13, 12(2)6--6,
12(3)17--17, 13(2)15--15, 13(2)17--17, 13(4)30--30, 14(2)19--19,
14(4)32--32, 15(2)14--14, 16(2)11--11, 17(2)14--14
-
parameter, two-, 10(2)7--7
-
parameterized, 13(2)17--17
-
parity, 4(1)1--1, 4(3)8--8, 5(3)7--7, 6(2)4--4, 6(4)17--17, 8(1)4--4,
9(2)4--4, 12(1)5--5, 12(3)11--11, 12(3)16--16, 12(4)22--22,
13(3)25--25, 16(1)6--6, 16(2)11--11, 19(2)18--18
-
Parity, Row-Diagonal-, 5(3)7--7
-
parity-based, 6(2)4--4, 6(4)17--17, 8(1)4--4, 13(3)22--22, 20(1)6--6
-
Parity-Check, 13(1)7--7
-
parity-check, 4(1)1--1
-
parity-check, single-, 4(1)1--1
-
PARIX, 16(1)6--6
-
Park, Changhyun, 11(2)8--8
-
Park, Changhyun, see Cho, Seokhei
-
Park, Jeongsu, 14(4)36--36
-
Park, Jeongsu, see Choi, Jin-Yong
-
Park, Jisung, 20(4)25--25
-
Park, Jisung, see Chun, Myoungjun
-
Park, Kibin, 16(3)15--15
-
Park, Kibin, see Kwak, Jaewook
-
Park, Kyu Ho, 4(4)14--14, 6(4)15--15, 13(4)32--32
-
Park, Kyu Ho, see Choi, Hyun Jin,
see Kim, Dongjin, \see{Shim, Gyudong
-
Park, Sangsoo, 13(1)8--8
-
Park, Sangsoo, see Joo, Yongsoo
-
Park, Youngwoo, 6(4)15--15
-
Park, Youngwoo, see Shim, Gyudong
-
Parker-Wood, Aleatha, 13(4)28--28
-
Parker-Wood:2017:ISI, 13(4)28--28
-
Parnell, Thomas, 14(4)33--33
-
Parnell, Thomas, see Pletka, Roman
-
part, 6(1)3--3, 8(1)4--4, 8(2)7--7, 11(1)4--4, 11(4)16--16, 15(2)15--15,
19(1)3--3
-
partial, 8(2)7--7, 11(1)4--4, 11(3)12--12, 14(2)17--17, 16(1)6--6
-
partial-stripe, 20(1)6--6
-
participant, 3(3)11--11, 8(3)8--8
-
particular, 3(4)1--1, 4(1)1--1, 6(2)4--4, 7(4)13--13, 8(2)5--5, 8(2)7--7,
9(3)9--9, 10(2)8--8, 11(2)7--7, 12(2)7--7, 12(3)17--17, 12(4)21--21,
13(1)6--6, 13(1)7--7, 14(1)11--11, 14(3)25--25, 14(3)27--27,
18(4)34--34
-
particularly, 5(2)6--6, 6(2)6--6, 7(4)14--14, 9(4)13--13, 13(4)29--29,
16(1)7--7
-
partition, 13(4)33--33, 13(4)40--40, 14(1)3--3, 14(2)17--17, 15(4)27--27
-
partition, cross-, 15(2)11--11
-
partitioning, 4(1)3--3, 8(1)1--1, 15(2)11--11, 16(2)14--14, 20(2)12--12
-
party, 5(1)2--2
-
party, third-, 5(1)2--2
-
Pash, 5(1)1--1
-
pass, 5(4)12--12, 12(2)7--7
-
passed, 3(2)5--5
-
passing, 18(2)18--18
-
passive, 10(4)16--16
-
past, 1(2)190--212, 2(1)74--105, 8(4)13--13, 11(2)9--9, 11(3)13--13,
13(2)16--16, 14(1)11--11, 14(2)12--12, 14(2)13--13, 14(4)30--30,
19(4)34--34
-
patch, 10(1)3--3, 16(1)6--6, 18(3)26--26
-
patched, 14(4)35--35
-
patching, 14(2)17--17
-
Patel, Naresh, 14(2)14--14
-
Patel, Naresh, see Zhou, Deng
-
Patel, Sagar, 16(3)16--16
-
Patel, Sagar, see Sun, Kuei
-
Patel, Yuvraj, 13(3)23--23, 17(2)12--12
-
Patel, Yuvraj, see Kesavan, Ram,
see Rebello, Anthony
-
path, 3(4)4--4, 8(2)5--5, 9(3)8--8, 10(2)5--5, 11(3)11--11, 11(3)12--12,
12(3)17--17, 12(4)18--18, 12(4)19--19, 13(1)2--2, 14(4)30--30,
15(3)16--16, 17(1)7--7, 17(2)11--11, 19(3)28--28, 20(1)2--2,
20(4)26--26
-
path, Full-, 14(3)22--22
-
path, full-, 14(3)22--22
-
Path-Indexed, Full-, 14(3)22--22
-
Patricia, 20(3)17--17
-
pattern, 2(3)349--369, 3(3)13--13, 3(4)3--3, 4(3)7--7, 4(3)10--10,
5(3)7--7, 8(2)6--6, 8(2)7--7, 9(3)10--10, 10(2)5--5, 10(3)11--11,
11(2)6--6, 11(4)19--19, 12(2)8--8, 12(3)13--13, 12(3)14--14,
12(4)21--21, 13(4)29--29, 13(4)30--30, 13(4)32--32, 14(2)13--13,
14(2)16--16, 14(2)19--19, 15(1)1--1, 15(4)28--28, 18(1)2--2,
20(4)26--26
-
pattern-aware, Data-, 20(2)12--12
-
Pattern-Based, 18(1)7--7
-
pattern-based, 13(4)32--32, 18(1)7--7
-
Pattern-Change-Aware, 13(4)32--32
-
pattern-change-aware, 13(4)32--32
-
pattern-changed, 13(4)32--32
-
Paul, Arnab K., 20(2)11--11, 20(3)18--18
-
Paul, Arnab K., see Zhao, Nannan
-
Paul:2024:TAE, 20(2)11--11
-
Paulo, João, 12(4)20--20
-
Paulo:2016:EDD, 12(4)20--20
-
Pavlovic, Vesna, 7(1)2--2
-
Pavlovic, Vesna, see Tomazic, Saso
-
Paxos, 16(1)3--3
-
Paxos-replicated, 16(1)3--3
-
pay, 10(2)6--6, 20(1)6--6
-
pay-as-you-go, 20(2)8--8
-
payloads, 15(3)16--16
-
PB-level, 14(3)28--28
-
PBR, 13(3)25--25
-
PBS, 16(1)6--6
-
PBS-like, 5(3)9--9
-
PC, 3(3)9--9, 18(3)24--24
-
PCI, 19(1)7--7
-
PCIe, 19(1)7--7
-
PCIe-based, 11(2)5--5, 14(4)31--31
-
PCM, 10(1)1--1, 10(3)11--11, 10(4)15--15, 14(1)3--3, 14(3)25--25,
14(3)27--27, 20(1)3--3
-
PCM, all-, 10(4)15--15
-
PCM-based, 20(1)3--3
-
PDAs, 6(1)1--1
-
PDP, 12(4)23--23
-
P/E, 13(1)7--7, 18(4)29--29
-
peak, 11(2)8--8
-
peak, off-, 12(4)20--20
-
peak-to-average, 14(3)27--27
-
Pease, David, 7(3)7--7
-
Pease, David, see Brinkmann, André
-
pedestrian, 3(3)9--9
-
peer, peer-to-, 3(3)12--12, 8(3)8--8
-
peer-to-peer, 3(3)12--12, 8(3)8--8
-
Pei, Shuyi, 15(1)7--7
-
Pei:2019:RPU, 15(1)7--7
-
Pelosi, Gerardo, 11(4)19--19
-
Pelosi, Gerardo, see De Capitani Di Vimercati, Sabrina
-
penalty, 4(1)2--2, 5(3)7--7, 9(3)10--10, 12(4)20--20, 13(3)24--24,
16(1)6--6, 17(2)15--15
-
Peng, Yuxing, 7(3)10--10
-
Peng, Yuxing, see Huang, Zhen
-
people, 12(3)14--14
-
per, 6(2)6--6, 12(1)5--5, 13(3)25--25, 13(3)27--27, 14(4)30--30,
19(3)28--28
-
per-application, 9(3)10--10
-
per-block, 13(3)24--24
-
per-compute, DRAM-, 18(2)13--13
-
Per-File, 12(4)18--18
-
per-file, 12(4)18--18, 14(2)13--13
-
per-I/O, 13(4)40--40
-
perceivable, user-, 13(2)16--16
-
perceive, 14(1)6--6
-
perceived, 9(4)12--12
-
perceived, application-, 5(4)15--15
-
perceived, user-, 4(4)11--11
-
percent, 13(4)38--38
-
percentage, 4(3)7--7, 10(4)16--16, 14(3)27--27
-
percentile, 13(3)22--22
-
Pereira, José, 12(4)20--20, see Paulo, João
-
perfect, 8(3)8--8, 10(3)9--9
-
Perfect, Near-, 13(3)22--22
-
perfectly, 4(3)9--9, 19(2)11--11
-
perform, 1(2)190--212, 3(1)z--99999999, 3(2)4--4, 5(3)10--10, 6(2)7--7,
8(1)2--2, 9(1)1--1, 9(3)10--10, 10(1)2--2, 10(3)10--10, 11(2)5--5,
12(1)4--4, 12(4)20--20, 12(4)23--23, 13(1)3--3, 13(2)11--11,
14(3)22--22, 15(4)28--28, 15(4)29--29, 16(1)6--6, 16(2)11--11,
16(4)23--23, 17(4)27--27
-
Performance, High-, 10(2)5--5, 10(3)11--11, 13(2)15--15,
18(2)14--14, 19(2)15--15, 19(2)20--20
-
performance, High-, 15(2)13--13, 18(2)13--13, 18(4)34--34,
19(4)30--30, 20(3)18--18
-
performance, high-, 3(3)8--8, 11(2)8--8, 11(3)14--14, 12(2)6--6,
12(3)15--15, 13(2)13--13, 13(4)39--39, 14(1)4--4, 14(4)30--30,
15(2)13--13, 15(3)19--19, 16(1)6--6, 17(1)6--6, 18(2)14--14,
18(2)16--16, 19(2)15--15, 19(4)32--32, 20(1)6--6, 20(2)11--11,
20(4)25--25
-
performance, lower-, 15(1)4--4
-
performance, price-, 3(2)6--6
-
Performance, Read-, 10(2)6--6
-
performance, risk-, 20(2)13--13
-
performance-critical, 17(2)14--14, 20(1)5--5
-
performance-oriented, 13(1)5--5
-
performance-punishing, 20(1)6--6
-
performance-relevant, 11(4)16--16
-
performance-to-cost, 16(3)18--18
-
performance., 3(3)10--10, 4(1)3--3
-
performant, high-, 15(4)28--28
-
performed, 4(1)2--2, 6(2)7--7, 10(2)8--8, 13(1)7--7, 13(4)30--30,
14(4)36--36, 15(1)4--4, 16(1)3--3
-
performing, 13(2)14--14, 13(3)19--19, 14(1)4--4
-
performing, best-, 3(3)10--10
-
performing, high-, 14(4)34--34
-
period, 4(3)7--7, 4(3)8--8, 4(3)10--10, 5(2)4--4, 5(2)5--5, 8(1)1--1,
8(1)4--4, 9(2)4--4, 9(3)8--8, 11(4)17--17, 12(2)8--8, 12(4)20--20,
12(4)22--22, 14(2)13--13, 14(2)19--19
-
periodic, 10(3)12--12
-
periodically, 11(3)12--12
-
peripheral, 10(1)2--2
-
permanently, 11(1)4--4
-
permits, 1(2)190--212
-
Perseid, 20(2)9--9
-
Perseus, 19(4)33--33
-
persist, 5(4)12--12, 15(1)1--1
-
persisted, 15(1)1--1, 15(2)14--14
-
persistence, 8(2)5--5, 12(1)3--3, 14(1)3--3, 14(1)4--4, 17(3)23--23
-
persistence, volatility-, 12(1)3--3
-
persistence-efficient, 15(3)17--17
-
persistency, 11(3)12--12
-
persistent, 4(3)10--10, 8(4)13--13, 9(3)7--7, 11(1)3--3, 11(3)14--14,
11(4)16--16, 12(1)3--3, 13(1)5--5, 14(1)3--3, 14(1)4--4, 14(1)5--5,
14(1)6--6, 14(1)7--7, 14(3)22--22, 14(4)34--34, 15(2)13--13,
15(3)17--17, 15(3)20--20, 16(1)3--3, 16(3)17--17, 16(4)24--24,
17(1)6--6, 17(1)7--7, 17(3)19--19, 17(3)20--20, 17(3)23--23,
18(1)2--2, 18(4)30--30, 19(2)20--20, 19(3)21--21, 19(4)36--36
-
persistent, eager-, 14(1)4--4
-
persistent, lazy-, 14(1)4--4
-
Persistent-memory-related, 19(4)36--36
-
persistent-RAM, 2(3)309--348
-
persistently, 14(1)9--9
-
persisting, 14(1)6--6, 15(1)1--1
-
person, 12(3)17--17
-
personal, 3(3)12--12, 5(2)5--5, 8(2)6--6
-
perspective, 10(4)15--15, 11(2)8--8, 13(2)16--16, 14(1)6--6, 14(2)16--16,
14(4)34--34, 16(1)4--4, 19(4)34--34
-
pervasively, 1(2)246--275
-
petabytes, 9(1)1--1, 16(1)3--3
-
Peterson, Ryan, 3(4)1--1
-
Peterson, Ryan, see Maccormick, John
-
Peterson, Zachary, 1(2)190--212
-
Peterson:2005:ETS, 1(2)190--212
-
Pfefferle, Jonas, 14(4)30--30
-
Pfefferle, Jonas, see Trivedi, Animesh
-
PFSs, 18(2)14--14
-
phase, 10(4)15--15, 11(1)4--4, 14(1)3--3, 14(3)25--25, 14(3)27--27,
14(4)36--36, 20(1)3--3
-
phase-change, 10(3)11--11
-
phenomenon, 13(4)37--37
-
phone, budget-, 16(4)25--25
-
phones, 6(2)5--5
-
physical, 4(3)7--7, 4(4)14--14, 5(1)1--1, 6(1)3--3, 8(1)1--1, 8(2)7--7,
12(3)13--13, 12(3)15--15, 13(2)14--14, 13(4)37--37, 14(2)16--16,
14(3)26--26, 15(4)24--24, 16(1)5--5, 17(3)24--24, 20(4)24--24
-
physical, logical-to-, 8(1)3--3, 12(3)15--15, 14(4)32--32
-
physically, 2(1)74--105, 10(3)12--12, 12(4)18--18, 13(3)24--24,
19(1)6--6
-
piece, 18(2)18--18
-
piecemeal, 12(4)18--18
-
Pillai, Thanumalayan Sankaranarayana, 13(1)5--5, 13(3)19--19
-
Pillai, Thanumalayan Sankaranarayana, see Lu, Lanyue
-
Pillai:2017:ACC, 13(3)19--19
-
pilot, 8(4)14--14
-
PIM, 14(1)8--8, 14(1)9--9
-
pinpoint, 11(2)6--6
-
pinpointing, 4(3)9--9
-
pipeline, 15(1)7--7
-
pipelined, 16(1)3--3, 17(2)13--13
-
pipelining, 17(2)13--13
-
Pitchumani, Rekha, 12(1)2--2
-
Pitchumani, Rekha, see Jones, Stephanie N.
-
pitfalls, 14(4)34--34, 16(2)9--9
-
pivotal, 19(2)18--18
-
\pkgNap, 18(1)2--2
-
\pkgRAIL, 18(1)5--5
-
place, 11(3)11--11, 12(1)2--2, 14(1)6--6, 14(1)9--9, 19(3)27--27,
20(2)10--10, 20(3)18--18
-
place, in-, 10(1)1--1, 11(4)18--18, 14(1)5--5, 14(3)25--25,
15(2)13--13
-
place, out-of-, 4(4)14--14
-
place, update-in-, 11(3)11--11
-
place, update-out-of-, 11(3)11--11
-
placed, 6(2)6--6, 9(2)4--4, 14(3)22--22, 19(1)2--2
-
placed, randomly-, 3(2)5--5
-
placed, sequentially-, 3(2)5--5
-
placed, spread-, 12(4)24--24
-
placement, 3(1)z--99999999, 3(4)3--3, 3(4)5--5, 4(4)11--11, 6(2)6--6,
9(1)1--1, 9(2)6--6, 10(3)9--9, 10(3)12--12, 12(4)19--19, 12(4)24--24,
13(2)17--17, 14(3)28--28, 15(3)19--19, 17(3)22--22, 19(1)2--2,
20(3)20--20
-
placement, data-, 14(4)33--33
-
placement, replica-, 4(4)11--11
-
placing, 13(2)17--17
-
plague, 3(3)10--10, 8(3)9--9, 19(4)33--33
-
plaintext, 16(1)4--4, 20(4)27--27
-
Plan, 17(3)24--24
-
planar, 14(2)16--16
-
plane, 13(1)2--2
-
plane, control-, 16(1)3--3
-
plane, intra-, 13(3)22--22
-
plane, many-, 12(2)6--6
-
plane, multiple-, 12(2)6--6
-
plane-blocking, 13(3)22--22
-
PlanetLab, 9(4)12--12, 12(4)23--23
-
Plank, James S., 6(4)16--16, 10(1)4--4
-
Plank:2011:MDR, 6(4)16--16
-
Plank:2014:SDS, 10(1)4--4
-
plannar, 18(1)9--9
-
planned, 19(3)27--27
-
plans, 9(3)8--8, 17(3)24--24
-
platform, 1(2)190--212, 10(2)6--6, 10(3)10--10, 11(3)12--12, 12(3)12--12,
13(2)12--12, 14(2)14--14, 14(2)16--16, 14(3)24--24, 14(3)26--26,
14(4)33--33, 15(1)7--7, 15(2)10--10, 15(3)16--16, 20(4)26--26
-
platform-based, 4(2)4--4
-
platter, 5(1)1--1, 6(2)6--6
-
play, 9(1)2--2, 13(2)16--16, 18(2)14--14, 19(2)18--18
-
played, 13(4)31--31
-
playing, 16(3)18--18
-
Pletka, Roman, 14(4)33--33
-
Pletka:2018:MNG, 14(4)33--33
-
PLM, 19(2)11--11
-
plus, 5(3)7--7
-
PM, 14(4)34--34, 16(4)24--24, 17(3)20--20, 18(1)2--2, 18(4)30--30,
19(2)20--20, 19(3)21--21, 19(4)36--36
-
PM, near-, 19(2)20--20
-
PM-Based, 19(2)19--19
-
PM-based, 19(4)36--36
-
Pmem.IO, 14(4)34--34
-
PMFS, 14(1)4--4
-
PMs, 18(4)30--30
-
Podhorszki, Norbert, 15(4)26--26
-
Podhorszki, Norbert, see Xie, Bing
-
point, 2(1)74--105, 3(2)6--6, 10(2)8--8, 10(4)15--15, 12(3)14--14,
19(1)3--3
-
Point, Recover-, 9(3)8--8
-
pointers, 5(2)5--5
-
pointing, forward-, 11(1)2--2
-
poised, 9(3)7--7, 18(4)30--30
-
Poisson, 10(2)7--7
-
policy, 4(1)3--3, 4(4)12--12, 5(1)3--3, 6(1)1--1, 6(2)7--7, 7(1)1--1,
8(1)1--1, 8(1)3--3, 9(2)4--4, 9(3)10--10, 10(4)16--16, 11(3)13--13,
12(2)7--7, 13(1)2--2, 13(2)14--14, 13(3)24--24, 13(4)32--32,
13(4)35--35, 13(4)37--37, 14(1)10--10, 14(3)26--26, 15(3)19--19,
16(1)2--2, 16(3)18--18, 19(1)8--8
-
policy-driven, 5(1)3--3
-
Pollack, Kristal T., 7(2)6--6
-
Pollack, Kristal T., see You, Lawrence L.
-
Pollen, Seth, 19(2)13--13
-
Pollen, Seth, see Yang, Tzu-Wei
-
Polling, 20(2)13--13
-
polling-based, 14(2)17--17, 20(2)13--13
-
polls, 20(2)13--13
-
pollute, 1(2)190--212
-
pollution, 3(3)10--10, 12(2)8--8
-
Ponnapalli, Soujanya, 15(2)14--14
-
Ponnapalli, Soujanya, see Mohan, Jayashree
-
pool, 3(3)12--12, 4(1)3--3, 7(4)13--13, 10(2)8--8, 10(3)9--9, 18(2)11--11,
19(3)21--21, 20(3)15--15
-
poor, 8(4)14--14, 9(4)13--13, 12(1)2--2, 12(4)24--24, 16(1)6--6,
16(3)19--19, 18(3)25--25
-
poorly, 5(2)5--5, 12(3)12--12
-
Popek, Gerald, 2(3)309--348
-
Popek, Gerald, see Wang, An-I Andy
-
Popov, Ivan, 10(3)9--9
-
Popov, Ivan, see Miranda, Alberto
-
Popovici, Florentina, 13(1)1--1
-
Popovici, Florentina, see Brown, Angela Demke
-
popular, 1(2)190--212, 3(1)z--99999999, 4(2)5--5, 5(3)7--7, 5(3)10--10,
8(1)1--1, 9(3)9--9, 10(2)5--5, 12(2)8--8, 12(3)15--15, 13(3)20--20,
13(4)29--29, 15(1)4--4, 16(2)14--14, 18(2)13--13, 20(1)6--6
-
popularity, 3(3)9--9, 4(4)11--11, 8(2)7--7, 9(1)1--1, 9(4)12--12,
10(2)6--6, 12(2)6--6, 12(2)8--8, 12(4)23--23, 13(2)16--16,
14(1)10--10, 20(2)8--8, 20(4)21--21
-
population, 3(3)8--8, 3(3)9--9, 9(2)6--6
-
port, 8(3)9--9, 15(2)9--9
-
portability, 8(2)7--7, 8(3)9--9, 15(2)9--9
-
portable, 4(3)9--9, 6(1)2--2, 8(3)9--9, 9(3)10--10, 11(2)7--7
-
Portably, 4(3)9--9
-
ported, 14(4)30--30
-
Porter, Donald, 18(4)28--28
-
Porter, Donald, see Dean, Hildebrand
-
Porter, Donald E., 11(4)18--18, 13(1)3--3, 14(3)22--22, 15(1)5--5,
17(1)5--5
-
Porter, Donald E., see Jannen, William,
see Yadgar, Gala, \see{Yuan, Jun,
see Zhan, Yang
-
porting, 8(3)9--9, 14(4)30--30, 14(4)34--34
-
portion, 4(3)10--10, 8(2)6--6
-
pose, 9(3)9--9, 11(4)17--17, 12(3)17--17, 16(4)21--21
-
posed, 9(3)9--9
-
position, 11(2)9--9
-
POSIX, 3(2)4--4, 13(1)4--4, 13(3)21--21, 14(2)18--18, 14(3)28--28,
16(2)10--10
-
possession, 12(2)9--9, 12(4)23--23
-
possibility, 5(2)6--6, 6(1)2--2
-
possible, 2(1)41--73, 5(2)4--4, 5(4)13--13, 12(2)7--7, 12(3)15--15,
12(4)18--18, 13(2)15--15, 13(4)36--36, 14(1)3--3, 15(1)4--4,
15(1)7--7, 15(2)14--14, 15(3)21--21, 16(2)9--9
-
Post-Deduplication, 19(3)22--22
-
Post-deduplication, 19(3)22--22
-
post-processors, 16(2)10--10
-
postal, 1(2)246--275
-
postcopy, 16(2)13--13
-
PostgreSQL, 4(1)3--3, 17(2)12--12
-
Postmanet, 1(2)246--275
-
PostMark, 8(2)5--5
-
potential, 1(2)246--275, 3(4)3--3, 3(4)5--5, 4(1)2--2, 4(4)13--13,
12(3)11--11, 12(4)22--22, 13(2)13--13, 13(2)16--16, 13(3)27--27,
14(1)11--11, 16(2)10--10, 17(2)14--14, 18(2)12--12, 20(3)16--16
-
potentially, 1(2)246--275, 3(3)8--8, 8(3)8--8, 13(3)27--27, 15(1)2--2,
15(3)19--19, 20(3)17--17, 20(4)26--26
-
POTSHARDS, 5(2)5--5
-
power, 3(3)13--13, 4(1)2--2, 4(2)4--4, 4(3)10--10, 5(3)9--9, 6(1)1--1,
8(1)1--1, 8(2)7--7, 8(4)14--14, 9(1)1--1, 9(2)4--4, 9(4)12--12,
11(2)10--10, 12(3)15--15, 14(1)3--3, 14(3)27--27, 14(4)32--32,
15(2)13--13, 16(2)13--13, 16(4)25--25, 17(1)7--7, 18(2)11--11,
18(2)13--13, 19(3)21--21
-
power, low-, 5(1)1--1, 9(2)4--4
-
power-aware, 3(3)13--13
-
power-efficient, 9(2)4--4
-
power-loss, 15(2)14--14
-
Power-optimized, 18(2)13--13
-
power-saving, 4(3)10--10
-
power-transitions, 9(2)4--4
-
powered, 3(3)13--13
-
powered, battery-, 6(1)1--1
-
powered, NDP-, 17(4)31--31
-
powerful, 13(3)22--22, 20(4)24--24
-
powering, 4(1)3--3, 9(1)1--1, 11(2)6--6
-
Pozidis, Haralampos, 14(4)33--33
-
Pozidis, Haralampos, see Pletka, Roman
-
Prabhakaran, Vijayan, 1(2)133--170, 6(2)4--4, 11(3)14--14
-
Prabhakaran, Vijayan, see Balakrishnan, Mahesh,
see Miao, Youshan,
see Sivathanu, Muthian
-
practical, 1(1)71--94, 2(1)74--105, 3(1)z--99999999, 3(3)11--11,
3(4)1--1, 4(1)1--1, 4(3)10--10, 5(1)2--2, 7(4)12--12, 7(4)14--14,
8(1)2--2, 8(4)13--13, 10(1)4--4, 10(4)14--14, 13(4)33--33,
14(2)12--12, 15(3)16--16, 15(4)28--28, 16(2)13--13, 16(4)26--26,
17(2)14--14, 17(4)28--28, 18(3)24--24, 19(4)31--31, 19(4)33--33
-
practicality, 10(3)10--10, 14(4)35--35, 14(4)36--36
-
practice, 5(4)13--13, 8(1)2--2, 11(4)19--19, 12(3)14--14, 13(4)33--33,
14(3)26--26, 14(4)31--31, 14(4)35--35, 15(3)18--18, 18(3)21--21
-
practitioner, 5(1)2--2, 10(1)4--4
-
Prakash, N., 18(4)33--33
-
Prakash, N., see Nicolaou, Nicolas
-
PRAM, 14(1)3--3
-
PRAM-based, 14(1)3--3
-
PRE-BUD, 7(1)3--3
-
preallocated, 7(4)13--13
-
preallocates, 7(4)13--13
-
preceding, 3(4)3--3
-
Precise, Near-, 13(1)6--6
-
precise, near-, 13(1)6--6
-
precisely, 5(4)13--13
-
precision, 13(1)6--6
-
precomputed, 8(1)2--2
-
precopy, 16(2)13--13
-
predetermined, 13(1)2--2
-
predict, 3(3)8--8, 5(2)4--4, 9(3)10--10, 10(2)8--8, 11(4)17--17,
13(4)38--38, 15(3)21--21, 17(2)14--14
-
predictable, 12(3)14--14, 13(1)6--6, 18(1)5--5, 19(1)5--5, 19(2)11--11
-
predicted, 3(2)6--6, 11(4)17--17, 16(1)3--3
-
predicting, 4(1)3--3, 10(2)8--8, 12(4)24--24, 14(1)10--10
-
prediction, 4(1)2--2, 6(2)5--5, 11(4)17--17, 12(4)24--24, 13(4)30--30,
14(2)12--12, 14(4)32--32, 15(3)21--21, 18(4)35--35, 20(4)26--26
-
prediction-based, 6(2)5--5
-
predictive, 4(1)2--2, 12(2)7--7, 13(4)38--38
-
preempted, non-, 14(2)14--14
-
preemptive, quasi-, 14(2)17--17
-
prefer, 2(1)74--105, 20(2)12--12
-
preferable, 17(2)10--10
-
preferred, 15(3)19--19, 16(2)9--9, 18(2)15--15
-
prefetch, 3(3)10--10, 9(3)10--10
-
prefetched, 3(3)10--10
-
prefetcher, 9(3)10--10, 13(1)8--8
-
prefetching, 3(2)5--5, 3(3)10--10, 4(1)2--2, 6(2)5--5, 7(1)3--3,
9(3)10--10, 11(3)11--11, 13(1)8--8, 13(2)11--11, 18(1)7--7
-
prefetching, mis-, 9(3)10--10
-
Preliminary, 8(2)5--5
-
prematurely, 14(4)32--32
-
premises, 13(3)27--27
-
prepares, 11(1)2--2
-
presence, 3(1)z--99999999, 4(1)1--1, 4(4)11--11, 9(3)9--9, 10(1)2--2,
12(3)17--17, 13(3)20--20, 17(2)12--12
-
presentation, 13(4)31--31, 16(1)3--3
-
presented, 3(3)11--11, 6(1)1--1, 6(2)5--5, 10(3)12--12, 12(3)11--11,
13(2)12--12, 13(4)35--35, 14(4)33--33
-
preservation, 14(3)28--28
-
preserve, 8(4)15--15, 9(1)2--2, 10(1)2--2, 10(4)17--17, 12(2)8--8,
13(2)11--11, 14(3)24--24, 14(3)28--28, 15(1)1--1, 16(1)4--4
-
preserved, 8(4)15--15
-
preserving, 3(2)4--4, 4(4)14--14, 9(4)11--11, 13(1)9--9, 14(4)34--34,
15(1)1--1
-
Preserving, Order-, 14(3)24--24
-
PRESIDIO, 7(2)6--6
-
prespecified, 3(4)5--5
-
pressure, 13(2)14--14, 20(3)18--18
-
prestaging, 3(3)10--10
-
prevalent, 4(3)9--9, 5(1)3--3, 7(4)14--14, 10(4)14--14, 14(1)10--10,
18(4)30--30, 20(3)15--15
-
prevent, 4(3)9--9, 12(2)8--8, 12(4)19--19, 13(2)15--15, 13(3)26--26,
16(4)26--26
-
preventing, 5(4)12--12, 6(1)2--2, 14(4)36--36
-
preventive, 10(1)2--2
-
previous, 3(3)8--8, 4(1)3--3, 5(3)9--9, 9(4)13--13, 10(3)9--9,
11(2)10--10, 11(3)13--13, 11(4)18--18, 12(2)7--7, 13(1)3--3,
13(2)17--17, 13(3)24--24, 13(4)32--32, 14(1)3--3, 15(1)3--3,
16(2)9--9
-
previously, 3(4)1--1, 8(1)1--1, 10(2)6--6, 10(4)17--17, 12(3)14--14
-
price, 10(4)15--15, 12(1)5--5, 13(4)40--40, 16(2)9--9
-
price, low-, 9(4)13--13
-
price-aware, 13(4)40--40
-
price-performance, 3(2)6--6
-
pricing, 5(4)15--15, 13(4)40--40
-
primary, 3(3)11--11, 3(4)3--3, 10(2)6--6, 11(3)13--13, 12(4)20--20,
13(4)40--40, 14(2)13--13, 20(1)6--6, 20(4)24--24, 20(4)27--27
-
primary-backup, 3(4)1--1, 13(3)25--25
-
prime, 5(3)7--7, 8(3)10--10
-
primer, 18(1)4--4
-
primitive, 4(4)13--13, 19(4)38--38
-
principal, 3(3)12--12
-
principle, 3(4)1--1, 4(4)11--11, 10(1)2--2, 14(4)30--30, 15(1)3--3,
15(3)18--18, 20(1)6--6
-
Principled, 19(2)17--17
-
prior, 4(1)2--2, 7(4)14--14, 10(2)8--8, 11(2)9--9, 12(3)13--13,
13(2)16--16, 14(1)10--10, 14(3)22--22, 14(4)34--34, 15(2)9--9,
15(4)28--28
-
prioritization, 6(1)2--2
-
priority, 5(2)4--4, 14(2)14--14, 17(4)26--26, 20(2)13--13, 20(4)25--25
-
priority, high-, 13(4)40--40
-
priority, low-, 13(4)40--40
-
Priority-Aware, 20(4)25--25
-
privacy, 5(4)12--12, 12(4)18--18, 19(4)38--38
-
private, 8(2)6--6, 11(4)19--19, 13(3)27--27
-
private-verifiable, 5(1)2--2
-
proactive, 11(4)17--17, 15(3)19--19, 15(3)21--21
-
Proactively, 11(4)17--17
-
probabilistic, 4(3)9--9
-
probability, 4(1)1--1, 4(1)3--3, 4(3)9--9, 11(4)17--17, 12(3)17--17,
15(3)21--21
-
probability-based, 4(4)12--12
-
probe, 6(1)1--1, 10(3)12--12
-
problem, 2(1)74--105, 3(2)5--5, 3(3)8--8, 3(3)10--10, 3(4)3--3, 3(4)4--4,
3(4)5--5, 4(2)4--4, 4(3)9--9, 4(3)10--10, 5(1)2--2, 5(3)8--8,
5(3)9--9, 5(3)10--10, 5(4)16--16, 6(1)2--2, 7(4)12--12, 9(1)1--1,
9(1)2--2, 9(2)5--5, 9(4)13--13, 10(1)1--1, 10(2)5--5, 10(2)6--6,
11(1)2--2, 11(2)6--6, 11(2)10--10, 11(3)12--12, 12(2)6--6, 12(2)8--8,
12(2)9--9, 12(3)14--14, 12(3)16--16, 12(3)17--17, 12(4)22--22,
12(4)23--23, 13(2)17--17, 13(3)20--20, 13(3)22--22, 13(3)26--26,
13(4)30--30, 14(1)6--6, 14(1)9--9, 14(1)11--11, 14(2)17--17,
14(2)18--18, 14(4)35--35, 14(4)36--36, 15(1)3--3, 15(1)7--7,
15(2)15--15, 16(4)25--25, 18(3)25--25, 18(4)33--33, 18(4)35--35,
19(1)3--3, 19(2)17--17, 19(4)33--33
-
problematic, 14(1)6--6
-
procedure, 6(2)5--5, 10(2)5--5, 13(3)21--21, 13(4)29--29, 14(1)6--6,
14(4)35--35, 16(1)7--7
-
proceeds, 14(4)36--36
-
process, 3(3)8--8, 4(4)14--14, 5(3)7--7, 5(3)9--9, 6(2)7--7, 8(2)6--6,
9(2)4--4, 10(1)3--3, 10(2)7--7, 10(2)8--8, 11(2)7--7, 12(3)16--16,
13(2)13--13, 13(3)22--22, 13(4)31--31, 13(4)32--32, 14(1)6--6,
15(1)7--7, 16(2)12--12, 16(4)24--24, 20(1)4--4, 20(1)6--6
-
process-based, 20(1)1--1
-
Process-in-Memory, 14(1)8--8
-
process-in-memory, 14(1)8--8
-
processed, 14(1)9--9
-
processing, 3(3)10--10, 3(3)12--12, 3(4)5--5, 5(3)7--7, 12(4)21--21,
13(2)11--11, 13(2)17--17, 14(1)9--9, 14(2)15--15, 14(4)31--31,
15(1)1--1, 15(1)7--7, 15(2)10--10, 15(2)11--11, 15(3)16--16,
17(1)7--7, 17(4)27--27, 17(4)29--29, 17(4)31--31, 19(2)15--15,
20(1)6--6, 20(4)26--26
-
processing, stream-, 3(4)5--5
-
Processing-in-Memory, 14(1)9--9
-
processing-in-memory, 14(1)9--9
-
processor, 3(3)10--10, 14(1)5--5, 20(1)6--6
-
processors, post-, 16(2)10--10
-
produce, 13(4)39--39, 14(2)12--12
-
produced, 5(4)12--12, 15(1)4--4, 16(1)7--7, 16(4)21--21
-
producing, 18(4)34--34
-
product, 4(4)12--12, 8(4)13--13, 11(4)17--17, 13(2)15--15, 14(2)18--18
-
product, by-, 9(1)3--3, 14(2)18--18
-
production, 3(3)8--8, 4(3)8--8, 11(4)17--17, 13(4)36--36, 14(2)15--15,
14(2)18--18, 14(3)23--23, 14(4)33--33, 15(2)15--15, 15(4)26--26,
16(1)3--3, 16(2)9--9, 16(2)13--13, 17(3)17--17, 19(1)3--3
-
productively, 8(1)4--4
-
professionals, 5(1)2--2
-
profiling, 6(2)6--6, 15(1)6--6
-
profit, 3(4)4--4
-
program, 2(1)74--105, 3(2)5--5, 4(3)9--9, 5(4)13--13, 12(3)17--17,
13(3)19--19, 14(1)7--7, 14(2)12--12, 14(2)16--16, 14(2)17--17,
14(4)36--36, 17(2)11--11, 18(4)29--29, 19(2)15--15
-
Program/Erase, 13(1)7--7
-
program/erase, 12(3)10--10
-
programmable, 19(3)28--28
-
programmed, 13(4)37--37, 16(1)3--3
-
programmer, 4(3)9--9, 11(3)11--11, 14(4)34--34, 15(2)15--15
-
programming, 3(2)4--4, 8(2)7--7, 9(2)5--5, 11(3)11--11, 12(4)19--19,
13(4)37--37, 14(1)11--11, 14(3)22--22, 14(4)34--34, 16(1)3--3,
17(4)29--29, 19(1)5--5
-
progress, 14(2)12--12
-
progression, 15(1)1--1, 15(3)21--21
-
prohibit, 13(2)15--15, 14(2)17--17
-
prohibitive, 12(4)20--20, 14(2)17--17
-
prohibitively, 14(3)22--22, 14(3)24--24
-
project, 3(3)12--12, 11(2)5--5, 15(1)1--1
-
proliferation, 12(2)6--6, 16(4)22--22, 20(3)18--18
-
prolong, 14(4)30--30, 15(4)28--28
-
promise, 1(2)246--275, 6(1)1--1, 8(1)1--1, 11(4)18--18, 19(2)20--20
-
promising, 3(3)10--10, 5(1)1--1, 6(1)3--3, 8(4)13--13, 10(4)15--15,
11(4)18--18, 14(1)3--3, 14(2)17--17, 14(3)27--27, 14(4)32--32,
15(2)13--13, 16(1)5--5, 18(2)11--11, 18(2)12--12
-
prompted, 12(2)9--9
-
prone, 8(4)13--13, 10(4)17--17, 14(1)6--6
-
prone, error-, 3(4)3--3
-
pronounced, 5(3)9--9, 11(4)18--18, 14(4)31--31
-
proof, 12(1)4--4, 12(4)23--23
-
proof, corruption-, 4(3)8--8
-
propagate, 13(4)39--39
-
propagating, 11(3)11--11
-
proper, 6(2)6--6, 10(2)5--5, 11(4)19--19, 13(2)16--16
-
property, 3(1)z--99999999, 3(3)11--11, 3(4)1--1, 3(4)5--5, 5(3)8--8,
9(1)3--3, 9(4)14--14, 10(1)4--4, 10(2)6--6, 10(4)17--17, 11(4)16--16,
12(2)6--6, 13(2)17--17, 13(3)24--24, 13(3)26--26, 13(4)33--33,
13(4)35--35, 14(3)26--26, 14(4)30--30, 14(4)34--34, 15(2)9--9,
15(3)19--19
-
proportion, 13(2)11--11
-
proportional, 9(3)8--8, 12(4)23--23
-
proposal, 13(1)8--8, 18(1)8--8, 20(2)13--13
-
propose, 1(2)246--275, 3(1)z--99999999, 3(2)5--5, 3(2)6--6, 4(1)1--1,
4(4)15--15, 5(1)2--2, 5(3)8--8, 5(3)9--9, 6(1)2--2, 6(2)4--4,
6(2)7--7, 8(1)4--4, 8(3)10--10, 9(1)2--2, 9(2)5--5, 9(3)7--7,
9(3)10--10, 9(4)13--13, 9(4)14--14, 10(2)6--6, 10(4)14--14,
11(2)5--5, 11(2)7--7, 11(2)10--10, 11(4)19--19, 12(1)2--2, 12(1)3--3,
12(2)7--7, 12(2)8--8, 12(3)10--10, 12(3)12--12, 12(3)15--15,
12(3)16--16, 12(4)22--22, 12(4)23--23, 13(1)2--2, 13(1)9--9,
13(2)11--11, 13(2)13--13, 13(2)14--14, 13(2)15--15, 13(3)21--21,
13(3)24--24, 13(3)26--26, 13(4)30--30, 13(4)32--32, 13(4)35--35,
13(4)37--37, 13(4)39--39, 14(1)3--3, 14(1)4--4, 14(1)8--8, 14(1)9--9,
14(2)14--14, 14(2)15--15, 14(3)25--25, 14(3)26--26, 14(3)27--27,
15(1)1--1, 15(1)3--3, 15(1)4--4, 15(2)10--10, 15(2)13--13,
15(3)17--17, 15(3)19--19, 15(3)20--20, 15(4)28--28, 16(1)4--4,
16(2)10--10, 16(2)12--12, 16(3)17--17, 17(2)13--13, 17(2)14--14,
18(1)7--7, 18(2)11--11, 18(2)12--12, 19(2)11--11, 19(3)28--28,
19(4)35--35, 20(1)6--6, 20(2)10--10, 20(2)13--13, 20(3)17--17,
20(4)26--26
-
proposed, 1(2)246--275, 3(3)12--12, 3(4)4--4, 4(1)1--1, 4(4)12--12,
5(1)2--2, 5(2)6--6, 5(3)8--8, 5(3)9--9, 6(2)5--5, 8(1)1--1, 8(2)7--7,
8(3)10--10, 9(2)5--5, 9(2)6--6, 10(2)5--5, 11(1)1--1, 11(1)4--4,
11(2)7--7, 11(2)10--10, 11(3)12--12, 11(4)19--19, 12(3)12--12,
12(3)15--15, 13(2)12--12, 13(3)26--26, 13(4)29--29, 13(4)32--32,
13(4)34--34, 13(4)36--36, 13(4)37--37, 14(1)3--3, 14(1)5--5,
14(1)6--6, 14(1)8--8, 14(1)10--10, 14(1)11--11, 14(2)18--18,
14(3)28--28, 14(4)33--33, 14(4)36--36, 15(3)16--16, 15(3)21--21,
16(1)4--4, 16(1)7--7, 17(2)14--14, 18(2)15--15, 19(1)8--8,
19(3)28--28, 20(1)3--3, 20(4)26--26
-
proposing, 4(4)12--12, 13(4)33--33
-
proprietary, 13(4)38--38
-
protect, 3(2)4--4, 4(1)1--1, 6(3)9--9, 8(4)15--15, 10(4)14--14, 13(1)9--9,
19(1)4--4
-
protected, 3(2)4--4
-
protecting, 11(4)17--17, 11(4)19--19
-
protection, 4(1)1--1, 4(3)8--8, 5(3)7--7, 5(4)12--12, 11(1)3--3,
11(4)17--17, 11(4)19--19, 12(3)11--11, 13(1)9--9, 13(4)37--37,
14(4)35--35, 16(2)12--12
-
protocol, 3(4)1--1, 4(3)7--7, 4(4)13--13, 6(1)2--2, 9(4)12--12,
10(3)12--12, 13(1)2--2, 13(1)4--4, 13(3)19--19, 13(3)21--21,
14(4)31--31
-
Protocol-Aware, 14(3)21--21
-
protocol-aware, 14(3)21--21
-
protocol-specific, 14(3)21--21, 16(2)13--13
-
prototype, 3(2)4--4, 3(2)5--5, 3(3)11--11, 3(3)13--13, 4(4)11--11,
4(4)12--12, 4(4)13--13, 5(1)3--3, 5(2)5--5, 5(4)12--12, 8(1)4--4,
8(3)9--9, 9(1)2--2, 9(2)4--4, 9(3)7--7, 10(2)5--5, 10(2)6--6,
10(3)10--10, 10(4)15--15, 10(4)16--16, 11(1)4--4, 11(3)11--11,
11(4)18--18, 12(1)4--4, 12(2)8--8, 12(3)12--12, 12(3)16--16,
12(4)20--20, 12(4)22--22, 13(1)6--6, 13(1)9--9, 13(2)13--13,
13(4)36--36, 13(4)40--40, 14(2)14--14, 14(2)17--17, 14(2)18--18,
14(3)26--26, 14(3)28--28, 14(4)36--36, 15(1)7--7, 15(3)19--19,
16(2)14--14, 16(3)15--15, 20(1)6--6
-
prototyped, 12(4)19--19, 15(4)28--28
-
prototyping, 10(3)10--10
-
provable, 5(1)2--2, 12(2)9--9, 12(4)23--23
-
provably, 10(4)14--14
-
Provably-Correct, 14(4)36--36
-
prove, 3(3)11--11, 5(4)16--16, 9(2)5--5
-
proved, 3(4)1--1
-
proven, 3(4)1--1, 14(2)18--18, 19(3)24--24
-
provenance, 5(4)12--12, 5(4)13--13, 9(4)14--14
-
provenance-aware, 5(4)12--12
-
provided, 2(1)74--105, 3(2)4--4, 11(4)17--17, 12(4)21--21, 14(3)28--28,
15(3)19--19, 16(1)3--3
-
provider, 3(4)4--4, 9(4)12--12, 12(2)9--9, 12(3)14--14, 13(2)16--16,
15(3)21--21, 17(3)22--22
-
providing, 2(1)74--105, 4(3)7--7, 5(1)3--3, 5(2)5--5, 5(4)13--13,
8(1)2--2, 8(2)6--6, 9(1)1--1, 10(1)2--2, 12(3)12--12, 12(3)16--16,
12(4)23--23, 13(1)4--4, 13(4)37--37, 14(2)15--15, 14(4)34--34,
15(2)9--9, 16(2)14--14, 16(4)23--23, 18(1)5--5, 20(3)16--16
-
proving, 12(4)23--23
-
provision, 3(4)4--4
-
provisioning, 4(4)11--11, 12(3)14--14, 13(2)17--17
-
provisioning, over-, 14(2)17--17, 14(3)26--26, 19(1)3--3
-
proximity, 15(1)3--3
-
proxy, 3(3)8--8, 5(3)10--10, 8(3)9--9, 18(3)27--27
-
prune, 10(3)12--12
-
PSA-Cache, 19(2)18--18
-
pseudo-random, 4(4)11--11
-
pseudo-randomized, 10(3)9--9
-
PTA, 14(3)27--27
-
ptrace, 3(2)4--4
-
Pu, Lifeng, 19(3)22--22
-
Pu, Lifeng, see Xia, Wen
-
public, 5(2)5--5, 8(2)6--6, 13(3)27--27, 13(4)36--36, 14(2)17--17
-
public-verifiable, 5(1)2--2
-
publicly, 12(3)14--14
-
published, 3(4)1--1, 11(2)9--9, 14(2)13--13
-
pumping, 14(3)27--27
-
pumps, 14(3)27--27
-
punishing, performance-, 20(1)6--6
-
pure, 8(1)4--4, 10(3)12--12, 12(4)22--22, 16(1)6--6
-
purpose, 8(2)6--6, 12(3)17--17, 13(2)17--17, 13(4)31--31, 13(4)40--40,
15(2)10--10, 15(3)16--16, 18(3)26--26
-
purpose, general-, 5(2)6--6, 11(4)18--18, 14(1)10--10
-
purpose-built, 8(2)6--6
-
pursuit, long-, 19(1)5--5
-
push, 15(3)16--16
-
pushing, 13(1)4--4
-
pushing, load-trigger-, 15(2)10--10
-
put, 6(2)6--6, 11(1)3--3, 13(3)25--25, 14(1)6--6
-
Putra, Martin L., 19(1)5--5
-
Putra, Martin L., see Li, Huaicheng
-
putting, 11(3)12--12
-
Pyramid, 9(1)3--3