Index file section W for toplas.bib
Last update: Thu Apr 11 02:12:53 MDT 2024
Return to index directory
W
-
W, 10(4)633--634, 29(6)35--35, 36(1)1--1
-
w, 36(3)9--9, 36(4)11--11
-
W3C, 34(2)8--8
-
Wachter, Björn, 40(1)1--1, see Chen, Hong-Yi
-
Waddle, Vance E., 12(1)61--83
-
Waddle:1990:PTC, 12(1)61--83
-
Wadge, W. W., 4(2)283--294
-
Wadge, W. W., see Ashcroft, E. A.
-
Wadler, Philip, 19(6)916--941, 23(3)396--450
-
Wadler, Philip, see Igarashi, Atsushi,
see Sabry, Amr
-
Wadler, Philip L., 18(2)109--138
-
Wadler, Philip L., see Hall, Cordelia V.
-
Wagner, E. G., 4(4)711--732
-
Wagner, E. G., see Thatcher, J. W.
-
Wagner, Gregor, 38(3)9--9
-
Wagner, Tim A., 20(5)980--1013
-
Wagner:1998:EFI, 20(5)980--1013
-
Wagner:2016:TIB, 38(3)9--9
-
Wahl, Thomas, 36(4)14--14, 42(4)16--16
-
Wahl, Thomas, see Kaiser, Alexander,
see Liu, Peizun
-
wait, 15(5)745--770
-
Wait-for, 41(1)1--1
-
Wait-Free, 13(1)124--149
-
wait-free, 13(1)124--149, 15(5)745--770
-
wait-notify, 35(4)12--12
-
Waite, Schorr-, 4(3)362--381
-
waiting, 32(4)12--12, 34(1)6--6
-
waits, optional-, 41(1)1--1
-
waituntil, 27(6)1270--1343
-
WALA, 41(1)6--6
-
Waldinger, Richard, 2(1)90--121
-
Waldinger, Richard, see Manna, Zohar
-
Walicki, Michal, 17(2)366--393
-
Walicki:1995:CCM, 17(2)366--393
-
walk, 9(3)319--349, 41(2)10--10
-
walker, 4(2)149--178
-
Walker, David, 21(3)527--568, 22(4)701--771, 30(3)14--14
-
Walker, David, see Dantas, Daniel S.,
see Morrisett, Greg
-
Walker:2000:TMM, 22(4)701--771
-
Walkingshaw, Eric, 36(1)1--1
-
Walkingshaw, Eric, see Chen, Sheng
-
Wall, D., 7(1)176--181
-
Wall, David W., 14(3)299--338
-
Wall:1985:TCN, 7(1)176--181
-
Wall:1992:ESD, 14(3)299--338
-
Wallis, Peter J. L., 2(2)137--152, 3(1)111--111
-
Wallis:1980:ERO, 2(2)137--152, 3(1)111--111
-
Wallis:1981:CER, 2(2)137--152, 3(1)111--111
-
Walsh, Robert, 45(3)14--14
-
Walsh, Robert, see Scott, Elizabeth
-
Walters, Pum, 20(3)679--706, 22(1)45--86
-
Walters, Pum, see Fokkink, Wan
-
WAM, 18(6)752--779, 20(3)586--634
-
WAM, SLG-, 20(3)586--634
-
Wand, 17(1)47--62
-
wand, magic-, 44(3)16--16
-
Wand, Mitchell, 4(3)496--517, 19(1)48--86, 26(5)890--910
-
Wand, Mitchell, see Steckler, Paul A.
-
Wand:1982:DTC, 4(3)496--517
-
Wand:2004:SAD, 26(5)890--910
-
Wang, Albert, 18(3)235--253
-
Wang, Albert, see Liao, Stan
-
Wang, Daniel C., 32(3)7--7
-
Wang, Daniel C., see Ahmed, Amal
-
Wang, Farn, 19(2)386--412, 37(3)9--9
-
Wang, Farn, see Yang, Jin
-
Wang, Feng-Jian, 17(2)228--232
-
Wang, Feng-Jian, see Wu, Pei-Chi
-
Wang, Tao, 30(2)10--10
-
Wang:2008:DSJ, 30(2)10--10
-
Wang:2015:EAS, 37(3)9--9
-
want, 39(1)5--5
-
wanted, 4(4)711--732
-
Warburton, Richard, 31(4)14--14
-
Warburton, Richard, see Kalvala, Sara
-
Ward, Martin, 29(2)7--7
-
Ward:2007:SPT, 29(2)7--7
-
warnings, 28(2)207--255
-
Warp, 7(3)404--425, 15(5)771--794
-
Warren, 16(1)35--101, 18(6)752--779
-
Warren, David S., 11(3)451--481
-
Warren, David S., see Debray, Saumya K.
-
Warren, Joe D., 9(3)319--349
-
Warren, Joe D., see Ferrante, Jeanne
-
Warth, Alessandro, 31(2)7--7
-
Warth, Alessandro, see Millstein, Todd
-
was, 4(2)149--178, 4(4)527--551, 4(4)552--562, 4(4)733--757,
5(2)236--264, 9(3)367--389, 14(1)1--27, 14(2)147--172,
14(4)574--588, 15(4)735--742, 16(5)1648--1659, 17(4)600--634,
17(4)672--689, 17(5)691--703, 18(4)401--423, 19(3)492--524,
19(6)1085--1087, 21(1)1--10, 22(3)431--470, 23(2)105--186,
27(6)1344--1395, 30(4)19--19, 30(5)29--29, 32(6)23--23, 33(1)3--3,
35(1)4--4, 36(2)5--5, 36(4)12--12, 38(3)9--9, 41(2)12--12, 43(2)8--8,
45(1)1--1, 45(3)15--15
-
Washburn, Geoffrey, 30(3)14--14
-
Washburn, Geoffrey, see Dantas, Daniel S.
-
wasted, 14(2)173--200
-
Water, 19(6)942--991
-
Waters, Richard C., 5(4)513--531, 13(1)52--98, 16(1)102--150
-
Waters:1983:UFC, 5(4)513--531
-
Waters:1991:ATS, 13(1)52--98
-
Waters:1994:CBP, 16(1)102--150
-
Watro, Ronald J., 12(1)123--134, 15(5)771--794
-
Watro, Ronald J., see Farmer, William M.,
see Leivent, Jonathan I.
-
Watson, Robert G., 30(2)9--9
-
Watson, Robert G., see Cooke, Daniel E.
-
way, 4(2)226--238, 4(4)687--710, 7(2)183--213, 7(3)404--425,
8(4)419--490, 9(2)257--276, 9(4)491--542, 10(2)189--203,
10(2)248--266, 15(4)659--680, 15(5)876--895, 16(2)205--258,
16(2)259--303, 16(4)1114--1116, 16(6)1675--1683, 16(6)1768--1810,
16(6)1811--1841, 17(2)181--196, 17(2)264--292, 17(2)331--365,
17(2)366--393, 18(1)1--15, 18(1)73--108, 18(4)477--518, 19(1)7--47,
19(3)444--461, 19(3)492--524, 19(5)804--851, 19(6)916--941,
20(1)208--258, 20(2)259--273, 20(2)344--387, 20(4)869--916,
20(6)1171--1194, 21(1)46--89, 21(3)527--568, 21(3)569--626,
22(2)187--223, 22(3)506--539, 22(4)701--771, 22(6)1002--1036,
22(6)1037--1080, 28(3)389--428, 28(3)476--516, 28(3)517--575,
28(4)747--793, 30(4)19--19, 30(4)21--21, 30(4)23--23, 31(3)12--12,
31(4)16--16, 32(1)3--3, 32(2)5--5, 32(5)19--19, 32(6)24--24,
33(3)10--10, 35(1)3--3, 35(4)12--12, 35(4)13--13, 35(4)14--14,
36(1)2--2, 36(2)5--5, 36(2)7--7, 38(2)5--5, 38(3)12--12, 38(4)15--15,
39(2)9--9, 39(3)11--11, 39(4)18--18, 40(2)8--8, 40(3)12--12,
41(1)3--3, 41(2)10--10, 43(2)8--8, 44(2)6--6, 45(2)12--12,
45(3)15--15, 45(4)22--22
-
way, 8-, 27(6)1097--1146
-
way, four-, 28(1)1--69
-
way, One-, 18(1)30--72
-
way, one-, 23(6)776--796, 37(1)3--3
-
way, single-, 22(5)932--972
-
WCRT, 32(4)13--13
-
we're, 39(1)4--4
-
weak, 13(1)124--149, 15(1)182--205, 17(1)16--27, 18(3)254--267,
20(6)1171--1194, 27(6)1097--1146, 31(3)10--10, 34(1)5--5,
34(4)17--17, 36(2)7--7, 37(3)8--8, 38(3)10--10, 38(4)16--16,
40(3)11--11, 45(1)6--6
-
weaken, 14(4)589--616, 40(4)16--16
-
weakened, 16(5)1449--1466
-
weakening, 29(6)39--39, 39(2)6--6
-
weaker, 4(4)668--677, 15(1)182--205, 20(5)917--979, 35(3)9--9,
39(3)11--11, 44(2)8--8
-
weakest, 4(4)668--677, 20(2)302--343, 31(4)16--16, 33(6)19--19,
40(1)4--4
-
weakest-precondition, 18(3)325--353
-
weakly, 17(1)16--27
-
weakness, 18(4)454--476, 27(6)1344--1395, 41(3)18--18
-
weak/strong, 40(3)11--11
-
web, 25(6)814--875, 27(6)1049--1096, 30(4)22--22, 30(6)30--30, 31(1)5--5,
31(5)19--19, 34(2)8--8, 34(2)10--10, 36(1)2--2, 38(3)9--9,
41(2)12--12, 41(3)18--18
-
Webber, Adam, 17(2)293--330
-
Webber:1995:OFP, 17(2)293--330
-
websites, 41(2)12--12
-
Weddell, Grant E., 30(5)28--28
-
Weddell, Grant E., see Gil, Joseph (Yossi)
-
Wegman, Mark N., 13(2)181--210, 13(4)451--490
-
Wegman, Mark N., see Cytron, Ron
-
Wegman:1991:CPC, 13(2)181--210
-
Wehr, Stefan, 33(4)12--12
-
Wehr:2011:JIT, 33(4)12--12
-
Wehrheim, Heike, 33(1)4--4, 39(2)7--7
-
Wehrheim, Heike, see Derrick, John,
see Jakobs, Marie-Christine
-
Wei, 34(1)1--1
-
weight, light-, 16(5)1411--1430
-
Weight, Minimum-, 5(1)66--77
-
weighted, node-, 41(2)12--12
-
weighted-reference-counting, 15(1)1--35
-
weights, 41(2)12--12
-
Weihl, William, 7(2)244--269
-
Weihl, William E., 11(2)249--283, 12(2)178--202
-
Weihl:1985:IRA, 7(2)244--269
-
Weihl:1989:LAP, 11(2)249--283
-
Weihl:1990:LSA, 12(2)178--202
-
Weimer, Westley, 27(3)477--526, 30(2)8--8
-
Weimer, Westley, see Necula, George C.
-
Weimer:2008:ESP, 30(2)8--8
-
Weirich, Stephanie, 30(3)14--14
-
Weirich, Stephanie, see Dantas, Daniel S.
-
Weisenburger, Pascal, 45(3)17--17
-
Weisenburger, Pascal, see Richter, David
-
Weiser, Boehm-Demers-, 28(5)908--941
-
Weixelbaum, Elia, 4(4)650--667
-
Weixelbaum, Elia, see Dewar, Robert B. K.
-
Welch, Peter H., 32(4)14--14
-
Welch:2010:SCF, 32(4)14--14
-
Welcome, 34(1)1--1
-
well, 4(2)125--148, 4(2)258--282, 4(4)687--710, 7(1)159--175,
9(2)125--163, 12(4)643--669, 13(1)52--98, 13(1)99--123,
14(2)265--297, 15(1)1--35, 15(4)659--680, 16(3)305--327,
16(4)1081--1096, 16(4)1097--1113, 16(4)1319--1360, 16(5)1399--1410,
16(6)1875--1903, 17(1)28--44, 17(1)85--122, 17(2)197--216,
17(5)740--776, 17(5)777--803, 19(3)413--426, 19(4)568--585,
19(6)992--1030, 19(6)1053--1084, 20(1)208--258, 20(2)344--387,
20(3)483--545, 20(3)546--585, 20(4)707--723, 21(1)1--10,
21(3)430--501, 21(4)703--746, 21(4)747--789, 21(5)948--976,
22(2)187--223, 28(1)175--205, 30(4)19--19, 30(4)20--20, 30(5)25--25,
31(3)10--10, 31(3)12--12, 33(1)5--5, 33(5)16--16, 34(1)3--3,
34(1)4--4, 34(2)10--10, 35(1)2--2, 35(3)11--11, 35(4)14--14,
36(1)1--1, 36(3)8--8, 36(3)10--10, 36(4)11--11, 36(4)12--12,
36(4)14--14, 37(1)3--3, 37(3)8--8, 38(2)6--6, 38(3)9--9, 39(1)4--4,
40(2)5--5, 40(2)8--8, 40(3)9--9, 40(3)12--12, 41(1)2--2, 41(1)3--3,
41(2)8--8, 41(2)13--13, 41(3)16--16, 41(3)18--18, 43(3)10--10,
43(3)11--11, 43(4)15--15
-
well-accepted, 19(3)525--555
-
well-automated, 27(6)1147--1215
-
well-behaved, 18(1)73--108
-
well-defined, 16(6)1842--1874, 43(1)4--4
-
well-established, 32(1)2--2, 39(4)17--17
-
well-formed, 17(1)1--15, 40(4)17--17
-
well-founded, 16(4)1097--1113, 19(5)639--684, 20(3)586--634,
20(6)1171--1194, 21(6)1137--1195, 22(3)540--582, 27(6)1147--1215,
41(1)5--5
-
well-know, 19(1)7--47
-
well-known, 4(2)258--282, 6(4)632--646, 7(1)62--79, 13(2)181--210,
16(3)687--726, 17(2)293--330, 18(5)528--563, 18(6)683--710,
19(1)7--47, 19(3)444--461, 19(4)568--585, 20(2)344--387,
20(5)1067--1109, 21(2)189--239, 21(4)747--789, 28(2)331--388,
30(6)33--33, 34(3)12--12, 35(4)13--13, 36(1)3--3, 39(1)4--4,
39(4)14--14, 41(2)12--12, 41(3)14--14, 43(1)3--3, 44(4)24--24
-
well-moding, 32(6)21--21
-
well-optimized, 27(6)1097--1146
-
well-ordered, 31(3)10--10, 36(4)14--14
-
well-ordering, 31(3)10--10
-
well-stated, 41(3)18--18
-
well-structured, 34(2)8--8
-
well-typed, 21(3)527--568, 22(4)638--672, 22(6)1037--1080, 38(4)14--14,
40(4)17--17, 42(3)15--15
-
well-typedness, 22(4)638--672, 28(4)619--695
-
well-understood, 16(4)1248--1278, 31(2)8--8, 38(2)4--4
-
well., 32(4)11--11
-
Wellings, A. J., 22(3)506--539
-
Wellings:2000:IOO, 22(3)506--539
-
were, 16(3)305--327, 17(2)197--216, 17(3)487--506, 18(1)1--15,
18(4)424--453, 20(3)483--545, 20(6)1131--1170, 23(2)105--186,
27(6)1344--1395, 28(5)848--907, 29(1)3--3, 30(4)20--20, 31(3)12--12,
31(6)22--22, 32(1)3--3, 33(3)9--9, 33(4)13--13, 34(3)14--14,
35(1)3--3, 37(3)8--8, 38(3)9--9, 40(4)16--16, 44(2)6--6, 44(4)24--24,
44(4)25--25
-
West, Dennis P., 40(3)10--10
-
West, Dennis P., see Florence, Spencer P.
-
Westbrook, Jeffery R., 20(6)1265--1296, 27(3)383--387
-
Westbrook, Jeffery R., see Buchsbaum, Adam L.
-
Wetherell, C. S., 4(2)226--238
-
Wetherell:1982:EDV, 4(2)226--238
-
Weyuker, Elaine J., 5(4)641--655
-
Weyuker:1983:ATD, 5(4)641--655
-
WFG, 41(1)1--1
-
WFG-static, 41(1)1--1
-
Whalley, David B., 16(5)1648--1659, 24(6)667--697
-
Whalley, David B., see Yang, Minghui
-
Whalley:1994:AIC, 16(5)1648--1659
-
what, 5(2)236--264, 5(3)405--421, 6(2)159--174, 13(2)269--290,
16(4)1319--1360, 17(2)181--196, 19(3)444--461, 19(5)804--851,
22(2)378--415, 22(4)638--672, 30(4)24--24, 32(5)19--19, 32(6)23--23,
32(6)24--24, 36(3)8--8, 37(3)8--8, 43(2)7--7, 44(2)8--8
-
whenever, 15(4)575--631, 17(2)366--393, 28(5)942--965, 31(3)10--10,
35(4)13--13
-
where, FT-, 36(4)12--12
-
whereas, 8(4)547--576, 9(2)257--276, 18(3)268--299, 18(6)659--682,
30(5)29--29, 38(3)9--9, 40(3)9--9, 42(3)14--14
-
whereby, 8(1)109--139, 28(4)577--618, 28(4)747--793
-
wherever, 4(4)527--551
-
whether, 8(4)524--546, 15(4)575--631, 15(4)706--734, 16(4)1248--1278,
16(6)1768--1810, 17(5)691--703, 19(5)804--851, 20(6)1111--1130,
21(1)46--89, 29(6)33--33, 30(6)30--30, 31(3)10--10, 34(1)2--2,
37(2)5--5, 37(3)8--8, 38(4)15--15, 40(2)7--7, 40(3)10--10,
40(4)14--14, 40(4)16--16, 42(3)15--15, 44(1)2--2
-
which, browser-, 38(3)9--9
-
which, conversion-, 22(1)129--161
-
while-Programs, 7(1)37--61
-
while-programs, 36(3)9--9
-
whilst, 30(6)31--31
-
Whitfield, Deborah L., 19(6)1053--1084
-
Whitfield:1997:AEC, 19(6)1053--1084
-
who, 4(3)382--401, 28(2)290--330, 34(1)1--1, 42(3)14--14
-
whole, 4(2)283--294, 8(4)491--523, 17(1)63--84, 18(6)730--751,
20(2)344--387, 20(3)483--545, 22(5)932--972, 28(4)619--695,
30(4)19--19, 31(2)7--7, 32(1)1--1, 32(4)12--12, 35(4)12--12,
36(4)13--13, 38(4)15--15, 39(3)11--11, 41(1)6--6, 41(3)16--16,
41(3)19--19
-
whole-heap, 28(3)476--516
-
whole-program, 30(3)17--17, 30(5)28--28, 30(5)29--29, 31(6)20--20,
34(2)7--7
-
wholesale, 40(4)16--16
-
whose, 3(2)126--143, 8(4)419--490, 9(2)125--163, 13(2)181--210,
13(2)237--268, 15(4)575--631, 16(3)524--576, 16(4)1117--1155,
16(5)1411--1430, 17(1)16--27, 17(1)123--156, 17(2)217--227,
19(4)617--638, 22(2)265--295, 27(6)1147--1215, 28(4)577--618,
31(1)4--4, 32(3)7--7, 34(4)16--16, 35(3)9--9, 35(4)14--14, 36(2)6--6,
36(3)8--8, 36(4)14--14, 37(2)6--6, 38(3)8--8, 40(1)2--2, 41(3)18--18,
42(1)4--4
-
why, 16(3)687--726, 16(4)1097--1113, 16(5)1449--1466, 30(5)29--29,
37(1)1--1
-
Wickerson, John, 37(3)10--10
-
Wickerson, John, see Betts, Adam
-
wide, 8(4)524--546, 9(2)235--256, 14(1)1--27, 14(3)299--338,
16(3)577--604, 17(2)293--330, 18(4)477--518, 19(6)853--898,
20(6)1297--1322, 21(2)189--239, 27(6)1147--1215, 28(5)795--847,
34(3)12--12, 34(3)14--14, 37(4)11--11, 38(1)1--1, 38(3)12--12,
41(3)16--16, 43(1)4--4, 44(2)11--11, 44(4)25--25
-
wide-area, 32(3)9--9
-
wide-issue, 19(1)188--222
-
wide-spectrum, 4(4)650--667
-
widely, 16(3)370--386, 17(2)331--365, 18(1)30--72, 18(6)752--779,
19(3)413--426, 19(6)916--941, 21(1)11--45, 21(3)502--526,
22(4)673--700, 27(6)1344--1395, 28(5)908--941, 34(1)2--2, 34(1)3--3,
34(2)9--9, 39(1)4--4, 39(4)17--17, 41(2)12--12, 41(3)15--15,
42(2)9--9, 43(4)15--15, 44(4)24--24
-
widen, 36(4)14--14
-
widening, 34(3)11--11, 36(4)14--14
-
widening, ever-, 21(4)703--746
-
widespread, 30(4)20--20, 32(1)1--1, 37(2)5--5
-
Widom, Jennifer, 14(3)396--416, 15(1)208--208
-
Widom:1992:TBN, 14(3)396--416, 15(1)208--208
-
Widom:1993:CTB, 14(3)396--416, 15(1)208--208
-
width, 16(5)1472--1511, 32(6)21--21, 36(4)11--11, 37(1)1--1
-
width, bit-, 37(1)1--1
-
Wilcox, 9(3)367--389
-
Wilcox, James R., 44(2)12--12
-
Wilcox, James R., see Lorch, Jacob R.
-
wildcards, 34(3)12--12
-
Wileden, Jack C., 7(3)380--403, 12(4)670--699, 13(1)179--179
-
Wileden, Jack C., see Avrunin, George S.
-
Wileden:1990:CEO, 12(4)670--699, 13(1)179--179
-
Wileden:1991:CCE, 12(4)670--699, 13(1)179--179
-
Wiledon, Jack C., 10(3)374--402
-
Wiledon, Jack C., see Dillon, Laura K.
-
Wilhelm, Reinhard, 13(3)295--314, 20(1)1--50, 24(3)217--298
-
Wilhelm, Reinhard, see Börstler, Jürgen,
see Sagiv, Mooly
-
Wilhelmsson, Jesper, 28(4)715--746
-
Wilhelmsson, Jesper, see Carlsson, Richard
-
will, 4(3)382--401, 5(2)223--235, 8(4)547--576, 9(4)491--542,
10(2)248--266, 13(1)1--20, 15(5)745--770, 16(3)872--923,
16(3)1010--1023, 16(3)1024--1050, 16(4)1248--1278, 16(6)1675--1683,
17(5)777--803, 18(5)615--647, 19(1)188--222, 19(4)586--616,
20(4)869--916, 21(1)46--89, 21(2)240--285, 21(3)430--501,
21(4)813--847, 22(2)265--295, 22(5)816--860, 29(1)2--2, 31(3)10--10,
32(5)16--16, 34(1)1--1, 38(4)15--15, 40(3)11--11, 43(1)3--3,
44(4)22--22
-
Williams, John H., 4(4)733--757, 17(1)63--84
-
Williams, John H., see Aiken, Alexander
-
Williams, M. Howard, 4(1)113--119
-
Williams:1982:DAF, 4(4)733--757
-
Williams:1982:FNS, 4(1)113--119
-
willing, 28(2)290--330
-
Wimmers, Edward L., 17(1)63--84
-
Wimmers, Edward L., see Aiken, Alexander
-
win, 12(3)396--428
-
Winblad, Kjell, 39(4)17--17
-
Winblad, Kjell, see Trinder, Phil
-
window, 14(3)417--461
-
Wing, 33(1)4--4
-
Wing, J. M., 16(6)1811--1841
-
Wing, J. M., see Liskov, B. H.
-
Wing, Jeannette M., 9(1)1--24, 12(3)463--492
-
Wing, Jeannette M., see Herlihy, Maurice P.
-
Wing:1987:WLI, 9(1)1--24
-
Winner, Robert I., 6(4)449--467
-
Winner:1984:UO, 6(4)449--467
-
Winsborough, William, 16(2)205--258
-
Winsborough, William, see Mulkers, Anne
-
Winsborough, William H., 21(3)430--501
-
Winsborough, William H., see Gudjónsson, Gudjón
-
Winter, 34(1)1--1
-
Winterhalter, Théo, 45(3)15--15,
see Haselwarter, Philipp G.
-
Wirsing, Martin, 9(1)54--99
-
Wirsing, Martin, see Broy, Manfred
-
Wirth, Niklaus, 10(2)204--214, 13(4)630--630
-
Wirth:1988:TE, 10(2)204--214, 13(4)626--629, 13(4)630--630
-
Wirth:1991:TCR, 10(2)204--214, 13(4)626--629, 13(4)630--630
-
Wisconsin-Madison, 9(2)235--256
-
wisdom, 28(1)1--69
-
Wise, David S., 1(1)115--120
-
Wise:1979:MGC, 1(1)115--120
-
wish, 28(2)290--330
-
Witchel, Emmett, 37(1)4--4
-
Witchel, Emmett, see Porter, Donald E.
-
with, Turing-, 9(3)367--389
-
withstanding, 29(5)29--29
-
withstands, 43(1)1--1
-
Witnessing, 30(3)15--15
-
Wojciechowski, Pawe{\l} T., 32(4)12--12,
see Sewell, Peter
-
Wolf, Alexander L., 12(4)670--699, 13(1)179--179, 14(2)145--146
-
Wolf, Alexander L., see Wileden, Jack C.
-
Wolf, T., 22(3)506--539
-
Wolf, T., see Wellings, A. J.
-
Wolf:1992:GEI, 14(2)145--146
-
Wolfe, Michael, 16(4)1114--1116, 17(1)85--122
-
Wolfe, Michael, see Gerlek, Michael P.
-
Wolfe:1994:DDD, 16(4)1114--1116
-
Wolff, Roger, 36(4)12--12
-
Wolff, Roger, see Garcia, Ronald
-
Wolper, 20(1)51--115
-
Wolper, P., 12(2)303--339
-
Wolper, P., see Aggarwal, S.
-
Wolper, Pierre, 6(1)68--93
-
Wolper, Pierre, see Manna, Zohar
-
wondered, 34(1)2--2
-
Wonnacott, David, 16(4)1248--1278, 20(3)635--678
-
Wonnacott, David, see Pugh, William
-
word, 7(4)600--621, 14(2)201--264, 14(4)574--588, 22(1)162--186,
35(1)2--2, 36(4)11--11, 37(4)13--13
-
work-stealing, 38(3)10--10
-
workarounds, 28(3)517--575
-
workbench, 14(1)54--106, 15(1)36--72, 16(1)102--150, 16(4)1319--1360
-
worker, master-, 32(3)9--9
-
working, 4(2)239--257, 9(2)257--276, 21(5)977--1027, 27(6)1270--1343,
40(4)16--16
-
working-set, 21(5)977--1027, 31(6)20--20
-
worklist, no-, 33(1)3--3
-
worklist-based, 16(5)1472--1511
-
workload, 30(4)22--22
-
Workshop, 11(4)598--632
-
workspace, 4(4)585--600
-
Workstation, 16(2)175--204
-
workstations, 9(2)235--256, 16(3)577--604, 20(3)483--545
-
world, 16(3)328--369, 20(2)344--387, 21(3)502--526, 32(4)14--14,
33(5)15--15, 33(5)16--16, 34(4)17--17, 41(3)18--18, 43(1)2--2
-
world, real-, 14(2)201--264, 20(6)1223--1250, 30(2)8--8,
32(4)13--13, 35(1)5--5, 35(3)10--10, 37(3)8--8, 37(3)10--10,
38(3)8--8, 38(3)11--11, 40(4)14--14, 41(1)6--6, 41(2)12--12,
42(2)7--7
-
world, stop-the-, 27(6)1097--1146, 28(1)1--69
-
World-Model-Based, 7(2)334--347
-
worldwide, 39(2)7--7
-
worrying, 16(4)1248--1278
-
worse, 18(6)752--779, 19(3)444--461
-
worst, 4(4)758--762, 17(2)228--232, 20(2)259--273, 20(3)635--678,
21(3)677--701, 40(3)9--9, 41(3)18--18
-
Worst-Case, 32(4)13--13, 41(4)20--20
-
worst-case, 16(3)775--797, 17(2)197--216, 17(2)228--232, 17(2)331--365,
17(3)487--506, 18(1)30--72, 20(1)116--165, 20(3)635--678,
21(2)175--188, 23(2)105--186, 31(6)21--21, 32(4)13--13, 33(6)21--21,
34(3)13--13, 34(3)14--14, 40(1)3--3, 40(3)9--9, 41(4)20--20,
42(3)13--13, 44(3)14--14
-
worth, 20(6)1223--1250
-
worthwhile, 9(2)125--163, 16(3)456--492, 17(5)691--703
-
Wortman, David B., 4(2)149--178, 4(4)552--562
-
Wortman, David B., see Holt, Richard C.
-
would, 8(4)491--523, 9(2)164--197, 14(3)299--338, 14(4)471--489,
16(3)387--427, 16(3)798--842, 16(4)1097--1113, 17(2)366--393,
18(2)139--174, 21(3)430--501, 22(5)773--815, 27(6)1147--1215,
31(3)9--9, 31(3)10--10, 32(1)2--2, 32(6)23--23, 35(2)7--7, 36(2)6--6,
38(3)9--9, 40(1)3--3, 41(2)13--13, 43(3)10--10
-
wp, 21(3)417--429, 40(1)4--4
-
wp-calculus, 21(3)417--429
-
wp-semantics, 40(1)4--4
-
wrap, 37(1)1--1
-
wrap-around, 17(1)85--122, 37(1)1--1
-
wrapper, 30(4)18--18, 38(3)9--9
-
Wright, Andrew K., 19(1)87--152, 20(1)166--207
-
Wright, J. B., 4(4)711--732
-
Wright, J. B., see Thatcher, J. W.
-
Wright:1997:PST, 19(1)87--152
-
Wright:1998:PSE, 20(1)166--207
-
Wrigstad, Tobias, 44(4)22--22
-
Wrigstad, Tobias, see Yang, Albert Mingkun
-
write, 13(1)124--149, 13(2)211--236, 15(5)745--770, 16(6)1699--1718,
16(6)1768--1810, 19(3)492--524, 20(3)483--545, 20(6)1131--1170,
21(2)324--369, 23(2)187--242, 28(1)1--69, 28(5)795--847, 30(2)8--8,
32(6)22--22, 34(1)2--2, 36(3)9--9, 36(4)12--12, 36(4)13--13,
37(4)12--12, 38(3)10--10, 40(3)10--10
-
write, re-, 44(1)4--4
-
write, read-modify-, 16(3)939--953
-
write-allocation, 14(2)265--297
-
write-guarded, 30(4)20--20
-
write-invalidate, 18(6)659--682
-
write-miss, allocate-on-, 14(2)265--297
-
writer, 9(3)297--318, 9(4)473--490, 30(5)25--25, 36(2)6--6, 38(4)16--16
-
writing, 4(4)615--649, 5(1)46--55, 7(1)159--175, 7(4)560--599, 9(1)1--24,
9(2)125--163, 9(2)257--276, 9(3)408--440, 9(4)543--566,
10(2)338--342, 14(2)147--172, 14(4)490--520, 16(3)305--327,
16(3)1010--1023, 16(3)1051--1077, 16(4)1215--1247, 16(5)1572--1612,
16(5)1613--1647, 17(2)228--232, 17(2)394--429, 17(3)461--486,
17(4)672--689, 17(5)691--703, 18(1)16--29, 18(1)73--108,
18(6)730--751, 19(3)492--524, 19(6)1053--1084, 20(4)869--916,
20(5)980--1013, 20(6)1131--1170, 22(4)583--637, 22(6)973--1001,
27(6)1216--1269, 28(3)476--516, 30(4)18--18, 32(1)3--3, 32(4)14--14,
34(1)6--6, 36(1)2--2, 36(1)4--4, 37(1)3--3, 37(1)4--4, 38(3)10--10,
42(1)2--2, 44(2)12--12
-
written, 4(3)382--401, 4(4)650--667, 5(2)236--264, 6(4)527--545,
8(4)419--490, 12(4)643--669, 15(5)745--770, 16(3)305--327,
17(2)197--216, 19(3)413--426, 19(3)492--524, 20(3)483--545,
20(5)1014--1066, 21(4)848--894, 21(6)1196--1250, 22(4)673--700,
28(1)70--105, 29(1)2--2, 29(6)33--33, 31(1)5--5, 31(3)9--9,
31(6)22--22, 34(2)7--7, 34(2)10--10, 35(2)8--8, 36(4)14--14,
40(3)10--10, 40(3)11--11, 41(3)15--15, 41(3)18--18, 43(2)8--8,
45(3)17--17, 45(3)18--18
-
written, hand-, 21(2)286--323
-
wrong, 6(2)159--174, 16(6)1768--1810, 21(3)502--526, 38(4)14--14
-
wrote, 20(6)1131--1170
-
wrt, 40(3)9--9
-
Wrzesi{\'n}ska, Gosia, 32(3)9--9,
see Van Nieuwpoort, Rob V.
-
WS-CDL, 34(2)8--8
-
WS-SecurityPolicy, 30(6)30--30
-
Wu, Pei-Chi, 17(2)228--232, 26(1)186--190
-
Wu, Xiaodi, 45(3)18--18
-
Wu, Xiaodi, see Hietala, Kesha
-
Wu, Xing, 34(1)5--5
-
Wu:1995:WCC, 17(2)228--232
-
Wu:2004:ETC, 26(1)186--190
-
Wu:2012:STB, 34(1)5--5
-
Würthinger, Thomas, 40(2)8--8, see Grimmer, Matthias
-
Wuyts, Roel, 28(2)331--388
-
Wuyts, Roel, see Ducasse, Stéphane
-
WYSINWYX, 32(6)23--23