Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
W
-
W, 37(12)14--16
-
WA, 41(6)108--117
-
Waddell, Oscar, 39(9)201--212
-
Waddell, Oscar, see Sarkar, Dipanwita
-
Wadler, Philip, 38(1)1--13, 38(9)189--201, 38(12)2--2
-
Wadler, Philip, see Siméon, Jérôme
-
Wadler:2003:CVD, 38(9)189--201
-
Wadler:2003:RIP, 38(12)2--2
-
Wagner, Jens, 36(8)155--164
-
Wagner:2001:CCD, 36(8)155--164
-
Wahlen, Oliver, 37(7)185--193
-
Wahlen:2002:ASC, 37(7)185--193
-
wait, 38(11)344--358
-
waiting, 41(6)1--13
-
Wakabayashi, Takayuki, 37(7)65--74
-
Wakabayashi:2002:SAI, 37(7)65--74
-
wakeup, 41(6)1--13
-
Waldspurger, Carl, 35(11)160--167
-
Waldspurger, Carl, see Burrows, Michael
-
walk, 41(4)3--14
-
Walker, David, 36(10)181--192, 38(3)74--85, 38(9)127--139,
38(9)213--225, 40(6)305--314, 40(9)306--319, 41(1)2--15,
41(9)38--49
-
Walker, David, see Ahmed, Amal,
see Bauer, Lujo, \see{Dantas, Daniel S.,
see Fisher, Kathleen,
see Mandelbaum, Yitzhak
-
Walker, Kip, 35(11)160--167
-
Walker, Kip, see Burrows, Michael
-
Walker:2001:RLT, 36(10)181--192
-
Walker:2003:TA, 38(9)127--139
-
Walker:2006:STF, 41(9)38--49
-
walking, stack-, 41(6)263--271
-
Wall, David W., 39(4)192--204, 39(4)270--282, 39(4)429--441
-
Wall:2004:GRA, 39(4)192--204
-
Wall:2004:PPB, 39(4)429--441
-
Wall:2004:RWV, 39(4)270--282
-
Wallace, Steven, 40(6)190--200
-
Wallace, Steven, see Luk, Chi-Keung
-
Walnes, Joe, 39(10)4--5, 39(10)236--246
-
Walnes, Joe, see Freeman, Steve
-
WAN, 37(11)26--39
-
Wan, Zhanyong, 35(5)242--252, 36(10)146--156
-
Wan:2000:FRP, 35(5)242--252
-
Wan:2001:RTF, 36(10)146--156
-
Wand, Mitchell, 38(9)299--300, 39(9)54--65, 41(1)141--152
-
Wand, Mitchell, see Koutavas, Vasileios
-
Wand:2003:UAE, 38(9)299--300
-
Wand:2004:RMB, 39(9)54--65
-
Wang, Cheng, 39(6)119--130
-
Wang, Daniel C., 36(3)166--178
-
Wang, Hong, 37(5)117--128, 39(11)144--155
-
Wang, Hong, see Liao, Steve S. W.,
see Wang, Perry H.
-
Wang, Nan, 36(8)181--181
-
Wang, Nan, see Högstedt, Karin
-
Wang, Perry H., 37(5)117--128, 39(11)144--155
-
Wang, Perry H., see Liao, Steve S. W.
-
Wang, Shaofeng, 36(4)48--55, 36(9)86--93
-
Wang, Yancheng, 40(11)29--36
-
Wang, Yancheng, see Li, Bixin
-
Wang, Yanling, 37(5)282--293
-
Wang, Yanling, see Grossman, Dan
-
Wang, Ye, 41(7)199--208
-
Wang, Ye, see Zhang, Weihua
-
Wang, Yong, 37(10)96--107
-
Wang, Yong, see Juang, Philo
-
Wang:2001:FDW, 36(9)86--93
-
Wang:2001:SIT, 36(4)48--55
-
Wang:2001:TPG, 36(3)166--178
-
Wang:2004:HTV, 39(11)144--155
-
Wang:2004:PAA, 39(6)119--130
-
Wansbrough, Keith, 38(9)87--98, 38(9)99--110, 40(9)15--26, 41(1)55--66
-
Wansbrough, Keith, see Bierman, Gavin,
see Bishop, Steve, \see{Leifer, James J.,
see Sewell, Peter
-
want, 37(9)72--83, 41(1)1--1, 41(7)189--198
-
Warshavsky, Alex, 37(5)83--94
-
Warshavsky, Alex, see Ramalingam, G.
-
was, 40(6)261--268, 41(1)55--66, 41(2)8--17, 41(3)4--8, 41(4)16--23,
41(6)354--363, 41(7)54--63
-
Washburn, Geoffrey, 38(9)249--262, 40(9)306--319, 41(9)50--61
-
Washburn, Geoffrey, see Dantas, Daniel S.,
see Jones, Simon Peyton
-
Washburn, Weldon, 36(1)101--110
-
Washburn, Weldon, see Hudson, Richard L.
-
Washburn:2003:BGB, 38(9)249--262
-
Washizaki, Hironori, 39(10)200--201
-
Washizaki:2004:SSJ, 39(10)200--201
-
Wasowski, Andrzej, 38(7)163--170, 39(7)257--266
-
Wasowski:2003:EPS, 38(7)163--170
-
Wasowski:2004:FSE, 39(7)257--266
-
Wassermann, Gary, 41(1)372--382
-
Wassermann, Gary, see Su, Zhendong
-
wasteful, 41(7)34--43
-
Watanabe, Tan, 40(4)10--19
-
Watanabe, Tan, see Saitou, Tetsuo
-
watch, 41(6)1--13
-
Waterman, Todd, 39(7)231--239, 40(7)69--77
-
Waterman, Todd, see Almagor, L.,
see Cooper, Keith D.
-
watermarking, 39(1)173--185, 39(6)107--118
-
Watkins, Kevin, 36(10)181--192
-
Watkins, Kevin, see Walker, David
-
Watson, Des, 37(7)204--212
-
Watson, Des, see Newsome, Matt
-
Watt, Stephen M., 40(10)147--166
-
Watt, Stephen M., see Oancea, Cosmin E.
-
way, 16-, 41(6)26--37
-
way, three-, 41(9)124--135
-
WCET, 41(7)103--112
-
WCRT, 40(7)175--182
-
weak, 36(1)121--126, 41(1)383--396, 41(6)401--414
-
weaker, 41(1)153--165
-
weakly, 41(6)144--157
-
weakness, 41(1)295--308
-
wealth, 41(1)1--1
-
Weatherspoon, Hakim, 35(11)190--201
-
Weatherspoon, Hakim, see Kubiatowicz, John
-
weaver, 38(7)133--143
-
weaving, 37(2)36--44, 39(10)27--28
-
web, 35(1)135--148, 35(9)23--33, 37(10)239--250, 39(1)198--209,
39(5)58--65, 39(10)214--215, 39(10)283--289, 41(1)346--358,
41(1)372--382, 41(6)354--363, 41(8)6--9, 41(9)26--37
-
Web-Based, 35(3)21--24, 35(3)31--31
-
web-based, 35(3)21--24
-
Webb, David, 37(10)223--234
-
Webb, David, see Mukherjee, Shubhendu S.
-
Webb, Phil, 39(10)198--199
-
Webb, Phil, see Freeman, Russ
-
Weber, Gerald, 40(8)29--33
-
Weber, Gerald, see Draheim, Dirk
-
Wed, 25(6)112--126
-
Weeks, Stephen, 36(10)2--13
-
Weeks, Stephen, see Fluet, Matthew
-
Wegman, Mark, 36(8)181--181, 39(4)343--359
-
Wegman, Mark, see Chase, David
-
Wegman:2001:OCI, 36(8)181--181
-
Wehmeyer, Lars, 37(7)94--101
-
Wehmeyer, Lars, see Lorenz, Markus
-
Wehrman, Ian, 40(9)268--279
-
Wehrman, Ian, see Westbrook, Edwin
-
Weidu, Jiang, 37(6)38--44, 37(6)45--51, 38(2)12--18
-
Weidu, Jiang, see Guilan, Dai
-
weightsum, maximum-, 35(9)137--149
-
Weihl, Bill, 35(11)160--167
-
Weihl, Bill, see Burrows, Michael
-
Weimer, Westley, 35(11)190--201, 37(1)128--139, 38(5)232--244
-
Weimer, Westley, see Condit, Jeremy,
see Kubiatowicz, John,
see Necula, George C.
-
Weirich, Stephanie, 35(9)58--67, 38(9)249--262, 40(9)306--319,
41(9)50--61
-
Weirich, Stephanie, see Dantas, Daniel S.,
see Jones, Simon Peyton,
see Washburn, Geoffrey
-
Weirich:2000:TSC, 35(9)58--67
-
Weisert, Conrad, 37(4)31--31
-
Weisert:2002:IYO, 37(4)31--31
-
Welc, Adam, 40(10)297--311, 40(10)439--453
-
Welc, Adam, see Arnold, Matthew
-
Welc:2005:SFJ, 40(10)439--453
-
Welcome, 35(4)1--1
-
well-behaved, 41(1)2--15, 41(1)309--319
-
well-designed, 41(1)283--294
-
well-founded, 39(1)293--305, 41(1)115--126
-
well-foundedness, 41(1)115--126
-
well-known, 25(6)112--126, 39(4)372--389, 41(1)359--371, 41(6)26--37,
41(6)108--117, 41(7)44--53, 41(8)21--28
-
well-supported, 41(7)1--1
-
well-tuned, 41(6)26--37
-
well-typed, 41(1)383--396, 41(7)54--63, 41(9)38--49
-
well-understood, 41(1)1--1
-
Wellings, A. J., 40(2)41--50
-
Wellings, A. J., see Zerzelidis, A.
-
Wellings, Andy, 38(4)34--46
-
Wellings, Andy, see Kwon, Jagun
-
Wells, Chris, 35(11)190--201
-
Wells, Chris, see Kubiatowicz, John
-
Wells, J. B., 36(10)14--25, 40(9)156--167
-
Wells, J. B., see Dimock, Allyn,
see Makholm, Henning
-
Wells, Paul Damian, 37(4)74--82, 39(5)48--57
-
Wells:2002:HMA, 37(4)74--82
-
Wells:2004:UIR, 39(5)48--57
-
Welsh, Matt, 38(5)1--11
-
Welsh, Matt, see Gay, David
-
were, 37(2)23--26, 37(4)21--26, 37(12)14--16, 41(1)55--66, 41(1)206--217,
41(1)270--282, 41(5)39--45, 41(6)72--83, 41(6)96--107,
41(6)108--117, 41(6)118--131, 41(7)83--92
-
West, 36(10)z--99999999
-
West, David, 39(10)126--127, 39(12)57--63
-
West:2004:LLAa, 39(10)126--127
-
West:2004:LLAb, 39(12)57--63
-
Westbrook, Edwin, 40(9)268--279
-
Westbrook:2005:LBA, 40(9)268--279
-
Westmacott, Ian, 36(10)14--25
-
Westmacott, Ian, see Dimock, Allyn
-
Whaley, John, 36(11)166--179, 39(6)131--144, 41(6)308--319
-
Whaley, John, see Naik, Mayur
-
Whaley:2001:PMC, 36(11)166--179
-
Whaley:2004:CBC, 39(6)131--144
-
Whalley, Dave, 36(9)3--3
-
Whalley, David, 36(8)88--93, 37(7)130--138, 37(7)155--164, 38(7)12--23,
39(6)171--182, 41(7)64--71
-
Whalley, David, see Cho, Jeonghun,
see Kreahling, William,
see Kulkarni, Prasad,
see Vivancos, Emilio, \see{Zhao, Wankang
-
Whalley, David B., 41(7)83--92
-
Whalley, David B., see Kulkarni, Prasad A.
-
Whalley:2001:LLS, 36(9)3--3
-
what, 25(6)112--126, 36(3)206--219, 36(6)20--22, 36(8)z--99999999,
37(2)20--22, 39(2)26--33, 39(3)38--45, 41(1)168--179, 41(9)136--147
-
whenever, 41(6)118--131
-
whereas, 41(9)124--135
-
wherein, 41(6)376--386
-
whether, 25(6)92--101, 39(4)360--371, 39(6)35--46, 39(6)183--194,
41(1)218--231, 41(7)54--63, 41(8)21--28
-
While, R. L., 35(9)257--267
-
While, R. L., see Cheadle, A. M.
-
while-language, 41(1)67--78
-
white, 39(4)360--371
-
White, Jon L., 25(6)112--126, 39(4)372--389
-
White, Jon L., see Steele Jr., Guy L.,
see Steele, Jr., Guy L.
-
white-box, 41(4)36--41
-
who, 41(4)3--14
-
whole, 36(5)180--190, 38(7)209--219, 39(10)253--259, 41(1)309--319
-
whole-program, 36(3)179--192, 38(5)245--257, 39(6)255--266, 41(6)61--71
-
whose, 41(1)2--15, 41(1)257--268, 41(6)181--192, 41(7)34--43,
41(9)124--135
-
why, 37(7)93--93, 39(9)138--149, 39(10)204--205, 39(10)264--267,
40(6)261--268, 41(1)1--1, 41(9)1--12
-
Wick, Michael R., 39(10)103--105
-
Wick:2004:UGL, 39(10)103--105
-
wide, 41(4)36--41, 41(6)96--107, 41(6)132--143, 41(6)158--168,
41(7)189--198
-
wide, System-, 40(7)95--104
-
wide-area, 36(7)34--43
-
widely, 41(1)141--152, 41(1)346--358, 41(3)20--29, 41(5)30--38,
41(6)38--51, 41(6)354--363, 41(7)199--208
-
widely-available, 39(6)35--46
-
widely-held, 41(5)46--54
-
widely-used, 39(6)35--46, 41(6)308--319
-
widening, underapproximation-, 40(1)122--131
-
widespread, 41(6)118--131
-
width, datapath-, 39(7)78--87
-
Wiels, V., 38(7)123--132
-
Wiels, V., see Ait-Ameur, Y.
-
Wiger, Ulf, 37(12)25--34, 39(9)162--162
-
Wiger:2002:WCP, 37(12)25--34
-
Wiger:2004:YIF, 39(9)162--162
-
wild, 41(6)84--95, 41(7)1--1
-
wildlife, 37(10)96--107, 41(7)1--1
-
Wilhelm, Reinhard, 40(1)296--309
-
Wilhelm, Reinhard, see Rinetzky, Noam
-
Wilhelm, Stephan, 37(7)46--55
-
Wilhelm, Stephan, see Kästner, Daniel
-
Wilhelmsson, Jesper, 38_2s_195_206
-
Wilhelmsson, Jesper, see Johansson, Erik
-
Wilken, Kent, 35(5)121--133
-
Wilken:2000:OIS, 35(5)121--133
-
Willcock, Jeremiah, 38(11)115--134, 40(10)1--19, 41(6)272--282
-
Willcock, Jeremiah, see Garcia, Ronald,
see Järvi, Jaakko
-
Williams, Mair, Allen-, 40(9)15--26
-
Willmann, Paul, 39(7)20--29
-
Willmann:2004:SLB, 39(7)20--29
-
Wills, D. Scott, 40(7)127--136
-
Wills, D. Scott, see Sassone, Peter G.
-
Wilson, Paul R., 35(11)117--128
-
Wilson, Paul R., see Berger, Emery D.
-
win, 41(6)108--117
-
Winder, Russel, 37(6)18--25
-
Winder, Russel, see Bergin, Joseph
-
window, 38(4)13--15, 39(4)270--282, 39(7)249--256, 41(6)415--426
-
Winkel, Sebastian, 36(8)145--154
-
Winkel, Sebastian, see Kästner, Daniel
-
Winners, 37(4)4--4
-
WinXP, 41(1)55--66
-
wire-delay, 37(10)211--222
-
wireless, 41(2)18--24, 41(7)1--1, 41(7)2--11, 41(7)189--198
-
Wirfs-Brock, Rebecca, 39(10)151--152
-
Wirfs-Brock, Rebecca, see Josuttis, Nicolai M.
-
Wise, David S., 36(7)24--33, 38(10)144--154, 41(5)39--45
-
Wise, David S., see Adams, Michael D.,
see Frens, Jeremy D.
-
Wise:2001:LSM, 36(7)24--33
-
Witchel, Emmett, 37(10)304--316, 40(6)201--212
-
Witchel, Emmett, see Ayers, Andrew
-
Witchel:2002:MMP, 37(10)304--316
-
with-plus, monad-, 41(9)124--135
-
witnessed, 41(9)136--147
-
Witnessing, 40(9)105--115
-
wobbly, 41(9)50--61
-
Wolczko, M., 38(11)282--301
-
Wolczko, M., see Chen, G.
-
Wolf, Fabian, 36(8)94--101
-
Wolf, Fabian, see Ziegenbein, Dirk
-
Wolf, Michael E., 39(4)442--459
-
Wolf, Michael E., see Lam, Monica S.
-
Wong, Jeremy, 37(10)291--303
-
Wong, Jeremy, see Gordon, Michael I.
-
Wong, Limsoon, 35(9)1--10
-
Wong, Stephen, 39(10)101--102, 39(10)109--110
-
Wong, Stephen, see Cheng, Eric
-
Wong, Vicky, 39(11)1--13
-
Wong, Vicky, see Hammond, Lance
-
Wong, Weng-Fai, 39(11)189--198
-
Wong, Weng-Fai, see Rabbah, Rodric M.
-
Wong:2000:FGK, 35(9)1--10
-
Woo, Alec, 35(11)93--104
-
Woo, Alec, see Hill, Jason
-
Wood, David A., 35(11)25--36
-
Wood, David A., see Martin, Milo M. K.
-
word, 41(5)39--45, 41(7)163--172
-
word-based, 41(6)14--25
-
workflow, 36(9)86--93, 37(11)40--51
-
working, 37(4)15--15, 41(1)55--66, 41(4)16--23, 41(6)332--340
-
workload, 41(6)26--37, 41(7)93--102
-
workshop, 35(3)16--17, 36(6)19--19, 36(8)1--10, 36(8)11--19, 36(8)20--28,
36(8)29--38, 36(8)39--47, 36(8)48--55, 36(8)56--63, 36(8)64--72,
36(8)73--81, 36(8)82--87, 36(8)88--93, 36(8)94--101, 36(8)102--111,
36(8)112--120, 36(8)121--127, 36(8)128--137, 36(8)138--144,
36(8)155--164, 36(8)165--174, 36(8)175--180, 36(8)181--181,
36(8)182--187, 36(8)188--195, 36(8)196--204, 36(8)205--213,
36(8)214--222, 36(8)223--229, 36(8)230--237, 36(8)238--246,
36(8)z--99999999, 36(8)z--z, 37(3)1--8, 37(3)9--18, 37(3)19--30,
37(3)31--40, 37(3)41--51, 37(3)52--62, 37(3)63--74, 37(3)75--86,
37(3)87--97, 37(3)98--107, 37(3)108--118, 37(3)119--130,
37(3)131--142, 41(3)4--8, 41(8)6--9
-
workstation, 36(7)72--81
-
world, 35(10)93--104, 36(7)1--1, 38(5)232--244, 38(11)374--387,
39(10)15--15, 41(1)269--269, 41(6)364--375, 41(9)99--110
-
world, real-, 41(1)372--382, 41(6)38--51, 41(7)1--1
-
World, Stop-the-, 41(6)354--363
-
World-class, 37(12)25--34
-
worms, 37(2)29--35
-
worse, 41(6)239--251, 41(7)2--11
-
worship, 39(10)68--72
-
worst, 41(6)144--157
-
Worst-Case, 41(7)103--112
-
worst-case, 41(6)283--294, 41(7)103--112, 41(7)153--162
-
worth, 41(6)72--83
-
would, 40(6)261--268, 41(3)30--39, 41(4)24--29, 41(6)72--83, 41(7)12--21,
41(7)72--82, 41(7)83--92, 41(7)103--112
-
wrapping, 41(6)72--83
-
write, 37(4)32--41, 37(11)191--210, 38_2s_281_290, 41(1)55--66,
41(1)141--152, 41(1)269--269, 41(7)189--198
-
writer, 41(6)38--51
-
writing, 41(1)269--269, 41(7)34--43
-
written, 40(6)261--268, 41(1)206--217, 41(1)372--382, 41(1)409--421,
41(6)158--168, 41(6)283--294, 41(6)332--340, 41(6)341--353,
41(7)34--43
-
written/read, 41(8)21--28
-
wrong, 39(9)66--66, 39(10)126--127, 39(12)57--63, 41(1)168--179,
41(6)169--180
-
WSAgent, 39(10)214--215
-
Wu, Aihua, 39(10)164--165
-
Wu, Aihua, see Paquet, Joey
-
Wu, Dinghao, 38(5)208--219, 39(6)14--24
-
Wu, Dinghao, see Chen, Juan, \see{Qadeer, Shaz
-
Wu, Fangjun, 39(8)39--48
-
Wu, Jeffrey, 41(7)189--198
-
Wu, Jeffrey, see Pandey, Raju
-
Wu, Peng, 38(5)63--76, 39(6)82--93, 41(6)118--131
-
Wu, Peng, see Eichenberger, Alexandre E.,
see Ren, Gang, \see{Yotov, Kamen
-
Wu, Qiang, 39(11)248--259
-
Wu, Youfeng, 37(5)210--221, 41(1)16--29
-
Wu, Youfeng, see Zhang, Chengliang
-
Wu:2002:EDR, 37(5)210--221
-
Wu:2004:FOM, 39(11)248--259
-
Wu:2004:SZS, 39(8)39--48
-
Wyk, Eric, Van, 37(1)283--294