Index file section V for cacm2010.bib
Last update: Fri Apr 26 02:02:35 MDT 2024
Return to index directory
V
-
v, 53(4)10--11, 53(12)16--18, 54(5)49--53, 54(6)8--9, 54(12)17--19,
55(3)27--29, 55(3)33--35, 55(6)98--107, 55(9)8--9, 55(11)25--27,
57(7)22--24, 58(5)27--29, 58(7)8--9, 59(2)21--23, 59(3)8--9,
59(7)22--24, 59(11)24--28, 60(3)26--28, 60(11)20--22, 61(6)28--29,
62(3)6--6, 62(11)111--113
-
V, C-, 53(2)160--164
-
Vaandrager, Frits, 60(2)86--95
-
Vaandrager:2017:ML, 60(2)86--95
-
Vaccaro, Michelle, 62(11)104--110
-
Vaccaro:2019:EMM, 62(11)104--110
-
vaccine, 53(3)66--74
-
Vaculin, Roman, 59(3)35--37
-
Vaculin, Roman, see Vukovic, Maja
-
vague, 53(2)144--148
-
Vahdat, 59(3)46--54
-
Vahdat, Amin, 53(10)85--93, 59(9)88--97
-
Vahdat, Amin, see Gupta, Diwaker,
see Singh, Arjun
-
Vakil, Sepehr, 62(3)31--33
-
Vakil:2019:EAP, 62(3)31--33
-
Valenta, Luke, 62(1)106--114
-
Valenta, Luke, see Adrian, David
-
Valerie, 53(2)10--11, 56(12)10--11, 58(1)18--19, 58(3)8--9, 58(11)10--11,
59(3)10--11, 59(11)10--11, 60(1)10--11
-
Valero, Mateo, 56(5)39--42
-
Valero, Mateo, see Flynn, Michael J.
-
Valiant, 54(6)14--15, 54(6)128
-
Valiant, Gregory, 55(2)113--120
-
Valiant, Gregory, see Kalai, Adam Tauman
-
valid, 58(9)116--124, 62(10)89--99
-
validate, 53(2)127--133, 53(2)149--154, 56(10)97--104, 57(1)107--115,
59(12)40--42, 60(4)86--93, 61(10)106--113
-
validated, 53(7)118--121, 62(12)79--87
-
validation, 53(2)106--113, 58(6)61--70, 58(9)37--39, 61(11)148--155,
62(12)79--87
-
validity, 58(8)62--69, 58(9)116--124, 60(4)86--93
-
Valiron, Benoît, 58(8)52--61
-
Valiron:2015:PQF, 58(8)52--61
-
Valley, 59(3)40--45, 60(4)7--7, 62(1)24--30
-
Vallino, James R., 57(8)52--58
-
Vallino, James R., see Lutz, Michael J.
-
Vallor, Shannon, 57(3)23--25
-
Vallor, Shannon, see Narayanan, Arvind
-
valuable, 53(2)144--148, 53(3)75--83, 53(9)16--17, 55(5)88--97,
56(6)31--32, 57(2)38--39, 57(3)99--106, 58(1)18--19, 61(7)12--13
-
value, 53(1)126--130, 53(1)148--152, 53(2)144--148, 53(7)122--127,
53(8)129--134, 53(9)99--106, 54(7)26--28, 54(8)27--29, 54(9)34--37,
55(7)116--123, 55(8)69--75, 55(11)22--24, 56(2)31--32, 56(4)64--74,
56(9)97--105, 56(10)97--104, 57(5)30--32, 57(5)80--87, 58(3)34--36,
58(3)81--91, 58(9)31--33, 58(12)27--29, 59(3)10--11, 59(9)29--31,
60(7)94--101, 60(8)92--99, 60(9)83--91, 60(10)81--89, 61(2)17--19,
61(2)33--36, 61(5)24--25, 61(7)33--39, 61(8)50--52, 61(9)9--11,
62(4)40--40
-
value, added-, 53(7)122--127
-
value, key-, 60(7)83--92
-
value-based, 62(5)83--91
-
van, 53(2)121--126, 59(3)120--z
-
Van Alstyne, Marshall, 56(8)25--28, 56(11)29--31, 57(5)30--32,
57(11)24--27, 58(5)20--23, 58(8)24--26
-
Van Alstyne, Marshall, see Chesbrough, Henry,
see Dellarocas, Chrysanthos,
see Malhotra, Arvind,
see Schrage, Michael
-
Van Alstyne, Marshall W., 62(8)26--29
-
Van Den Oord, Aäron, 55(8)69--75,
see De Sutter, Bjorn
-
Van Der Aalst, Wil, 55(8)76--83
-
Van Der Wal, René, 62(3)68--77,
see Siddharthan, Advaith
-
Van Eeten, Michel, 57(10)47--55
-
Van Eeten, Michel, see Arnbak, Axel
-
Van Eijk, Nico, 57(10)47--55
-
Van Eijk, Nico, see Arnbak, Axel
-
Van Horn, David, 54(9)101--109
-
Van Meter, Rodney, 56(10)84--93
-
Van Oorschot, Paul C., 59(11)66--74
-
Van Oorschot, Paul C., see Florêncio, Dinei
-
Van Vlijmen, Herman, 55(11)65--75
-
Van Vlijmen, Herman, see Wegner, Joerg Kurt
-
VanAlstyne:2013:EBD, 56(11)29--31
-
VanAlstyne:2014:WBV, 57(5)30--32
-
VanAlstyne:2019:EBD, 62(8)26--29
-
VanDeGrift, Tammy, 53(7)60--70
-
VanDeGrift, Tammy, see Lewandowski, Gary
-
vandePanne:2014:MFI, 57(6)100--100
-
VanDerAalst:2012:PM, 55(8)76--83
-
Vanderheiden, Gregg C., 61(6)62--71
-
Vanderheiden, Gregg C., see Wobbrock, Jacob O.
-
VanderSloot, Benjamin, 62(1)106--114
-
VanderSloot, Benjamin, see Adrian, David
-
vanDeursen:2015:TWA, 58(8)36--43
-
VanHorn:2011:AAM, 54(9)101--109
-
Vanishing, 56(5)20--22
-
VanMeter:2013:BBQ, 56(10)84--93
-
Vannoy, Sandra A., 53(6)149--153
-
Vannoy:2010:SIM, 53(6)149--153
-
Vaquero, Daniel, 55(11)90--98
-
Vaquero, Daniel, see Adams, Andrew
-
Vara, Juan Manuel, 55(9)39--41
-
Vara, Juan Manuel, see Marcos, Esperanza
-
Vardi, 53(2)5--5, 58(12)10--11, 60(9)7--7, 60(11)7--7, 61(1)9--9,
61(3)9--9, 61(5)9--9, 61(7)9--9, 61(9)7--7
-
Vardi, Moshe Y., 53(1)5--5, 53(3)5--5, 53(5)5--5, 53(7)5--5, 53(9)5--5,
53(11)5--5, 54(1)5--5, 54(3)5--5, 54(5)5--5, 54(7)5--5, 54(9)5--5,
54(11)5--5, 54(12)5--5, 55(1)5--5, 55(3)5--5, 55(5)5--5, 55(7)5--5,
55(9)5--5, 55(11)5--5, 56(1)5--5, 56(3)5--5, 56(5)5--5, 56(7)5--5,
56(8)5--5, 56(9)5--5, 56(11)5--5, 57(1)5--5, 57(3)5--5, 57(5)5--5,
57(8)5--5, 57(9)5--5, 58(1)5--5, 58(2)5--5, 58(5)5--5, 58(8)5--5,
58(10)5--5, 58(12)5--5, 58(12)10--11, 59(2)5--5, 59(4)5--5,
59(5)5--5, 59(7)5--5, 59(9)5--5, 59(11)5--5, 60(1)5--5, 60(3)5--5,
60(5)5--5, 60(6)5--5, 60(9)7--7, 60(11)7--7, 61(1)9--9, 61(3)9--9,
61(4)7--7, 61(5)9--9, 61(7)9--9, 61(9)7--7, 61(11)7--7, 62(1)7--7,
62(3)7--7, 62(5)7--7, 62(7)7--7, 62(9)7--7, 62(11)7--7
-
Vardi:2010:ELM, 53(1)5--5
-
Vardi:2010:GOS, 53(5)5--5
-
Vardi:2010:H, 53(7)5--5
-
Vardi:2010:PNC, 53(11)5--5
-
Vardi:2010:RPC, 53(3)5--5
-
Vardi:2010:SOT, 53(9)5--5
-
Vardi:2011:CH, 54(12)5--5
-
Vardi:2011:FF, 54(3)5--5
-
Vardi:2011:MP, 54(11)5--5
-
Vardi:2011:SU, 54(7)5--5
-
Vardi:2011:TSC, 54(5)5--5
-
Vardi:2011:WAW, 54(1)5--5
-
Vardi:2011:YTM, 54(9)5--5
-
Vardi:2012:AIP, 55(1)5--5
-
Vardi:2012:FA, 55(5)5--5
-
Vardi:2012:PSP, 55(7)5--5
-
Vardi:2012:WAa, 55(3)5--5
-
Vardi:2012:WAb, 55(9)5--5
-
Vardi:2012:WMD, 55(11)5--5
-
Vardi:2013:BB, 56(3)5--5
-
Vardi:2013:EAN, 56(11)5--5
-
Vardi:2013:FC, 56(5)5--5
-
Vardi:2013:GRD, 56(7)5--5
-
Vardi:2013:ICR, 56(9)5--5
-
Vardi:2013:WBC, 56(1)5--5
-
Vardi:2013:WFP, 56(8)5--5
-
Vardi:2014:BST, 57(3)5--5
-
Vardi:2014:ELO, 57(8)5--5
-
Vardi:2014:ELW, 57(9)5--5
-
Vardi:2014:MLS, 57(5)5--5
-
Vardi:2014:SC, 57(1)5--5
-
Vardi:2015:BWD, 58(12)10--11
-
Vardi:2015:ELI, 58(2)5--5
-
Vardi:2015:ELR, 58(1)5--5
-
Vardi:2015:IQI, 58(5)5--5
-
Vardi:2015:LAW, 58(12)5--5
-
Vardi:2015:WCD, 58(10)5--5
-
Vardi:2015:WDA, 58(8)5--5
-
Vardi:2016:ARC, 59(9)5--5
-
Vardi:2016:DGC, 59(11)5--5
-
Vardi:2016:ELM, 59(2)5--5
-
Vardi:2016:MIA, 59(5)5--5
-
Vardi:2016:RAU, 59(7)5--5
-
Vardi:2016:WHT, 59(4)5--5
-
Vardi:2017:DAO, 60(3)5--5
-
Vardi:2017:ELC, 60(5)5--5
-
Vardi:2017:ELT, 60(6)5--5
-
Vardi:2017:TME, 60(1)5--5
-
Vardi:2017:VID, 60(9)7--7
-
Vardi:2017:VIW, 60(11)7--7
-
Vardi:2018:DOA, 61(4)7--7
-
Vardi:2018:DSR, 61(11)7--7
-
Vardi:2018:VIC, 61(1)9--9
-
Vardi:2018:VID, 61(3)9--9
-
Vardi:2018:VIHa, 61(5)9--9
-
Vardi:2018:VIHb, 61(7)9--9
-
Vardi:2018:VIM, 61(9)7--7
-
Vardi:2019:DLG, 62(9)7--7
-
Vardi:2019:DLM, 62(3)7--7
-
Vardi:2019:DQH, 62(5)7--7
-
Vardi:2019:DSH, 62(7)7--7
-
Vardi:2019:DWH, 62(1)7--7
-
Vardi:2019:DWT, 62(11)7--7
-
Vardoulakis, Dimitrios, 58(2)44--46
-
Vardoulakis, Dimitrios, see Livshits, Benjamin
-
Varghese, George, 53(10)85--93, 56(1)83--93, 58(11)112--112,
62(11)31--36
-
Varghese, George, see Bafna, Vineet,
see Gupta, Diwaker
-
Varghese:2015:TPT, 58(11)112--112
-
Varghese:2019:IIL, 62(11)31--36
-
Varia, Mayank, 60(2)37--39
-
Varia, Mayank, see Bestavros, Azer
-
variability, 56(2)74--80
-
variable, 53(9)99--106, 53(10)95--103, 55(2)48--54, 56(4)92--99,
56(9)97--105, 59(7)107--115, 62(3)99--107, 62(4)6--6, 62(10)8--9
-
variant, 59(7)107--115, 60(6)84--90, 60(10)81--89, 60(11)81--88
-
variation, 53(5)120--120, 53(6)118--118, 57(9)93--99, 60(1)87--95
-
variational, 57(4)99--106
-
variety, 53(3)28--29, 53(6)24--26, 53(6)144--148, 55(11)10--11,
56(1)106--114, 56(7)101--108, 56(9)10--11, 57(4)27--29, 57(9)93--99,
58(8)10--11, 58(11)103--111, 58(12)103--110, 59(10)85--92,
60(8)92--99, 61(6)15--17, 62(9)97--105, 62(12)79--87
-
various, 53(1)131--135, 53(1)153--157, 53(2)97--104, 53(2)106--113,
53(2)144--148, 53(2)160--164, 53(7)128--131, 55(8)97--105,
55(11)100--109, 55(12)20--22, 55(12)126--126, 57(1)107--115,
58(10)27--28, 59(12)121--129, 60(2)99--107, 61(1)38--41,
61(2)84--91, 62(1)58--65
-
Varki, Elizabeth, 60(3)29--30
-
Varki:2017:CEW, 60(3)29--30
-
Varma, Manik, 62(11)44--45
-
Varma, Pramod, 62(11)76--81
-
Varma, Pramod, see Raghavan, Vivek
-
Varma, Roli, 58(5)56--62
-
Varma, Vasudeva, 62(11)88--91
-
Varma, Vasudeva, see Chakraborty, Supratik
-
Varma:2015:DFC, 58(5)56--62
-
Varma:2019:IRS, 62(11)44--45
-
Varnavas, Andreas, 57(1)70--77
-
Varnavas, Andreas, see O'Hara, Kenton
-
Varol, Onur, 59(7)96--104
-
Varol, Onur, see Ferrara, Emilio
-
Varshavsky, Alexander, 56(1)74--82
-
Varshavsky, Alexander, see Becker, Richard
-
Varshney, Upkar, 54(5)121--128
-
Varshney, Upkar, see Dhar, Subhankar
-
vary, 53(2)155--159, 53(7)128--131, 53(8)141--145, 56(4)92--99,
56(7)101--108
-
varying, 53(7)89--97, 60(11)62--67, 62(9)97--105
-
Vashistha, Aditya, 62(11)100--103
-
Vashistha:2019:IRS, 62(11)100--103
-
Vasisht, Deepak, 61(7)52--54
-
Vasisht:2018:RPT, 61(7)52--54
-
Vassilakis, Theo, 54(6)114--123
-
Vassilakis, Theo, see Melnik, Sergey
-
vast, 56(11)76--85, 60(9)83--91, 62(7)86--94
-
Vasudevan, Vijay, 54(7)101--109
-
Vasudevan, Vijay, see Andersen, David G.
-
Vaughan, Jennifer Wortman, 53(5)99--107, 59(12)102--108
-
Vaughan, Jennifer Wortman, see Chen, Yiling,
see Ganchev, Kuzman
-
Vazansky, Kate, 60(5)105--111
-
Vazansky, Kate, see Brinkman, Bo
-
Vazirani, 62(3)109--115
-
Vazirani, Umesh, 62(4)133--133
-
Vazirani:2019:FDI, 62(4)133--133
-
Vechev, Martin, 62(3)99--107
-
Vechev, Martin, see Raychev, Veselin
-
vector, 53(2)97--104, 56(7)100--100, 56(7)101--108, 56(9)97--105,
57(4)99--106, 57(6)101--108, 60(5)83--91
-
vector, matrix-, 62(5)83--91
-
vector-based, 56(7)101--108
-
vectorized, hand-, 60(5)83--91
-
Veer, Gerrit van der, 60(3)50--59
-
Veer, Gerrit van der, see Lazar, Jonathan
-
vehicle, 53(4)98--98, 55(2)90--100, 58(8)19--20, 60(12)14--16,
61(11)70--75, 62(3)61--67, 62(11)19--21
-
vehicle, Vehicle-to-, 58(3)16--18
-
Vehicle-to-vehicle, 58(3)16--18
-
vehicular, 61(5)83--88
-
vein, 60(6)93--100
-
Veitch, Darryl, 53(5)54--61
-
Veitch, Darryl, see Ridoux, Julien
-
vellum, 58(3)43--48
-
Velocity, 62(9)44--47
-
Velten, Andreas, 59(9)79--86
-
Velten:2016:IPL, 59(9)79--86
-
velvet, 57(11)98--105
-
Vempala, Santosh S., 55(2)112--112
-
Vempala:2012:MHD, 55(2)112--112
-
vendor, 53(1)126--130, 53(1)153--157, 53(2)121--126, 53(2)139--143,
53(2)160--164, 53(7)89--97, 53(7)142--144, 53(8)135--140,
54(2)50--51, 55(2)30--32, 57(10)30--31
-
vendor, client-, 53(2)160--164
-
Venkataraman, Shivakumar, 59(7)117--125
-
Venkataraman, Shivakumar, see Gupta, Ashish
-
Venkataraman, Shivaram, 57(8)93--102, 59(11)56--65
-
Venkataraman, Shivaram, see Bailis, Peter,
see Zaharia, Matei
-
Venkatesan, Preethi, 58(4)85--93
-
Venkatesan, Preethi, see Qadeer, Wajahat
-
Venn, 55(2)128--128
-
Venolia, Gina, 53(8)48--54
-
Venolia, Gina, see DeLine, Robert
-
Venter, Herman, 54(6)81--91
-
Venter, Herman, see Barnett, Mike
-
venture, 56(10)26--29, 62(6)36--41
-
venue, 54(2)5--5, 55(5)17--17, 59(12)72--81
-
Venugopal, Vishal, 62(11)60--61
-
Venugopal, Vishal, see Srikant, Shashank
-
veracity, 53(1)126--130
-
verifiability, 59(9)8--9
-
verifiable, 57(10)40--46, 59(2)103--112
-
verification, 53(6)20--21, 53(6)106--106, 53(6)107--115, 53(7)89--97,
53(9)76--85, 54(6)81--91, 54(10)52--57, 54(12)123--131, 55(9)69--77,
56(7)62--69, 56(10)97--104, 57(2)85--93, 57(4)66--75,
58(11)113--121, 59(2)52--55, 59(2)103--112, 60(2)99--107,
60(7)83--92, 60(8)12--14, 61(2)46--49, 61(2)84--91, 61(9)43--47,
62(12)79--87
-
verification-friendly, 58(11)113--121
-
verified, 56(10)97--104, 57(4)66--75, 61(10)68--77, 62(10)89--99
-
verify, 53(7)142--144, 55(9)69--77, 56(10)96--96, 56(10)97--104,
57(5)110--118, 58(1)62--65, 58(6)54--60, 58(11)113--121,
58(12)17--19, 59(2)103--112, 60(2)99--107
-
Verify, Find-Fix-, 58(8)85--94
-
verifying, 55(8)107--115, 56(9)84--93, 58(2)74--84, 58(12)12--14,
59(2)103--112, 59(8)83--91, 62(10)89--99, 62(12)79--87
-
veritesting, 59(6)92--92, 59(6)93--100
-
Verizon, 53(1)121--125
-
Verma, Akshat, 54(7)131--141
-
Verma, Akshat, see Dasgupta, Gargi
-
Verma, Neeta, 62(11)50--53
-
Verma:2019:IRS, 62(11)50--53
-
versatile, 56(6)25--25, 58(4)85--93
-
version, 53(1)126--130, 53(1)148--152, 53(2)97--104, 53(10)28--29,
56(11)97--104, 57(3)109--109, 57(8)93--102, 58(12)56--58,
59(2)114--122, 59(9)88--97, 60(5)83--91, 60(9)93--100, 60(11)81--88,
62(7)86--94
-
version-based, 57(8)93--102
-
versioned, 53(1)126--130
-
versioning, 53(1)126--130
-
versus, 53(2)127--133, 53(2)149--154, 53(7)27--29, 53(7)118--121,
53(9)36--40, 55(11)28--30, 57(9)82--89, 60(10)91--100, 61(4)25--27
-
vertex, 57(4)99--106, 57(9)102--102
-
vertical, 56(11)97--104
-
vertically, 61(8)17--18
-
very, 53(1)142--147, 53(1)153--157, 53(2)106--113, 53(2)127--133,
53(2)149--154, 53(3)97--105, 53(7)128--131, 54(7)111--116,
55(6)111--119, 55(6)121--130, 55(10)90--97, 56(1)68--72,
56(1)116--124, 57(9)93--99, 57(11)98--105, 58(4)24--26,
58(7)101--108, 58(11)103--111, 58(12)103--110, 59(5)122--131,
59(9)79--86, 60(1)97--104, 60(2)108--115, 60(4)29--31, 60(6)84--90,
60(7)94--101, 60(10)91--100, 62(12)79--87
-
Vetting, 54(9)91--99
-
VEX, 54(9)91--99
-
vexing, 55(7)18--20
-
via, through-silicon-, 57(1)107--115
-
viability, 56(2)93--102
-
viable, 53(7)113--117, 56(10)84--93, 62(4)12--12
-
Viaene, Stijn, 54(3)124--130
-
Viaene, Stijn, see De Hertogh, Steven
-
Vianu, Victor, 53(8)5--5, 56(8)5--5
-
Vianu, Victor, see Vardi, Moshe Y.
-
Vianu:2010:JSN, 53(8)5--5
-
vias, 56(11)97--104
-
vibrant, 62(4)28--28
-
vibration, 58(2)15--17, 60(1)87--95
-
vici, 57(10)30--31
-
vicious, 53(2)35--36, 53(4)33--34, 53(6)33--34, 53(8)33--34,
53(10)28--29, 56(2)26--27, 56(6)33--34, 56(10)33--34, 56(12)32--33,
57(2)36--37, 57(4)30--31, 57(6)37--38, 57(8)31--32, 57(10)28--29,
57(12)31--32, 58(2)37--39, 58(4)30--32, 58(6)32--33, 58(8)27--28,
58(10)29--31, 58(12)30--32, 59(2)35--36, 59(4)31--32, 59(6)26--27,
59(8)28--29, 59(10)24--25, 60(2)34--36, 60(4)24--25, 60(6)31--32,
60(8)29--30, 60(10)36--37, 61(2)27--28, 61(4)23--24, 61(6)28--29,
61(8)29--30, 61(10)27--28, 61(12)28--29, 62(2)27--27, 62(4)22--22,
62(8)30--31, 62(10)26--27, 62(12)25--25
-
Vickrey, 57(2)85--93
-
victim, 54(3)70--75, 60(9)83--91
-
victimization, Cyber-, 56(4)35--37
-
Victorian, 53(10)19--21
-
Videla, Alvaro, 60(10)42--45
-
Videla:2017:MWC, 60(10)42--45
-
video, 53(2)97--104, 53(6)52--58, 53(7)128--131, 54(6)10--10, 54(12)8--9,
55(12)50--58, 56(3)90--90, 56(3)91--99, 57(3)18--19, 57(5)33--34,
58(4)85--93, 58(6)93--100, 59(2)64--73, 60(1)87--95, 60(11)15--16,
61(11)76--81, 62(1)96--104
-
vidi, 57(10)30--31
-
Vidick, Thomas, 62(4)133--133
-
Vidick, Thomas, see Vazirani, Umesh
-
Vidimce, Kiril, 62(9)97--105
-
Vidimce:2019:OPP, 62(9)97--105
-
vie, 55(12)20--22
-
view, 53(1)121--125, 53(2)155--159, 53(4)50--58, 53(6)131--134,
53(7)89--97, 53(7)122--127, 53(8)80--88, 56(12)128--z, 58(3)22--24,
58(3)96--z, 58(6)93--100, 58(10)15--17, 58(12)103--110, 59(2)56--62,
59(9)50--57, 59(11)84--93, 59(12)144--z, 60(8)31--34, 61(2)50--52,
61(3)21--23, 61(10)95--95, 61(11)24--26, 61(12)68--73
-
viewable, 53(7)128--131
-
viewed, 53(3)137--141, 56(5)104--104, 60(7)94--101, 61(10)11--13
-
viewfinding, 55(11)90--98
-
viewing, 55(6)16--18, 55(8)39--41, 56(1)34--36
-
viewpoints, 53(1)32--34, 53(1)35--36, 53(1)37--39, 53(1)43--46,
53(11)113--115, 56(3)33--34, 58(11)41--42
-
Vigna, Sebastiano, 54(6)129--137
-
Vigna, Sebastiano, see Boldi, Paolo
-
Vigorous, 60(12)48--50
-
Vijay, 61(11)8--9
-
village, 55(4)111--118
-
Vinton, 53(9)21--21, 57(2)5--5
-
violated, 58(9)116--124
-
violation, 54(8)7--7
-
violence, 56(3)35--37, 59(8)18--20
-
violin, 54(3)86--86
-
viral, 59(4)36--39, 61(1)70--77, 62(7)48--57
-
virologists, 53(3)66--74
-
virtual, 53(1)8--8, 53(1)153--157, 53(2)9--9, 53(3)8--8, 53(3)30--32,
53(3)39--41, 53(3)75--83, 53(4)8--8, 53(5)8--8, 53(6)8--8, 53(7)9--9,
53(8)6--6, 53(10)85--93, 53(11)9--9, 53(11)113--115, 53(11)116--123,
53(11)124--132, 53(12)9--9, 54(1)8--8, 54(2)9--9, 54(2)116--118,
54(3)11--11, 54(4)8--8, 54(4)19--22, 54(4)38--43, 54(5)9--9,
54(6)7--7, 54(7)9--9, 54(8)8--8, 54(8)24--26, 54(9)9--9, 54(10)7--7,
54(11)9--9, 55(5)14--16, 56(4)75--81, 56(5)93--101, 57(1)7--7,
57(1)61--69, 57(5)39--41, 57(6)101--108, 57(7)76--84, 57(11)16--19,
58(1)128--z, 58(6)92--92, 58(8)16--18, 58(9)34--36, 58(11)113--121,
59(1)108--116, 59(4)86--93, 59(5)136--z, 59(12)72--81, 59(12)82--91,
60(8)15--17, 61(3)15--17, 61(8)31--34, 61(10)106--113, 61(11)88--94,
61(11)106--113, 61(11)148--155, 62(9)96--96
-
virtualization, 53(8)55--62, 54(1)61--65, 55(1)66--73, 59(1)107--107
-
virtualized, 54(7)131--141, 56(4)75--81, 57(3)99--106
-
virtualizing, 53(1)153--157
-
virtually, 53(1)153--157, 61(6)91--99, 62(6)16--18
-
virus, 53(3)66--74, 61(12)13--15
-
Viscous, 54(6)129--137
-
Vishkin, Uzi, 54(1)75--85, 57(4)35--39
-
Vishkin:2011:USA, 54(1)75--85
-
Vishkin:2014:MHG, 57(4)35--39
-
Vishnoi, Nisheeth K., 62(3)108--108
-
Vishnoi:2019:TPI, 62(3)108--108
-
Vishwanath, Arun, 57(1)78--85
-
Vishwanath, Arun, see Li, Jessica
-
Vishwanath, Venkatram, 60(1)97--104
-
Vishwanath, Venkatram, see Habib, Salman
-
visibility, 57(3)99--106, 58(2)37--39
-
visible, 57(6)19--21, 59(4)86--93
-
Visinescu, Lucian, 55(2)62--69
-
Visinescu, Lucian, see Evangelopoulos, Nicholas
-
vision, 53(1)19--21, 53(1)153--157, 53(3)107--114, 53(7)19--21,
53(7)25--25, 53(8)14--16, 53(10)7--7, 53(10)54--61, 53(10)112--z,
55(1)96--104, 55(6)61--69, 55(11)56--64, 56(6)13--15, 58(4)85--93,
58(8)13--15, 58(11)5--5, 59(3)108--115, 59(5)122--131, 59(12)144--z,
60(6)82--83, 61(1)106--115, 62(1)31--34
-
vision, computer-, 55(6)61--69
-
Vision-based, 54(2)60--71
-
visit, 56(1)68--72
-
visiting, 53(3)132--136
-
visitors, 53(3)132--136, 57(10)19--21, 59(12)72--81
-
Visser, Joost, 55(7)54--59
-
Visser, Joost, see Bouwers, Eric
-
vistas, 53(10)11--13
-
visual, 53(3)107--114, 53(10)95--103, 54(4)60--69, 54(10)104--104,
54(12)64--73, 55(4)45--54, 56(1)106--114, 56(4)92--99, 56(9)96--96,
56(9)97--105, 58(11)33--35, 58(12)103--110, 59(1)20--22,
59(2)26--28, 59(3)108--115, 60(1)87--95, 60(9)104--z
-
visualization, 53(1)136--141, 53(6)59--67, 53(7)132--137, 55(4)45--54,
56(1)105--105, 56(1)106--114, 57(6)19--21, 57(10)19--21,
58(5)15--17, 58(6)93--100, 58(9)116--124, 59(6)48--57, 59(8)32--37,
59(9)79--86, 59(11)27--30, 59(12)72--81, 60(10)91--100
-
visualize, 53(7)48--54, 59(9)79--86
-
visualizing, 53(6)33--34, 53(7)48--54, 57(11)98--105, 58(2)15--17,
60(1)87--95
-
visually, 57(11)98--105, 58(12)103--110, 60(1)87--95
-
vital, 53(8)141--145, 56(2)74--80, 56(5)84--90, 57(6)29--30
-
Vitek, Jan, 58(3)34--36
-
Vitek, Jan, see Krishnamurthi, Shriram
-
Viterbi, 59(10)85--92
-
Vitoria Lobo, Niels, Da, 62(1)31--34
-
Vixie, Paul, 54(9)38--41, 57(4)40--43, 58(4)42--45
-
Vixie:2011:ABP, 54(9)38--41
-
Vixie:2014:RLS, 57(4)40--43
-
Vixie:2015:GSG, 58(4)42--45
-
VL2, 54(3)94--94, 54(3)95--104
-
Vlijmen, Herman, Van, 55(11)65--75
-
VLSI, 56(6)105--113
-
VM, 53(10)84--84
-
VMM, 53(10)85--93
-
VMMs, 53(10)85--93
-
VMs, 53(10)85--93
-
VMware, 53(10)85--93
-
Vodafone, 53(1)121--125
-
Voelker, Geoffrey M., 53(10)85--93, 54(1)99--107, 54(5)78--87,
59(4)86--93
-
Voelker, Geoffrey M., see Afanasyev, Mikhail,
see Gupta, Diwaker,
see Meiklejohn, Sarah, \see{Tan, Kun
-
Vogl, Patrick, 53(11)67--72
-
Vogl:2010:RIG, 53(11)67--72
-
voice, 55(2)62--69, 55(4)14--16, 55(4)111--118, 56(5)68--75,
58(11)18--20, 60(5)105--111, 62(2)17--19, 62(4)28--28, 62(5)18--19
-
voice-recognition, 56(7)70--77
-
void, 59(11)105--112, 60(5)8--9, 60(8)92--99
-
Voida, Stephen, 62(8)72--81
-
Voida, Stephen, see Bardram, Jakob E.
-
Vojnovi{\'c}, Milan, 60(5)70--80
-
Vojnovic:2017:CT, 60(5)70--80
-
volatile, Non-, 59(1)56--63
-
volatile, non-, 59(1)23--25
-
Volinsky, Chris, 56(1)74--82
-
Volinsky, Chris, see Becker, Richard
-
Volkswagen, 61(3)30--32
-
voltage, 56(11)97--104
-
volume, 53(1)126--130, 57(9)93--99, 57(11)98--105, 59(7)117--125,
60(8)92--99, 62(9)97--105
-
volume, unit-, 55(10)90--97
-
volumetric, 57(11)98--105
-
voluntarily, 61(1)97--104
-
voluntary, 53(2)155--159
-
volunteer, 53(10)5--5, 57(11)10--11
-
vote, 55(5)19--29, 57(5)9--17, 59(5)11--22, 59(11)136--z, 61(5)13--21
-
voting, 53(4)112--z, 55(8)36--38, 55(10)68--77, 58(7)12--13, 62(9)25--27,
62(12)9--9
-
voting, e-, 58(7)12--13
-
Vouga, Etienne, 55(4)102--109
-
Vouga, Etienne, see Harmon, David
-
voxel, 60(8)92--99, 61(10)11--13, 62(9)97--105
-
voxelization, 60(8)92--99
-
Voynich, 58(2)7--7
-
VPN, 61(11)148--155
-
VPNs, 62(1)106--114
-
Vrable, Michael, 53(10)85--93
-
Vrable, Michael, see Gupta, Diwaker
-
Vrandeci{\'c}, Denny, 57(10)78--85
-
Vrandecic:2014:WFC, 57(10)78--85
-
Vredenburgh, Kate, 62(8)54--61
-
Vredenburgh, Kate, see Grosz, Barbara J.
-
Vu, Tam, 61(11)157--165
-
Vu, Tam, see Nguyen, Anh
-
Vucetic, Slobodan, 61(9)70--76
-
Vucetic:2018:PAC, 61(9)70--76
-
Vuduc, Richard, 55(5)101--109
-
Vuduc, Richard, see Lashuk, Ilya
-
Vukovic, Maja, 59(3)35--37
-
Vukovic:2016:VRT, 59(3)35--37
-
Vullikanti, Anil Kumar S., 56(7)88--96
-
Vullikanti, Anil Kumar S., see Marathe, Madhav
-
vulnerability, 54(5)130--140, 54(9)91--99, 55(6)35--37, 57(9)38--47,
58(2)24--26, 58(8)21--23, 60(2)99--107, 60(7)24--26, 61(3)109--116,
61(11)148--155, 62(6)42--44, 62(10)23--25
-
vulnerable, 61(3)109--116, 61(7)95--102, 61(11)148--155, 62(1)106--114
-
vying, 57(3)109--109
-
Vytelingum, Perukrishnen, 55(4)86--97
-
Vytelingum, Perukrishnen, see Ramchurn, Sarvapali D.