Last update: Wed Jun 19 02:00:15 MDT 2024
Return to index directory
V
-
V, 24(5)397--432
-
V, RISC-, 52(1)93--123
-
V-Class, 33(4)307--350
-
V-cycle, 24(5)397--432
-
Vachharajani, Manish, 33(2)81--101
-
Vachharajani, Manish, see August, David I.
-
Vafeiadis, Viktor, 46(6)1157--1183
-
Vafeiadis, Viktor, see He, Mengda
-
Vaghani, J., 17(3)207--257
-
Vaghani, J., see Somogyi, Z.
-
Val, 15(2)127--149
-
Valduriez, Patrick, 17(1)19--42
-
Valduriez:1988:PET, 17(1)19--42
-
Valedictory, 21(6)477--479
-
Valero, Mateo, 23(6)515--535, 26(2)121--142, 30(5)373--395,
32(3)199--224, 32(6)447--474, 36(3)326--346, 40(1)25--56,
42(1)119--139, 45(1)17--29, 47(3)343--344
-
Valero, Mateo, see Ayguade, Eduard,
see Llosa, Josep,
see Milovanovi{\'c}, Milos,
see Ortega, Daniel, \see{Ramirez, Alex,
see Smiljkovi{\'c}, Vesna,
see Tomi{\'c}, Sasa, \see{Zalamea, Javier,
see Zhang, Feng, \see{Zyulkyarov, Ferad
-
validation, 19(3)185--211, 33(6)585--611, 34(1)93--109, 38(3)288--302,
45(6)1326--1365
-
Validity, 27(3)131--159
-
Vallejo, Enrique, 34(3)193--211, 39(3)375--396
-
Vallejo, Enrique, see Martínez, Carmen
-
Vallejo, Fernando, 39(3)375--396
-
Vallejo, Fernando, see Vallejo, Enrique
-
Vallejo, Marisa, López-, 31(6)451--467
-
Vallejo:2011:HTM, 39(3)375--396
-
Valuations, 38(2)159--182
-
value, 16(4)279--303, 19(3)225--250, 21(3)169--192, 22(5)485--518,
24(3)235--263, 24(6)481--512, 26(4)505--538, 27(4)229--256,
30(1)1--35, 39(5)533--552, 42(1)30--48, 48(3)534--548
-
Value, Key-, 47(3)451--466
-
Value, Timed-, 48(6)957--1007
-
Value-Based, 23(4)327--358
-
value-based, 23(4)327--358
-
Valuedness, Single-, 49(6)802--819
-
van, 24(5)397--432
-
Van Rosendale, John, 16(5)365--382
-
Van Rosendale, John, see Koelbel, Charles
-
Vandenbergen, Nicolas, 50(3)319--340
-
Vandenbergen, Nicolas, see Ernstsson, August
-
Vander-Swalmen, Pascal, 37(3)324--342
-
Vander-Swalmen:2009:CAM, 37(3)324--342
-
Vanderbauwhede, Wim, 43(5)894--917, 47(1)114--136
-
Vanderbauwhede, Wim, see Tousimojarad, Ashkan
-
Vanderbauwhede:2019:TDA, 47(1)114--136
-
vanderSpek:2008:CRT, 36(6)592--623
-
Vandevoorde, Mark T., 17(4)347--366
-
Vandevoorde:1988:WAC, 17(4)347--366
-
Vandierendonck, Hans, 44(5)1078--1098
-
Vandierendonck, Hans, see Vassiliadis, Vassilis
-
vanNieuwpoort:2011:CRA, 39(1)88--114
-
variable, 17(2)125--152, 18(1)1--36, 22(6)589--616, 23(1)63--81,
23(6)499--513, 23(6)515--535, 23(6)537--576, 24(6)513--546,
26(1)43--64, 44(3)644--662, 44(6)1200--1247, 46(6)1283--1303
-
variable, inter-, 23(6)499--513
-
variable, Multi-, 45(1)94--108
-
Variable-Length, 42(4)546--563
-
Varma, Bogaraju Sharatchandra, 50(2)189--216
-
Varma, Bogaraju Sharatchandra, see Lal, Sohan
-
Vasilache, Nicolas, 34(3)261--317
-
Vasilache, Nicolas, see Girbal, Sylvain
-
Vasilescu, Laura Mihaela, 44(5)924--948
-
Vasilescu, Laura Mihaela, see Anghel, Andreea
-
Vassalos, E., 49(2)158--176
-
Vassalos, E., see Pothos, V.
-
Vassilakopoulos, Michael, 51(6)275--308
-
Vassilakopoulos, Michael, see Velentzas, Polychronis
-
Vassiliadis, Stamatis, 34(3)237--260
-
Vassiliadis, Stamatis, see Shahbahrami, Asadollah
-
Vassiliadis, Vassilis, 44(5)1078--1098
-
Vassiliadis:2016:ESC, 44(5)1078--1098
-
Vayá, Guillermo, Payá-, 45(6)1417--1419, 49(4)541--569
-
Vecchio, Antonio, Del, 52(1)93--123
-
vector, 15(4)279--293, 19(5)389--404, 20(1)23--53, 21(3)193--224,
21(5)313--347, 23(4)327--358, 23(4)359--388, 25(6)447--496,
27(3)195--225, 39(1)62--87, 45(5)1091--1107, 46(2)471--503,
46(6)1220--1246, 47(2)296--316
-
Vector, Matrix-, 47(3)418--432, 48(1)80--97
-
vectorization, 16(2)137--178, 21(3)193--224, 24(1)65--102, 30(2)65--98,
45(6)1536--1565
-
vectorizing, 15(4)279--293, 28(4)363--400, 30(4)291--315
-
Vega-Rodríguez, Miguel A., 43(5)703--720, 43(5)786--811,
see Botón-Fernández, María,
see Hidalgo-Paniagua, Alejandro
-
Vega-Rodr{\'{\i}}guez, Miguel A., 47(2)293--295
-
Vega-Rodriguez:2019:PPB, 47(2)293--295
-
Vehicle, 46(5)859--872, 48(5)786--812, 50(1)1--26
-
Vehicular, 48(5)870--889
-
Veidenbaum, Alex, 29(5)461--462, 30(4)223--224
-
Veidenbaum, Alexander, 27(1)35--70, 31(6)451--467
-
Veidenbaum, Alexander, see Ayala, José L.,
see Gornish, Edward H.
-
Veidenbaum, Alexander V., 23(5)423--470
-
Veidenbaum, Alexander V., see Granston, Elana D.
-
Veidenbaum:2001:GEI, 29(5)461--462
-
Veidenbaum:2002:GEI, 30(4)223--224
-
Veksler, Tatyana, 47(1)59--73
-
Veksler, Tatyana, see Abadi, Moria
-
Vela, Camino Rodríguez, 28(3)275--319,
see Arias, Ramiro Varela
-
Velásquez, Ricardo A., 43(1)130--157
-
Velasquez:2015:BBA, 43(1)130--157
-
Velentzas, Polychronis, 51(6)275--308
-
Velentzas:2023:GBA, 51(6)275--308
-
Vélez, Horacio, González-, 45(2)203--224, 46(1)120--151
-
Velho, Haroldo F. Campos, 33(5)485--498
-
Velho, Haroldo F. Campos, see Roberti, Debora R.
-
vendors, 24(2)187--206
-
Venkataramani, Guru, 47(4)571--594, 47(4)595--620
-
Venkataramani, Guru, see Fang, Hongyu,
see Yao, Fan
-
Venkatasubramanian, Girish, 40(3)353--380
-
Venkatasubramanian:2012:TTT, 40(3)353--380
-
Ventresque, Anthony, 44(1)130--150
-
Ventresque, Anthony, see Li, Xi
-
Vera, Gonzalo, 47(2)317--342
-
Vera, Gonzalo, see Badosa, Ferran
-
verification, 16(3)215--241, 16(4)263--278, 17(2)153--206,
18(5)315--357, 20(1)23--53, 20(3)159--180, 22(4)375--407,
22(5)553--586, 23(5)471--496, 33(2)145--164, 33(6)585--611,
33(6)613--643, 33(6)667--695, 33(6)697--720, 34(1)3--27,
34(1)29--59, 34(1)61--91, 44(3)574--597
-
Verification-Oriented, 34(1)93--109
-
Verified, 36(4)412--425
-
verified, Self-, 36(4)412--425
-
Verifying, 18(5)315--357, 47(1)59--73
-
Verlag, Springer-, 18(2)121--160
-
Vermij, Erik, 44(5)1003--1027
-
Vermij, Erik, see Fiorin, Leandro
-
Versatile, 42(6)900--930
-
Version, 23(4)359--388
-
versioned, Multi-, 45(2)262--282
-
versions, 24(5)397--432
-
vertex, 25(6)525--549
-
vertex-disjoint, 16(1)1--15
-
very, 15(1)33--71, 17(1)43--58
-
Vetter, Jeffrey S., 40(6)633--655
-
Vetter, Jeffrey S., see Tipparaju, Vinod
-
Vianna, Emanuel, 41(4)495--525
-
Vianna:2013:APM, 41(4)495--525
-
ViBe, 48(5)890--908
-
Vidal, Antonio M., 42(3)408--434
-
Vidal, Antonio M., see Cámara, Jesús
-
Video, 27(3)195--225, 31(6)489--506, 41(2)236--260, 42(6)931--947,
45(4)734--759, 48(2)192--212, 50(5)562--562
-
Vidhyavathi, R. M., 48(3)496--514
-
Vidhyavathi, R. M., see Lydia, E. Laxmi
-
Vieira, Vinicius da Fonseca, 37(6)572--592
-
Vieira, Vinicius da Fonseca,
see Xavier, Carolina Ribeiro
-
Viitanen, Timo, 46(6)1283--1303
-
Viitanen:2018:VLI, 46(6)1283--1303
-
Vilches, Antonio, 47(2)213--233
-
Vilches, Antonio, see Navarro, Angeles
-
Villari, Massimo, 49(3)347--375
-
Villari, Massimo, see Fazio, Maria
-
Villavieja, Carlos, 45(3)530--550
-
Villavieja, Carlos, see Garcia, Victor
-
Vinter, Brian, 49(5)732--744
-
Vinter, Brian, see Ji, Haonan
-
virtual, 17(3)277--301, 18(2)121--160, 21(2)123--150, 22(1)3--46,
23(4)263--301, 32(2)77--122, 35(2)157--177, 38(1)19--37,
42(5)853--872, 43(3)403--420, 43(3)421--439, 44(1)130--150,
44(6)1118--1141, 47(3)481--501, 48(2)280--295, 48(5)909--927
-
Virtualization, 43(3)455--471, 45(1)45--66, 45(5)1142--1163
-
Virtualized, 40(3)353--380
-
Vishkin, Uzi, 39(5)615--638
-
Vishkin, Uzi, see Caragea, George C.
-
Vishwanath, Venkatram, 45(1)94--108
-
Vishwanath, Venkatram, see Malakar, Preeti
-
visibility, 19(3)213--224
-
vision, 19(3)213--224, 23(2)105--134, 37(4)345--369
-
Visual, 42(4)663--680, 47(5)1117--1151
-
Visualization, 27(2)111--129
-
Vitali, Roberto, 44(6)1200--1247
-
Vitali, Roberto, see Pellegrini, Alessandro
-
Vivien, Frederic, 26(3)285--312
-
Vivien, Frederic, see Calland, Pierre-Yves
-
Vivien, Frédéric, 25(6)447--496, see Darte, Alain
-
Vizzotto, Bruno, 42(2)239--264
-
Vizzotto, Bruno, see Monteiro, Eduarda
-
Vlagoulis, Vassilis, 38(3)288--302
-
Vlagoulis, Vassilis, see Apostolakos, Spyros
-
VLIW, 22(2)151--181, 22(3)243--272, 23(1)35--62, 23(3)221--243,
23(6)499--513, 25(2)83--112, 32(6)447--474, 34(1)61--91,
35(6)507--527, 36(2)184--205, 40(5)488--513
-
VLSI, 21(4)303--312, 38(3)183--184
-
VM, 45(6)1298--1309
-
VOD, 37(2)175--194
-
VoIP, 38(3)288--302
-
Volatile, 40(2)164--183
-
Volume, 46(5)943--962
-
Vora, Keval, 46(2)313--332
-
Vora, Keval, see Koduru, Sai Charan
-
VORD, 42(6)900--930
-
Voros, Nikolaos, 50(3)405--432
-
Voros, Nikolaos, see Kelefouras, Vasilios
-
Voss, Michael, 26(5)541--561
-
Voss, Michael, see Park, Insung
-
VPPE, 47(5)1117--1151
-
Vranas, Pavlos, 35(3)181--206
-
Vranas, Pavlos, see Moreira, José E.
-
Vranesic, Zvonko, 27(5)327--356
-
Vranesic, Zvonko, see Farkas, Keith I.
-
vs, 30(4)225--255
-
Vshadow, 45(1)45--66
-
Vu, Tuong Thuy, 45(4)780--796
-
Vu, Tuong Thuy, see Phan, Kien Tuong
-
Vulnerability, 49(3)410--439