Index file section V for sigplan1990.bib

Last update: Fri Apr 12 02:17:44 MDT 2024               

Return to index directory

V

• V, 0(0)371--383, 28(6)13--25, 32(1)14--57
• v, 0(0)39--50, 0(0)446--457, 30(2)49--58, 30(6)47--55, 30(10)91--107, 30(10)156--168, 31(5)1--11, 33(7)27--34, 34(9)102--113
• V, ASPLOS-, 0(0)xi--296
• Vahdat, Amin, 28(10)48--64
• Vahdat, Amin, see Krueger, Keith
• Vaishnavi, Vijay, 6(4)186--190
• Vaishnavi:1995:RCO, 6(4)186--190
• Valenti, S., 31(7)33--39
• Valenti, S., see Panti, M.
• Valenti, Salvatore, 27(11)33--38
• Valenti, Salvatore, see Panti, Maurizio
• valid, 28(6)156--165, 29(11)171--182, 29(11)297--306, 30(11)41--49, 30(11)134--145
• validate, 28(7)13--22, 29(11)252--262
• validated, 0(0)311--321, 28(3)343--344, 30(3)103--110, 30(11)31--40, 33(7)11--18
• validation, 0(0)171--184, 0(0)343--354, 25(9)10--16, 26(8)27--36, 26(8)137--144, 27(10)201--217, 28(3)299--331, 28(3)343--344, 28(8)67--76, 30(1)53--61, 30(3)103--110
• validity, 30(6)218--232
• Valot, Céline, 28(12)43--52
• Valot:1993:CAD, 28(12)43--52
• valuable, 28(7)239--248, 30(6)67--78, 30(6)116--129
• value, 0(0)84--97, 0(0)124--136, 0(0)154--165, 0(0)188--201, 0(0)196--205, 0(0)206--219, 0(0)220--231, 0(0)297--310, 0(0)311--325, 0(0)326--338, 0(0)371--383, 0(0)375--388, 25(1)29--32, 25(1)59--86, 25(6)189--196, 25(6)246--256, 25(6)257--271, 25(6)283--295, 25(8)80--83, 25(10)237--244, 27(7)273--282, 27(7)311--321, 28(3)359--360, 28(3)361--362, 28(3)363--364, 28(3)369--370, 28(6)13--25, 28(6)68--77, 28(6)90--99, 28(6)126--138, 28(6)227--236, 29(6)159--170, 29(6)278--289, 29(11)328--337, 30(3)50--61, 30(3)62--70, 30(4)13--20, 30(6)23--31, 30(6)67--78, 30(6)174--185, 30(6)218--232, 30(6)246--257, 30(6)315--327, 31(9)138--147, 33(11)262--271
• value, call-by-, 0(0)1--12, 0(0)124--136, 0(0)188--201, 0(0)206--219, 0(0)333--343, 0(0)446--457, 31(6)13--24, 32(12)12--21
• value-based, 0(0)311--325
• value-flow, 0(0)237--251
• value-passing, 0(0)326--338
• valued, 0(0)105--118, 30(4)13--20
• Valued, Dynamically-, 30(4)13--20
• valued, Dynamically-, 30(4)13--20
• valued, dynamically-, 30(4)13--20
• valued, real-, 30(11)79--87
• valued, Two-, 25(8)75--79
• van, 25(9)7--9, 30(4)7--7, 30(7)2--2
• van Batenburg, F. H. D., 33(6)54--54
• van der Zwaag, John, 33(2)18--24
• van der Zwaag, John, see Everitt, Cass W.
• van Gent, Robert, 28(10)29--46
• van Gent, Robert, see Bruce, Kim B.
• Van Hentenryck, P., 29(6)337--348
• Van Hentenryck, Pascal, 0(0)227--239, 29(6)349--360
• Van Hentenryck, Pascal, see Cortesi, Agostino
• Van Horebeek, Ivo, 25(5)60--68
• Van Meter, Rodney, 33(11)71--80
• Van Rosendale, J., 25(3)177--186
• Van Rosendale, J., see Koelbel, C.
• Van Rosendale, John, 30(10)453--466
• Van Rosendale, John, see Haines, Matthew
• Van Roy, Peter, 28(9)5--5, 34(4)33--34
• Van Roy, Peter, see Getzinger, Thomas W.
• Van Stee, J. G., 28(10)90--90
• van Stee, J. G., 28(10)90--90
• Van Wyck, Don, 0(0)53--56
• vanBatenburg:1998:AEC, 33(6)54--54
• vandenBosch:1992:BSE, 27(4)77--86
• vandenBrand:1997:REN, 32(2)54--61
• vandenBroek:1996:MEP, 31(11)56--65
• Vander Zanden, Brad T., 27(10)184--200
• Vander Zanden, Brad T., see Myers, Brad A.
• vanderLinden:1994:FMO, 29(7)29--38
• vanHalderen:1998:FWB, 0(0)z--99999999
• VanHentenryck:1994:BTC, 29(6)349--360
• VanHentenryck:1994:TAP, 29(6)337--348
• VanHilst, Michael, 31(10)359--369
• VanHilst:1996:URC, 31(10)359--369
• VanHorebeek:1990:CFS, 25(5)60--68
• VanMeter:1998:VNV, 33(11)71--80
• VanRoy:1999:AMP, 34(4)33--34
• VanRoy:1999:RAM, 34(4)33--34
• vanStee:1993:SOC, 28(10)90--90
• VanStee:1993:SOO, 28(10)90--90
• VanWyck:1991:EAC, 0(0)53--56
• Variability, 31(9)160--170
• variable, live-, 29(11)286--296
• variable, local-, 0(0)171--184
• variable-sized, 0(0)70--83, 30(8)11--18
• variance, 27(7)200--211
• variant, 0(0)25--36, 0(0)109--122, 0(0)206--219, 0(0)221--232, 25(6)296--310, 27(7)311--321, 28(6)13--25, 28(7)112--118, 28(7)187--197, 28(7)198--207
• variation, 0(0)293--304, 28(3)149--175, 28(5)29--38, 28(6)278--289, 29(11)286--296, 29(11)328--337, 30(6)151--162
• varied, 29(6)186--195
• variety, 0(0)59--70, 0(0)130--141, 0(0)142--153, 0(0)144--154, 0(0)227--239, 0(0)344--354, 0(0)458--471, 0(0)472--492, 25(6)53--65, 25(6)337--351, 27(7)55--67, 27(7)322--330, 28(3)357--358, 28(3)363--364, 28(3)365--366, 28(7)33--43, 29(6)218--229, 29(6)257--265, 29(6)349--360, 30(6)56--66, 30(6)279--290, 30(8)123--133, 30(8)134--143, 30(8)189--198, 33(7)59--66, 33(7)83--90
• various, 0(0)1--14, 0(0)13--24, 0(0)83--94, 0(0)95--104, 0(0)154--165, 0(0)157--170, 0(0)177--188, 0(0)198--208, 0(0)223--234, 0(0)227--239, 0(0)345--358, 0(0)379--392, 0(0)397--408, 0(0)472--492, 25(6)16--27, 25(6)257--271, 27(7)1--11, 28(6)68--77, 28(6)177--186, 28(7)179--186, 29(6)107--120, 29(11)38--50, 29(11)76--85, 30(3)23--34, 30(3)94--102, 30(6)139--150, 30(6)270--278, 30(11)79--87
• vary, 0(0)246--259, 0(0)293--304, 27(7)188--199, 27(7)311--321
• varying, 0(0)209--220, 25(6)223--233, 28(2)14--20, 29(11)98--109, 29(11)219--229, 29(11)328--337
• Vassiliadis, Stamatis, 0(0)z--99999999
• Vassiliadis, Stamatis, see Glossner, John
• vast, 0(0)107--117, 0(0)345--358
• Vaucher, Jean, 33(1)48--55
• Vaucher, Jean, see Anquetil, Nicolas
• VAX, 27(7)22--31
• Vayda, Thomas P., 30(10)439--452
• Vayda:1995:LB, 30(10)439--452
• Vayssiere, Julien, 0(0)z--99999999
• Vayssiere, Julien, see Caromel, Denis
• Vclusters, 33(10)230--243
• VCODE, 28(7)102--111, 31(5)160--170
• VDG, 0(0)297--310
• VDM, 29(1)27--36, 30(9)41--50, 31(4)32--38
• VDM-SL, 27(8)76--82, 29(9)77--80
• vector, 25(6)283--295, 25(8)53--71, 26(4)154--163, 27(7)175--187, 28(7)102--111, 28(7)119--128, 29(2)13--18, 29(4)31--40, 29(6)266--277
• vector'', ``bit-, 0(0)49--61
• vector, Bit-, 27(7)224--234
• vector, bit-, 27(7)224--234, 29(6)147--158
• vector, matrix-, 30(8)58--67
• vector-based, 32(8)176--187
• vectoring, 29(11)110--119
• vectorization, 25(6)337--351
• vectorizer, 27(7)152--161
• vectorizing, 0(0)384--396, 25(6)137--149, 25(6)283--295
• Veenstra, Jack E., 27(9)149--160
• Veenstra:1992:PEO, 27(9)149--160
• Vegas, 32(0)viii--365
• Vegdahl, Steven R., 34(5)150--154
• Vegdahl:1999:UNM, 34(5)150--154
• vehicle, 28(3)333--342
• Vejlstrup, Magnus, 0(0)171--183
• Vejlstrup, Magnus, see Birkedal, Lars
• Velázquez-Iturbide, J. Ángel, 32(8)317--317, 34(4)54--60, see Pareja-Flores, Cristóbal
• Veldema, Ronald, 34(8)173--182
• Veldema, Ronald, see Maassen, Jason
• Venkatesh, G. A., 26(6)107--119
• Venkatesh:1991:SAP, 26(6)107--119
• Venturing, 32(11)21--24
• Venuti, Vlado, 30(4)36--38
• Venuti, Vlado, see Kokol, Peter
• verb, 25(5)95--102
• Verbose, 34(1)340--340
• Verdonk, Brigitte, 32(3)57--64
• Verdonk, Brigitte, see Verschaeren, Dennis
• Verghese, Ben, 29(11)12--24, 31(9)279--289, 33(11)181--192
• Verghese, Ben, see Chandra, Rohit
• Verghese:1996:OSS, 31(9)279--289
• Verghese:1998:PIS, 33(11)181--192
• Verhoef, Chris, 32(2)54--61
• Verhoef, Chris, see Brand, Mark van den
• verifiable, 25(6)1--8
• verified, 0(0)137--143, 0(0)196--205, 26(6)219--228, 30(11)70--78
• verifier, 34(10)147--166
• verify, 0(0)343--354, 0(0)389--396, 29(6)278--289
• verifying, 0(0)1--14, 0(0)15--24, 0(0)79--90, 0(0)83--94, 0(0)95--104, 0(0)95--106, 0(0)98--108, 0(0)107--117, 0(0)119--132, 0(0)151--156, 0(0)161--170, 0(0)176--185, 0(0)198--208, 0(0)221--232, 0(0)237--251, 0(0)247--258, 0(0)252--265, 0(0)291--302, 0(0)313--324, 0(0)316--328, 0(0)323--332, 0(0)342--354, 0(0)343--354, 0(0)346--357, 0(0)379--392, 0(0)410--423, 0(0)414--427, 26(9)106--115, 27(6)8--8, 29(6)230--241, 30(3)13--22, 30(6)67--78, 30(6)79--92, 30(11)70--78, 31(5)23--32, 33(7)51--58
• VeriSoft, 0(0)174--186
• Verlag, Springer-, 28(11)2--2
• Vernon, Mary K., 31(9)258--267, 32(7)276--287, 34(8)141--150
• Vernon, Mary K., see Frank, Matthew I., see Jamrozik, Hervé A., see Sundaram-Stukel, David
• Verona, Matthew T., 6(4)61--66
• Verona, Matthew T., see Strom, Stephen W.
• versa, 30(3)13--22
• versatility, 0(0)479--492, 25(6)209--222
• Verschaeren, Dennis, 32(3)57--64
• Verschaeren:1997:NPF, 32(3)57--64
• version, 0(0)13--24, 0(0)35--47, 0(0)57--70, 0(0)157--170, 0(0)166--176, 0(0)213--226, 0(0)272--285, 0(0)326--338, 25(6)234--245, 25(6)257--271, 25(6)337--351, 26(8)121--127, 26(11)230--246, 27(2)88--165, 27(5)z--z, 27(7)1--11, 27(7)32--43, 27(7)44--54, 27(7)188--199, 27(8)99--106, 27(12)57--60, 28(2)21--40, 28(3)37--52, 28(3)53--68, 28(3)299--331, 28(3)367--368, 28(7)198--207, 28(7)218--228, 29(6)1--12, 29(6)36--48, 29(6)266--277, 29(8)119--128, 29(9)44--50, 29(11)61--73, 29(11)196--207, 29(11)252--262, 30(3)119--128, 30(6)13--22, 30(6)93--102, 30(6)315--327, 33(7)19--26, 33(7)51--58, 33(7)83--90
• Versioned, 27(10)247--262
• versus, 0(0)104--109, 0(0)134--148, 25(4)69--72, 28(1)5--8, 28(7)64--72, 28(9)36--38, 29(10)153--163
• vertex, 0(0)246--257, 30(3)35--49
• vertex, multiple-, 0(0)246--257
• vertex, single-, 0(0)246--257
• Verus, 30(11)70--78
• very, 0(0)39--50, 0(0)60--69, 0(0)84--97, 0(0)107--117, 0(0)137--143, 0(0)166--176, 0(0)186--197, 0(0)198--208, 0(0)227--239, 24(3)34--39, 25(4)51--58, 25(6)1--8, 25(6)137--149, 25(6)234--245, 27(7)283--299, 27(7)341--352, 28(3)343--344, 28(3)359--360, 28(3)365--366, 28(6)26--35, 28(6)177--186, 28(6)197--206, 28(7)149--158, 28(8)90--98, 29(6)36--48, 29(6)73--84, 29(6)230--241, 29(6)349--360, 29(11)12--24, 29(11)171--182, 30(6)246--257, 30(6)270--278, 30(6)301--314, 30(8)80--91, 30(8)156--165, 31(5)160--170, 31(9)26--36, 31(9)37--48, 33(7)51--58, 33(7)67--74, 34(3)166--175
• Vetter, J. S., 32(6)40--44
• Vetter, Jeffrey, 29(9)140--148
• Vetter, Jeffrey, see Gu, Weiming
• Vetter:1997:CSA, 32(6)40--44
• vi, 0(0)39--50
• VI, ASPLOS-, 29(0)328, 31(9)v--v
• viable, 0(0)259--271, 28(3)347--348, 29(11)76--85, 30(8)58--67, 33(7)59--66
• Vialle, Stéphane, 31(8)43--51
• Vialle:1996:PPP, 31(8)43--51
• Vibrant, 32(2)35--38
• VIC, 27(7)152--161
• vice, 30(3)13--22, 31(2)2--3
• Vice-Chair, 32(3)1--1
• Vidal, G., 32(12)151--162
• Vidal, G., see Alpuente, M.
• Vidal, Germán, 34(9)273--283, see Alpuente, María
• video, 0(0)7--12
• Vienna, 28(1)72--75, 29(9)77--80
• view, 0(0)98--108, 0(0)189--199, 0(0)323--332, 25(1)25--28, 25(6)189--196, 25(10)245--257, 25(10)312--321, 26(8)70--73, 27(12)20--27, 28(3)69--95, 28(6)26--35, 28(7)33--43, 28(7)169--178, 28(12)xviii--z, 29(6)1--12, 29(8)111--118, 29(10)16--30, 30(3)94--102, 31(2)35--41, 34(10)447--460
• viewed, 0(0)254--267, 0(0)451--464, 25(6)257--271, 28(3)367--368, 30(6)32--46
• viewer, 28(6)26--35
• viewing, 25(6)165--173, 25(10)38--43, 28(6)26--35, 30(3)13--22
• viewpoint, 0(0)123--137, 26(3)53--62
• viewpoints-critical, 26(5)27--36
• VII, ASPLOS-, 31(0)vii--290
• VIII, ASPLOS-, 33(11)v--vi
• Villacis, Juan, 0(0)z--99999999
• Villacis, Juan, see Breg, Fabian
• Villemonte de la Clergerie, E., 0(0)345--358
• VillemontedelaClergerie:1993:LSI, 0(0)345--358
• Vilot, Michael, 25(10)1--11
• Vilot, Michael, see Booch, Grady
• Vines, Don, 33(10)412--416
• Vines, Don, see Lea, Doug
• violation, 25(6)272--282, 29(11)110--119
• Vion-Dury, Jean-Yves, 29(10)65--84
• Vion-Dury:1994:VII, 29(10)65--84
• Virginia, 26(0)ii--223
• virtual, 0(0)57--69, 0(0)322--332, 0(0)z--99999999, 26(4)96--107, 27(7)55--67, 27(9)187--197, 28(10)48--64, 29(4)31--40, 29(5)37--40, 29(6)196--205, 29(10)65--84, 29(10)259--271, 29(10)324--340, 29(11)38--50, 29(11)98--109, 29(11)122--131, 29(11)132--144, 29(11)158--170, 29(11)171--182, 29(11)319--327, 29(12)73--77, 29(12)94--103, 30(6)315--327, 30(7)52--56, 30(7)52--z, 30(11)31--40, 30(11)146--155, 31(9)74--83, 31(9)84--92, 31(9)210--220, 31(9)244--255, 31(9)258--267, 31(9)279--289, 31(10)306--323, 31(10)324--341, 32(2)22--25, 32(7)217--229, 32(10)125--141, 32(12)107--115, 33(3)73--79, 33(5)269--279, 33(10)36--44, 33(10)179--182, 33(11)71--80, 33(11)295--306, 34(6)37--42, 34(8)119--130, 34(10)114--131
• Virtuality, 32(6)61--68
• virtually, 27(9)124--136, 29(11)51--60, 30(8)39--47
• VISA, 33(11)71--80
• visibility, 26(2)51--63, 28(3)149--175, 28(7)23--32, 29(9)44--50, 31(1)44--50
• visible, 0(0)1--12, 25(8)120--123, 28(7)23--32, 29(6)13--23
• VisiCLANG, 25(8)120--123
• VisiCola, 26(2)51--63, 29(9)44--50
• vision, 25(3)156--167, 30(7)7--7, 30(8)123--133, 30(8)134--143, 30(10)47--60
• visit, 0(0)62--73
• visit-sequence-based, 25(6)209--222
• Visser, Eelco, 34(1)13--26
• Visser:1999:BPO, 34(1)13--26
• visual, 27(7)1--11, 29(4)31--40, 30(0)iii--155, 30(4)9--9, 31(10)406--420, 31(10)406--z, 32(6)34--39
• visualisation, 29(10)65--84
• visualization, 0(0)z--99999999, 0(0)z--z, 25(10)237--244, 28(12)xi--z, 28(12)12--20, 29(10)65--84, 30(8)11--18, 30(10)342--357, 30(11)117--123, 31(10)389--405, 31(10)389--z, 31(10)421--440, 31(10)421--z, 32(12)107--115, 33(7)59--66, 33(7)67--74, 33(7)75--82
• visualizer, 33(7)75--82
• visualizing, 25(10)237--244, 27(10)146--153, 28(10)326--337, 32(10)327--341, 33(7)75--82, 33(10)271--283
• Viswanathan, Guhan, 29(11)208--218
• Viswanathan, Guhan, see Larus, James R.
• Viswanathan, Ramesh, 0(0)1--12, 0(0)396--409
• Viswanathan, Ramesh, see Abadi, Martín, see Riecke, Jon G.
• Vitek, Jan, 32(10)142--157, 34(10)82--96
• Vitek:1997:ETI, 32(10)142--157
• Vitek:1999:CT, 34(10)82--96
• Vivo, Marco, de, 30(7)29--36
• Vivo, Gabriela O. de, 30(7)29--36, 30(9)9--16
• Vivo, Gabriela O. de, see de Vivo, Marco
• Vivo, Marco de, 30(9)9--16
• Vivo, Marco de, see Vivo, Gabriela O. de
• viz, 0(0)397--408
• vizualization, 30(11)117--123
• Vlaminck, Karel De, 26(9)142--153, 32(8)308--308
• Vlaminck, Karel De, see Aerts, Kris, see Niel, Anne De
• Vlissides, John, 28(10)326--337
• Vlissides, John, see De Pauw, Wim, see Pauw, Wim De
• VLIW, 25(6)337--351, 26(4)2--14, 26(6)219--228, 26(7)21--27, 27(7)283--299, 27(9)238--247, 29(6)36--48, 29(11)183--193, 34(7)28--34
• VLSI, 0(0)51--58
• VM, 0(0)z--99999999
• Voelker, Geoffrey M., 31(9)150--159, 31(9)258--267
• Voelker, Geoffrey M., see Jamrozik, Hervé A., see Romer, Theodore H.
• Vogt, Christopher J., 33(9)103--107
• Vogt:1998:FPP, 33(9)103--107
• void, 31(6)34--41
• vol, 6(0)vi--217
• vol.24, 27(12)20--27
• vol.27, 27(12)20--27
• Volanschi, Eugen N., 32(10)286--300
• Volanschi, Eugen-Nicolae, 32(12)116--126
• Volanschi, Eugen-Nicolae, see Muller, Gilles
• Volanschi:1997:DSO, 32(10)286--300
• volatile, Non-, 27(9)10--22
• volatile, non-, 29(11)86--97
• Volpano, Dennis, 0(0)355--364, 32(1)117--119
• Volpano, Dennis, see Smith, Geoffrey
• Volpano:1997:PPL, 32(1)117--119
• Volpano:1997:PSP, 32(1)117--119
• volume, 0(0)xi--296, 32(7)252--263, 32(10)108--108, 32(10)162--162, 32(10)206--206
• Volunteer, 0(0)z--99999999
• von Hanxleden, Reinhard, 27(7)188--199, 29(6)107--120
• Vondran, Gary, 30(8)134--143
• Vondran, Gary, see Subhlok, Jaspal
• vonHanxleden:1992:RSC, 27(7)188--199
• vonHanxleden:1994:GTB, 29(6)107--120
• vonIssendorff:1990:TO, 25(9)31--38
• vonIssendorff:1991:TO, 26(8)148--150
• Vorobyov, Sergei G., 0(0)164--175
• Vorobyov:1995:SDE, 0(0)164--175
• Vortex, 31(10)83--100
• VORX, 25(3)60--69
• Vouillon, Jérôme, 0(0)40--53, see Rémy, Didier
• Vowels, Robin A., 31(3)22--27
• Vowels:1996:P, 31(3)22--27
• vpo, 28(6)26--35
• VPP, 29(11)196--207
• Vugranam, 30(3)1--12
• Vullinghs, Ton, 32(8)251--262
• Vullinghs, Ton, see Claessen, Koen
• vulnerability, 27(9)274--284
• Vuong, Son, 0(0)z--99999999
• Vuong, Son, see Zhu, Jinsong