Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
V
-
v5, 41(7)113--124
-
Vachharajani, Manish, 39(6)195--206
-
Vachharajani, Neil, 39(6)195--206, 41(6)228--238
-
Vachharajani, Neil, see Bridges, Matthew J.,
see Vachharajani, Manish
-
Vachharajani:2004:LSS, 39(6)195--206
-
Vafeiadis, Viktor, 40(9)15--26
-
Vafeiadis, Viktor, see Sewell, Peter
-
Vahdat, Amin, 37(10)123--132
-
Vahdat, Amin, see Zeng, Heng
-
Vahid, Frank, 38(7)189--198
-
Vahid, Frank, see Suresh, Dinesh C.
-
Vaidyanathan, Ravichander, 36(8)188--195
-
Vaidyanathan, Ravichander, see Narain, Sanjai
-
Vaillancourt, Dale, 39(9)54--65
-
Vaillancourt, Dale, see Wand, Mitchell
-
Valero, Mateo, 35(5)134--144
-
Valero, Mateo, see Zalamea, Javier
-
validate, 41(1)372--382, 41(7)113--124
-
validating, 39(10)294--304, 41(1)55--66
-
validation, 35(5)83--94, 36(10)98--109, 41(1)55--66, 41(6)341--353
-
validity, 38(3)62--73
-
Vallée-Rai, Raja, 35(10)264--280,
see Sundaresan, Vijay
-
Valmayor, Alfredo, Fernández-, 40(12)28--37
-
valuable, 41(1)283--294, 41(7)103--112
-
value, Call-by-, 38(9)189--201, 38(12)2--2
-
value, call-by-, 41(1)168--179, 41(9)74--86
-
value, data-, 41(7)54--63
-
value, stale-, 41(1)334--345
-
value-based, 41(6)84--95
-
Value-Centric, 35(11)150--159
-
value-sets, 41(7)44--53
-
valued, 36(3)27--40
-
valued, class-, 41(1)270--282
-
valued, three-, 41(7)34--43
-
Valverde, Antonio, 38(7)209--219
-
Valverde, Antonio, see Zhang, Tao
-
Van Doren, Stephen, 35(11)13--24
-
Van Doren, Stephen, see Gharachorloo, Kourosh
-
Van Hentenryck, Pascal, 37(11)101--110
-
Van Hentenryck, Pascal, see Michel, Laurent
-
Van Put, Ludo, 39(7)211--220, 40(7)95--104
-
Van Put, Ludo, see Chanet, Dominique,
see De Bus, Bruno
-
Van Wyk, Eric, 37(1)283--294
-
Van Wyk, Eric, see Lacey, David
-
Vanbroekhoven, Peter, 38(7)24--33
-
Vanbroekhoven:2003:ACP, 38(7)24--33
-
Vanderburg, Glenn, 40(10)539--545
-
Vanderburg:2005:SMA, 40(10)539--545
-
vanderSpek:2005:SER, 40(4)47--50
-
Vanderwaart, Joseph C., 37(9)191--205, 38(3)98--108, 38(3)109--122
-
Vanderwaart, Joseph C., see Crary, Karl
-
Vanderwaart:2003:TCR, 38(3)98--108
-
Vanderwaart:2003:TIG, 38(3)109--122
-
vanDeursen:2000:DSL, 35(6)26--36
-
Vandevoorde, Mark, 35(11)160--167
-
Vandevoorde, Mark, see Burrows, Michael
-
Vandierendonck, Hans, 38(7)244--253
-
Vandierendonck, Hans, see De Sutter, Bjorn
-
vanDooren:2005:CRC, 40(10)455--471
-
vanish, 37(9)14--25
-
vanNieuwpoort:2001:ELB, 36(7)34--43
-
Vardhan, Abhay, 38_2s_213_220
-
Vardhan:2003:UPO, 38_2s_213_220
-
Varela, Carlos, 36(12)20--34
-
Varela, Carlos A., 40(1)195--208
-
Varela, Carlos A., see Field, John
-
Varela:2001:PDR, 36(12)20--34
-
variable-capturing, 41(1)257--268
-
variance, 41(3)20--29
-
variant, 37(1)307--318, 41(7)22--33
-
variation, 41(1)1--1, 41(6)364--375, 41(7)83--92
-
variety, 41(1)115--126, 41(1)153--165, 41(2)18--24, 41(5)46--54,
41(6)96--107
-
various, 39(6)35--46, 41(1)2--15, 41(1)30--41, 41(3)10--19, 41(6)96--107,
41(6)118--131
-
vary, 41(9)74--86
-
varying, 41(7)83--92, 41(7)173--181, 41(7)189--198
-
Vassiliadis, Stamatis, 39(7)1--9
-
Vassiliadis, Stamatis, see Antochi, Iosif
-
Vaynberg, Alexander, 41(6)401--414
-
Vaynberg, Alexander, see Feng, Xinyu
-
Vaziri, Mandana, 41(1)334--345
-
Vaziri:2006:ASC, 41(1)334--345
-
VC, 41(1)270--282
-
Vechev, Martin T., 40(7)183--192, 41(6)341--353
-
Vechev, Martin T., see Bacon, David F.
-
Vechev:2006:CPD, 41(6)341--353
-
vector, 37(6)59--81, 41(6)118--131, 41(6)132--143, 41(7)34--43,
41(7)199--208
-
vector, Bit-, 37(2)68--70
-
vector, bit-, 41(7)34--43
-
vectorization, 39(6)82--93, 41(6)132--143
-
vectorization, Auto-, 41(6)132--143
-
vectorizing, 41(6)132--143
-
Veitch, Alistair, 39(11)48--58
-
Veitch, Alistair, see Saito, Yasushi
-
Velázquez-Iturbide, J. Ángel, 41(8)34--43
-
Velazquez-Iturbide:2006:PDL, 41(8)34--43
-
Veldema, R., 36(7)83--92
-
Veldema:2001:SLG, 36(7)83--92
-
vendor, 41(4)3--14
-
Vene, Varmo, 40(9)294--305
-
Vene, Varmo, see Ghani, Neil
-
Venet, Arnaud, 39(6)231--242
-
Venet:2004:PES, 39(6)231--242
-
Venkataramani, Girish, 39(11)14--26
-
Venkataramani, Girish, see Budiu, Mihai
-
Venkateswarlu, R., 41(3)10--19
-
Venkateswarlu, R., see Janakiram, D.
-
Ventura, Phil, 39(10)68--72
-
Ventura:2004:AWC, 39(10)68--72
-
verbosity, 41(9)74--86
-
Verbrugge, Clark, 38(11)149--168
-
Verbrugge, Clark, see Dufour, Bruno
-
verifiable, 41(1)397--408
-
verified, 41(7)182--188
-
verify, 41(1)115--126, 41(6)228--238, 41(7)135--144
-
VerifYing, 40(6)27--37
-
verifying, 36(3)27--40, 39(6)25--34, 41(1)115--126, 41(1)245--256,
41(7)103--112
-
Verilog, 35(1)123--134
-
Verischemelog, 35(1)123--134
-
version, 41(1)168--179, 41(1)283--294, 41(6)158--168, 41(6)252--262,
41(7)2--11, 41(9)1--12
-
versioning, 36(3)236--247
-
Verstoep, Kees, 35(11)71--81
-
Verstoep, Kees, see Bhoedjang, Raoul A. F.
-
versus, 38(2)57--64, 38(4)18--24, 38(6)23--29, 39(10)268--274
-
vertical, 40(10)281--296
-
Vetter, Jeffrey S., 36(7)123--132
-
Vetter:2001:SSA, 36(7)123--132
-
Vezocnik, Ivan, 39(5)58--65
-
Vezocnik, Ivan, see Juric, Matjaz B.
-
Vidal, Germán, 37(3)52--62, 40(9)228--239,
see Ramos, J. Guadalupe
-
Vidal:2002:CAN, 37(3)52--62
-
Vidos, Hugh, 35(12)51--61
-
Vidos, Hugh, see Knutson, Charles D.
-
view, 36(3)290--303, 38(11)269--281, 39(10)151--152, 40(1)233--246,
40(9)168--179, 41(1)1--1, 41(1)334--345, 41(3)10--19, 41(5)46--54,
41(8)34--43, 41(9)26--37
-
viewed, 41(3)10--19, 41(6)332--340
-
Vijaykrishnan, N., 37(7)2--11, 37(7)165--174, 37(10)68--80,
38(7)275--283, 38(11)282--301, 39(7)240--248
-
Vijaykrishnan, N., see Chen, G.,
see Hu, J. S., \see{Kim, H. S.,
see Li, Tao, \see{Saputra, H.
-
Vijaykrishnan, Narayanan, 36(8)128--137
-
Vijaykrishnan, Narayanan, see Kadayif, Ismail
-
Vijaykumar, T. N., 36(7)2--11, 39(6)59--70, 39(11)199--210,
39(11)260--270
-
Vijaykumar, T. N., see Cher, Chen-Yong,
see Gomaa, Mohamed, \see{Johnson, Troy A.,
see Kim, Seon Wook
-
Villarreal, Jason R., 38(7)189--198
-
Villarreal, Jason R., see Suresh, Dinesh C.
-
Villazón, Alex, 36(11)139--155, see Binder, Walter
-
violate, 41(6)72--83
-
violated, 41(1)218--231
-
violation, 40(6)1--14, 41(6)1--13, 41(6)320--331
-
violation, Refinement-, 40(6)27--37
-
Viroli, Mirko, 35(10)146--165
-
Viroli:2000:PPJ, 35(10)146--165
-
virtualization, 41(6)239--251
-
virtually, 39(6)35--46, 41(7)153--162
-
virus, 37(2)29--35
-
visible, 41(1)153--165, 41(6)283--294
-
visibly, 41(1)153--165
-
vision, 41(7)1--1
-
visitation, 38(8)55--59
-
visitor, 36(11)270--282
-
Visser, Joost, 35(6)26--36, 36(11)270--282
-
Visser, Joost, see Deursen, Arie van
-
Visser:2001:VCT, 36(11)270--282
-
VISTA, 37(7)155--164
-
visual, 37(9)145--156, 40(11)37--40
-
VisualFoxPro, 41(6)252--262
-
visualisation, 37(11)343--358, 39(10)73--82, 39(10)178--179
-
Visualising, 38_2s_157_170
-
visualization, 36(11)300--311, 39(10)48--49, 39(10)226--228,
41(8)34--43
-
visualize, 41(7)113--124
-
visualizing, 39(10)316--317
-
visually, 37(2)53--56
-
vital, 41(3)10--19
-
Vite, Jan, 38(11)135--148
-
Vite, Jan, see Zhao, Tian
-
Vitek, Jan, 36(11)241--253, 37(11)262--274, 40(10)487--503
-
Vitek, Jan, see Cunei, Antonio,
see Grothoff, Christian,
see Palacz, Krzysztof
-
Viterbi, 41(6)132--143
-
Vivancos, Emilio, 36(8)88--93
-
Vivancos:2001:PTA, 36(8)88--93
-
Vivien, Frédéric, 36(5)35--46, 36(5)232--242,
see Thies, William
-
Vivien:2001:IPE, 36(5)35--46
-
Vivient, Frederic, 36(5)35--46
-
Vivient:2001:IPE, 36(5)35--46
-
Vlissides, John, 36(12)1--1
-
Vlissides:2001:IIS, 36(12)1--1
-
VLIW, 36(8)138--144, 37(7)85--92, 37(7)102--111, 37(7)112--119,
38(7)275--283, 39(4)244--256, 41(7)163--172, 41(7)182--188
-
VLSI, 37(1)245--246
-
VM, 41(6)239--251
-
VMs, 41(6)239--251
-
VMX, 41(6)118--131
-
Vögler, Gabriel, 39(10)182--183
-
Vogler:2004:OMI, 39(10)182--183
-
Voigtländer, Janis, 37(9)14--25, 39(1)99--110,
see Johann, Patricia
-
Voigtlander:2002:CRM, 37(9)14--25
-
Volder, Kris De, 39(10)9--10
-
Volder, Kris De, see McCormick, Edward
-
voltage, 36(8)11--19, 37(7)2--11, 38(5)49--62, 39(7)88--94,
40(7)203--212, 41(6)193--203, 41(7)153--162
-
voltageash, 39(11)248--259
-
voltage/frequency, 41(6)193--203
-
volume, 36(10)z--99999999, 41(1)16--29
-
vonPlaten:2006:FLO, 41(7)2--11
-
vonPraun:2001:ORD, 36(11)70--82
-
vonPraun:2003:SCA, 38(5)115--128
-
Voronenko, Yevgen, 40(6)315--326
-
Voronenko, Yevgen, see Franchetti, Franz
-
Voss, Michael J., 35(7)32--40, 35(7)79--81, 36(7)93--102
-
Voss, Michael J., see Chung, Yoo C.,
see Cytron, Ron
-
Voss:2000:FRD, 35(7)32--40
-
Voss:2001:HLA, 36(7)93--102
-
voting, 41(9)38--49
-
Vouillon, Jerome, 39(1)52--63
-
Vouillon, Jérôme, 35(9)11--22, 36(3)290--303, 41(1)103--114,
see Hosoya, Haruo
-
Vouillon:2001:CSB, 36(3)290--303
-
Vouillon:2004:STF, 39(1)52--63
-
Vouillon:2006:PRT, 41(1)103--114
-
VP, 41(1)153--165
-
Vrani{\'c}, Valentino, 36(12)77--83, see Dolog, Peter
-
vs, 35(11)49--58, 36(7)113--122, 38_2s_263_268, 39(4)270--282,
39(9)4--15, 39(10)143--144, 40(10)313--326
-
vulnerability, 41(6)158--168
-
vulnerable, 41(6)158--168
-
VYRD, 40(6)27--37
-
Vytiniotis, Dimitrios, 41(9)50--61
-
Vytiniotis, Dimitrios, see Jones, Simon Peyton