Index file section V for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
V
-
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
-
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
-
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.
-
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
-
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
-
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
-
vastly, 36(2)7--7
-
VAX1-11, 7(4)560--599
-
Vaziri, Mandana, 34(1)4--4
-
Vaziri, Mandana, see Dolby, Julian
-
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
-
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
-
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