Index file section V for toplas.bib

Last update: Thu Jun 18 02:07:46 MDT 2026               

Return to index directory

V

• V, RISC-, 48(1)3--3
• v1.0, 43(1)3--3
• v8, ARM-, 43(3)10--10
• vagueness, 7(2)183--213
• Vákár, Matthijs, 44(1)4--4, 44(3)20--20, see Gorinova, Maria I.
• Vakar:2022:CCH, 44(3)20--20
• VAL, 4(1)44--82, 4(2)226--238
• Valdes, Jacobo, 5(3)405--421
• Valdes, Jacobo, see Lipton, Richard J.
• valid, 16(5)1449--1466, 17(1)47--62, 17(3)431--447, 22(1)162--186, 29(5)29--29, 31(1)1--1, 31(6)23--23, 33(4)14--14, 37(4)13--13, 38(2)5--5, 40(3)11--11, 45(2)9--9, 47(1)1--1
• validate, 14(4)521--573, 18(4)424--453, 32(3)7--7, 35(3)11--11, 42(1)2--2
• validated, 30(6)33--33, 31(1)1--1, 34(2)7--7, 34(3)14--14, 39(4)17--17
• validating, 44(4)23--23
• validation, 2(3)307--320, 7(1)137--158, 16(5)1613--1647, 19(2)253--291, 23(4)451--471, 28(2)331--388, 29(4)21--21, 32(5)19--19, 42(3)15--15
• validity, 20(2)302--343, 21(5)914--947, 22(1)87--128, 31(1)1--1, 31(6)23--23, 32(6)21--21, 34(1)2--2, 37(4)13--13
• valuable, 15(1)36--72, 16(5)1472--1511, 16(6)1661--1674, 19(1)87--152, 19(3)413--426, 20(1)208--258, 22(3)540--582, 28(5)848--907, 30(4)18--18, 30(6)31--31, 42(3)15--15
• Value, Call-by-, 43(4)17--17
• value, call-by-, 4(4)527--551, 17(1)47--62, 19(6)916--941, 20(1)166--207, 20(2)344--387, 27(5)857--881, 31(4)13--13, 33(1)5--5, 41(2)8--8, 41(4)22--22, 42(1)4--4, 43(4)17--17, 47(1)3--3
• value., 17(1)63--84
• valued, 24(3)217--298, 32(6)24--24
• valued, 3-, 32(2)5--5
• valued, array-, 28(6)1145--1177
• valued, pointer-, 32(2)5--5
• valued, real-, 39(2)8--8, 39(2)9--9, 40(2)7--7
• van, 5(3)499--499, 16(1)35--101
• Van Bulck, Jo, 43(3)12--12
• Van Bulck, Jo, see Busi, Matteo
• van den Bos, Jan, 3(3)224--250, 10(2)215--247
• Van Den Brand, M. G. J., 24(4)334--368
• Van Hentenryck, Pascal, 16(1)35--101, 17(4)635--671
• Van Hentenryck, Pascal, see Le Charlier, Baudouin
• Van Muylder, Antoine, 45(3)15--15
• Van Muylder, Antoine, see Haselwarter, Philipp G.
• Van Nieuwpoort, Rob, 23(6)747--775
• Van Nieuwpoort, Rob, see Maassen, Jason
• Van Nieuwpoort, Rob V., 32(3)9--9
• Van Put, Ludo, 29(4)19--19
• Van Put, Ludo, see De Sutter, Bjorn
• Van Roy, Peter, 19(5)804--851, 21(3)569--626
• Van Roy, Peter, see Haridi, Seif
• van Staveren, Hans, 4(1)21--36
• van Staveren, Hans, see Tanenbaum, Andrew S.
• Van Wyk, Eric, 47(3)10--10
• Van Wyk, Eric, see Michaelson, Dawn
• Vandecasteele, Henk, 21(6)1137--1195
• Vandecasteele, Henk, see Decorte, Stefaan
• vandenBos:1981:PCB, 3(3)224--250
• vandenBos:1988:AIT, 10(2)215--247
• VanDenBrand:2002:CLD, 24(4)334--368
• Vander Zanden, Brad, 18(1)30--72, 18(3)354--354
• Vander Zanden, Bradley T., 23(6)776--796
• VanderZanden:1996:CIA, 18(1)30--72, 18(3)354--354
• VanderZanden:1996:IAS, 18(1)30--72, 18(3)354--354
• VanderZanden:2001:LLA, 23(6)776--796
• VanHentenryck:1995:BTC, 17(4)635--671
• Vanhoof, Wim, 29(2)10--10
• Vanhoof, Wim, see Bruynooghe, Maurice
• VanNieuwpoort:2010:SHL, 32(3)9--9
• Vanoni, Gabriele, 47(4)20--20
• Vanoni, Gabriele, see Galal, Zeinab
• VanRoy:1997:MOD, 19(5)804--851
• Vansummeren, Stijn, 28(3)389--428
• Vansummeren:2006:TIU, 28(3)389--428
• vantage, 34(2)8--8
• Vardi, Moshe Y., 22(1)87--128
• Vardi, Moshe Y., see Kuperman, Orna
• Varghese, Joseph, 9(2)257--276
• Varghese, Joseph, see Mueller, Robert A.
• variable, two-, 33(6)21--21
• variable-length, 29(1)3--3
• variables, live-, 16(5)1467--1471
• variables., 43(1)3--3
• variance, 28(5)795--847
• variant, 4(2)239--257, 4(4)650--667, 5(3)405--421, 13(2)181--210, 15(1)1--35, 16(1)3--34, 16(4)1117--1155, 21(2)370--416, 21(3)430--501, 22(4)701--771, 25(3)360--399, 28(2)290--330, 28(4)696--714, 28(4)747--793, 28(5)795--847, 30(4)24--24, 30(5)29--29, 30(6)33--33, 34(1)2--2, 34(4)16--16, 36(1)1--1, 36(2)5--5, 36(3)10--10, 36(4)11--11, 38(3)8--8, 40(4)14--14, 42(1)2--2
• variation, 14(1)1--27, 14(2)265--297, 19(6)992--1030, 34(1)5--5, 36(1)1--1, 44(2)7--7
• variational, 36(1)1--1
• varied, 14(2)265--297
• variety, 5(2)127--163, 5(2)236--264, 14(4)521--573, 15(1)36--72, 16(1)35--101, 16(3)524--576, 16(3)577--604, 17(2)293--330, 17(5)691--703, 18(4)477--518, 19(3)413--426, 20(6)1297--1322, 21(2)370--416, 22(2)378--415, 22(5)932--972, 28(3)517--575, 32(1)3--3, 32(6)24--24, 40(1)1--1, 41(3)18--18, 42(2)9--9, 42(3)15--15, 43(1)4--4, 44(2)11--11, 44(3)17--17, 48(1)2--2
• various, 4(2)239--257, 8(4)491--523, 14(2)127--144, 15(4)575--631, 15(4)659--680, 16(2)259--303, 16(3)524--576, 16(6)1768--1810, 17(1)157--179, 17(4)600--634, 20(4)707--723, 21(1)90--137, 21(2)175--188, 21(2)240--285, 21(3)677--701, 21(6)1137--1195, 22(2)265--295, 22(2)296--339, 22(2)416--430, 22(4)673--700, 22(4)701--771, 22(5)816--860, 22(6)1037--1080, 23(1)73--103, 28(3)389--428, 31(1)4--4, 32(4)13--13, 32(5)19--19, 33(5)16--16, 34(1)5--5, 34(4)17--17, 36(3)8--8, 36(4)11--11, 38(3)8--8, 39(2)8--8, 40(3)9--9, 40(3)13--13, 41(2)13--13, 41(4)20--20, 41(4)23--23, 43(2)5--5
• vary, 5(2)236--264, 16(3)524--576, 16(5)1648--1659, 41(1)1--1
• varying, 14(1)54--106, 18(6)659--682
• Vasconcelos, Vasco T., 44(4)26--26
• Vasconcelos:2022:TDM, 44(4)26--26
• vast, 30(4)20--20, 36(3)10--10, 43(2)8--8, 45(1)6--6, 48(1)2--2
• vastly, 36(2)7--7
• VAX1-11, 7(4)560--599
• Vaziri, Mandana, 34(1)4--4
• Vaziri, Mandana, see Dolby, Julian
• Vazou, Niki, 47(3)13--13
• Vazou, Niki, see Colledan, Andrea
• VBD-HotSpot, 43(3)10--10
• VBDA-HotSpot, 43(3)10--10
• VCARW, 21(6)1077--1136
• Veanes, Margus, 38(1)1--1
• Veanes, Margus, see D'antoni, Loris
• vector, 1(2)177--195, 2(2)203--224, 3(2)126--143, 6(3)297--313, 9(4)491--542, 16(3)305--327, 16(4)1114--1116, 16(5)1472--1511, 22(5)773--815, 29(6)38--38, 30(4)23--23, 35(3)10--10, 41(2)11--11
• vector, bit-, 20(6)1111--1130
• Vector, Matrix-, 17(4)561--575
• vector, matrix-, 17(4)561--575
• vectorizable, 37(4)12--12
• vectorization, 9(3)319--349, 21(6)1251--1297, 31(5)17--17
• vectorize, 16(3)305--327
• vectorized, 45(2)13--13
• vectors, bit-, 40(2)5--5
• vehicle, 20(5)1014--1066, 32(4)13--13
• vein, 40(1)4--4
• Veldema, Ronald, 23(6)747--775
• Veldema, Ronald, see Maassen, Jason
• Venkatesh, G. A., 17(2)197--216
• Venkatesh:1995:ERD, 17(2)197--216
• Vera, Xavier, 26(2)263--300, 27(5)946--987
• Vera:2004:FAF, 26(2)263--300
• Vera:2005:ACM, 27(5)946--987
• Verdoolaege, Sven, 34(3)11--11, 37(4)12--12
• Verdoolaege, Sven, see Grosser, Tobias
• Verdoolaege:2012:ECS, 34(3)11--11
• Vere, Lorraine, De, 17(4)672--689
• verifiable, 4(4)552--562, 7(2)214--243, 27(6)1049--1096, 37(2)7--7
• verifiably, 22(4)701--771, 46(1)2--2
• verification., 30(4)20--20
• verified, 4(3)362--381, 12(4)643--669, 13(1)150--178, 16(2)259--303, 19(4)586--616, 19(5)726--750, 21(1)46--89, 21(6)1196--1250, 31(1)1--1, 31(1)5--5, 31(3)10--10, 31(6)23--23, 33(1)4--4, 34(3)12--12, 36(1)4--4, 36(2)6--6, 37(2)7--7, 39(3)11--11, 39(4)14--14, 42(1)3--3, 43(1)2--2, 44(3)14--14, 45(3)18--18
• verifier, 21(1)90--137, 21(6)1196--1250, 22(4)638--672, 28(4)619--695, 30(4)21--21, 31(1)1--1, 34(1)2--2, 40(2)6--6, 42(1)3--3, 43(4)15--15, 44(3)16--16
• verify, 16(1)35--101, 16(3)872--923, 16(5)1512--1542, 17(2)197--216, 19(5)726--750, 20(6)1223--1250, 21(2)370--416, 30(4)20--20, 30(6)30--30, 31(1)1--1, 31(1)5--5, 31(3)12--12, 32(3)7--7, 32(4)14--14, 32(5)16--16, 32(5)18--18, 33(1)4--4, 34(1)2--2, 36(1)3--3, 36(1)4--4, 36(4)12--12, 39(3)11--11, 40(3)12--12, 40(3)13--13, 43(1)3--3, 43(1)4--4, 44(2)12--12, 44(3)14--14
• verify, hard-to-, 40(4)16--16
• verify, re-, 30(6)30--30
• versa, 43(2)6--6
• versatile, 4(1)113--119, 16(5)1472--1511
• version, 4(2)125--148, 4(2)295--322, 4(3)362--381, 4(4)650--667, 6(2)215--238, 7(4)501--538, 8(2)244--263, 8(3)273--291, 9(2)277--295, 10(3)470--502, 10(4)627--632, 10(4)633--634, 11(3)345--387, 14(4)589--616, 15(2)211--252, 15(4)735--742, 16(3)428--455, 16(3)775--797, 16(5)1543--1571, 16(6)1768--1810, 16(6)1875--1903, 17(4)672--689, 18(4)424--453, 18(6)711--729, 19(4)557--567, 19(6)899--915, 20(5)980--1013, 20(6)1297--1322, 21(2)286--323, 22(1)129--161, 22(5)773--815, 22(5)932--972, 22(6)1037--1080, 27(6)1049--1096, 30(1)4--4, 30(3)17--17, 31(3)9--9, 31(3)12--12, 33(3)9--9, 34(4)17--17, 36(3)8--8, 39(4)17--17, 40(4)14--14, 41(2)8--8, 41(2)12--12, 42(1)2--2
• version, old-, 36(4)13--13
• version., 16(3)775--797
• versioning, 37(4)12--12
• versioning, self-, 20(5)980--1013
• versus, 17(3)431--447, 19(2)223--238, 19(6)853--898, 20(6)1251--1264, 23(2)105--186, 24(4)299--333, 30(1)4--4, 35(1)5--5, 44(4)23--23
• vertex, 16(4)1319--1360, 20(6)1265--1296, 22(1)162--186, 35(2)7--7, 40(3)11--11
• very, 3(2)126--143, 4(3)402--454, 4(4)650--667, 5(2)164--189, 9(2)198--234, 9(2)235--256, 13(1)99--123, 14(1)107--125, 16(3)872--923, 16(5)1431--1448, 16(6)1768--1810, 17(1)63--84, 17(2)233--263, 17(2)394--429, 17(3)461--486, 17(4)635--671, 17(5)740--776, 18(3)268--299, 19(3)525--555, 19(4)617--638, 20(6)1265--1296, 21(2)286--323, 21(4)813--847, 22(2)296--339, 22(4)583--637, 22(6)1002--1036, 23(1)73--103, 30(5)28--28, 31(3)12--12, 36(3)10--10, 37(2)6--6, 37(4)12--12, 38(2)7--7, 38(3)12--12, 39(1)3--3, 39(2)9--9, 39(4)18--18, 41(1)2--2, 41(3)16--16, 43(1)2--2, 43(3)10--10, 43(4)15--15, 44(4)22--22, 45(2)8--8, 48(1)3--3
• Vesga, Elisabet, Lobo-, 43(2)6--6
• VHDL, 19(4)586--616
• viability, 33(1)2--2
• vice, 43(2)6--6
• Vick, Christopher A., 23(5)603--625
• Vick, Christopher A., see Cooper, Keith D.
• Vidal, Germán, 20(4)768--844, see Alpuente, María
• view, 4(1)113--119, 4(2)149--178, 5(2)127--163, 8(4)419--490, 8(4)577--608, 16(3)607--648, 16(6)1768--1810, 17(1)28--44, 17(1)157--179, 17(3)431--447, 18(5)564--614, 18(6)730--751, 19(6)942--991, 21(1)46--89, 21(5)948--976, 21(6)1137--1195, 30(4)18--18, 32(6)24--24, 33(5)16--16, 44(3)18--18
• view-update, 29(3)17--17
• viewed, 14(4)574--588, 16(3)305--327, 16(6)1842--1874, 19(3)462--491, 20(3)679--706, 21(1)11--45, 43(1)3--3
• viewing, 16(3)607--648, 16(4)1279--1318
• viewpoint, 34(2)8--8
• vigilance, 40(3)10--10
• Vignudelli, Valeria, 41(4)22--22
• Vignudelli, Valeria, see Sangiorgi, Davide
• vigorous, 37(3)8--8
• Vijayen, Gopalakrishnan, 5(3)405--421
• Vijayen, Gopalakrishnan, see Lipton, Richard J.
• Vijaykumar, T. N., 28(5)942--965
• Vijaykumar, T. N., see Kim, Seon Wook
• violate, 21(3)527--568, 30(2)8--8, 34(2)7--7, 40(4)16--16, 43(3)10--10
• violated, 35(2)8--8
• violating, 32(5)18--18
• violation, 16(3)986--1009, 30(4)20--20, 34(2)7--7, 34(2)10--10, 35(3)11--11, 37(1)4--4, 38(2)5--5, 38(4)16--16, 39(3)10--10, 41(3)18--18, 43(3)10--10
• Viper, 42(1)3--3
• Viroli, Mirko, 28(5)795--847
• Viroli, Mirko, see Igarashi, Atsushi
• virtual, 7(1)62--79, 7(3)404--425, 19(1)153--187, 21(1)90--137, 21(6)1196--1250, 22(4)638--672, 28(1)1--69, 28(4)619--695, 28(5)908--941, 29(6)33--33, 29(6)37--37, 30(4)21--21, 30(5)28--28, 30(6)33--33, 31(6)20--20, 32(4)12--12, 37(1)4--4, 39(4)17--17, 40(2)8--8, 40(4)15--15, 41(3)19--19, 43(3)12--12
• virtualization, 30(4)22--22
• virtues, 9(2)198--234
• Vishkin, Uzi, 7(2)348--357, 36(3)10--10
• Vishkin, Uzi, see Bar-On, Ilan, see Tzannes, Alexandros
• visibility, 21(4)813--847, 37(3)10--10
• visible, 31(1)1--1, 37(3)8--8, 38(2)5--5
• visibly, 41(2)11--11, 45(2)9--9
• vision, 17(3)431--447, 40(4)16--16
• visit, 18(1)16--29
• Visser, Eelco, 34(4)15--15
• Visser, Eelco, see Jonge, Maartje de
• visual, 12(2)143--177, 21(6)1077--1136, 22(4)583--637
• visualization, 28(3)476--516, 37(1)3--3
• vita, 32(4)10--10, 32(6)20--20
• Vitek, 30(6)33--33
• Vitek, Jan, 29(6)32--32, 34(1)4--4, 36(2)6--6, 41(1)4--4, 41(4)21--21
• Vitek, Jan, see Andersen, Leif, see Berger, Emery D., \see{Dolby, Julian, see Grothoff, Christian, see Jagannathan, Suresh
• Vitek, Olga, 41(4)21--21
• Vitek, Olga, see Berger, Emery D.
• Vivien, Frédéric, 29(6)34--34, see Thies, William
• viz, 38(2)7--7
• VLC, 36(1)1--1
• VLIW, 17(4)600--634, 19(6)853--898, 21(5)1028--1075
• VLSI, 5(3)405--421
• VM, 40(2)8--8
• Vo, Hoi, 29(1)3--3
• Vo, Hoi, see Drini{\'c}, Milenko
• Vogt, 18(1)16--29
• void, 33(1)3--3
• Vojdani, Vesal, 47(3)11--11
• Vojdani, Vesal, see Holter, Karoliine
• volatile, 40(4)15--15
• volatile-by-default, 43(3)10--10
• Vollmer, Jürgen, 18(3)268--299, see Knoop, Jens
• Volpano, 13(4)633--633
• Volpano, Dennis, 18(3)254--267
• Volpano, Dennis, see Smith, Geoffrey
• Volpano, Dennis M., 13(4)631--632
• Volpano:1991:TCS, 12(1)135--138, 13(4)631--632, 13(4)633--633
• volume, 21(6)1251--1297, 22(5)773--815, 34(1)1--1, 40(4)18--18, 42(2)11--11
• Von Bank, D. G., 16(6)1842--1874
• Von Dincklage, Daniel, 29(2)11--11
• Von Dincklage, Daniel, see Hirzel, Martin
• VonBank:1994:UMP, 16(6)1842--1874
• vonHanxleden:2000:BCP, 22(5)816--860
• Voorneveld, Niels, 42(1)4--4
• Voorneveld, Niels, see Simpson, Alex
• voqc, 45(3)18--18
• vortices, 15(5)771--794
• Vouillon, Jérôme, 27(1)46--90, see Hosoya, Haruo
• VPCMA, 41(2)11--11
• vpo, 16(5)1648--1659
• vpoiso, 16(5)1648--1659
• Vries, F. J., De, 16(3)493--523
• vs, 24(5)566--591, 41(4)23--23
• Vukasovic, Maja, 45(4)20--20
• Vukasovic:2023:EPC, 45(4)20--20
• vulnerabilities, 30(6)30--30, 40(1)1--1, 41(3)18--18
• vulnerable, 30(5)25--25
• Vytiniotis, Dimitrios, 39(4)18--18
• Vytiniotis, Dimitrios, see Zhang, Danfeng