Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
V
-
V, 45(5)245--256
-
v, 45(3)91--102, 45(6)305--315, 46(8)3--12, 47(2)97--106
-
v, ConMem-, 45(3)179--192
-
V8, 47(1)481--494
-
Vafeiadis, Viktor, 45(1)261--274, 46(1)43--54, 47(1)59--72
-
Vafeiadis, Viktor, see Hur, Chung-Kil,
see Nanevski, Aleksandar,
see {\v{S}}ev{\c{c}}ik, Jaroslav
-
vague, 45(8)51--52
-
Vahdat, Amin, 45(7)63--74
-
Vahdat, Amin, see Zhang, Qing
-
Valero, Mateo, 45(5)57--66, 45(5)191--202, 45(5)337--338
-
Valero, Mateo, see Marjanovic, Vladimir,
see Radojkovi{\'c}, Petar,
see Zyulkyarov, Ferad
-
valgrind, 45(7)3--12, 45(7)13--24
-
valid, 46(2)33--42, 46(6)283--294, 47(1)571--584
-
validate, 45(5)191--202, 45(5)293--304, 45(5)305--314, 45(5)327--328,
45(6)134--145, 45(6)400--411, 47(1)427--440, 47(3)147--156
-
validated, 45(5)105--114, 45(7)75--84, 47(1)349--360, 47(3)127--136,
47(3)167--176
-
validating, 47(5)129--138
-
validation, 45(5)37--46, 45(5)233--244, 46(2)53--62, 46(6)295--305,
46(8)179--188, 47(3)147--156
-
validator, 45(1)83--92, 45(3)179--192
-
validity, 45(6)122--133, 47(1)349--360, 47(3)83--92
-
valuable, 45(8)41--50, 47(4)39--52
-
Value, Call-by-Push-, 47(1)349--360
-
value, pass-by-, 46(8)81--90
-
value-dependent, 46(9)266--278
-
value-forms, 47(1)361--372
-
value-graph, 46(6)295--305
-
value-indexed, 47(1)231--244
-
valued, single-, 47(1)137--150
-
VAMC, 45(3)323--334
-
Vampire, 47(1)259--272
-
Van, 45(6)305--315
-
Van Cutsem, Tom, 45(12)59--72
-
Van Horn, David, 45(6)305--315, 45(9)51--62
-
Van Horn, David, see Might, Matthew
-
VanCutsem:2010:PDP, 45(12)59--72
-
vanGroningen:2010:ESB, 45(11)49--60
-
VanHorn:2010:AAM, 45(9)51--62
-
vanStaden:2010:RAM, 45(10)504--519
-
vanStaden:2012:F, 47(1)7--18
-
Varadarajan, Srinidhi, 46(10)555--574
-
Varadarajan, Srinidhi, see Pyla, Hari K.
-
Vardoulakis, Dimitrios, 46(9)69--80
-
Vardoulakis:2011:PFA, 46(9)69--80
-
variability, 46(2)33--42, 47(3)3--12
-
variability-aware, 46(10)805--824
-
variance, 46(6)602--613, 47(1)441--454
-
variation, 45(2)117--126, 45(3)103--116, 45(5)191--202, 45(5)315--324,
46(2)3--12, 46(2)23--32, 46(8)113--122
-
variation-point, 46(2)23--32
-
varied, 47(3)63--72
-
vary, 45(6)436--447, 45(8)103--112, 46(8)257--266, 47(2)97--106,
47(4)333--344
-
varying, 45(5)327--328, 45(7)85--96
-
Vasconcelos, Vasco T., 45(1)299--312
-
Vasconcelos, Vasco T., see Gay, Simon J.
-
Vasilache, Nicolas, 46(1)549--562
-
Vasilache, Nicolas, see Pouchet, Louis-Noël
-
vast, 47(4)1--2, 47(4)213--224
-
Vaswani, Kapil, 45(6)50--61
-
Vaswani, Kapil, see Prabhu, Prakash
-
Vaziri, Mandana, 45(6)341--350
-
Vaziri, Mandana, see Torlak, Emina
-
Veanes, Margus, 47(1)137--150
-
Veanes:2012:SFS, 47(1)137--150
-
Vechev, Martin, 45(1)327--338, 45(8)41--50, 46(1)487--498,
46(6)187--198, 46(10)51--64, 46(10)259--274, 46(10)275--288
-
Vechev, Martin, see Aftandilian, Edward E.,
see Attiya, Hagit,
see Kuperstein, Michael, \see{Raman, Arun,
see Shacham, Ohad
-
Vechev:2010:AGS, 45(1)327--338
-
Vechev:2010:PPC, 45(8)41--50
-
vector, 45(5)115--126, 45(5)353--354, 45(5)355--356, 46(1)307--316,
47(1)203--214
-
Vector, Matrix-, 46(8)247--256
-
vector, matrix-, 45(5)115--126
-
vectorization, 45(5)353--354, 45(6)86--97
-
vectorize, 45(3)285--296, 45(5)353--354
-
vectorized, 45(3)285--296, 45(5)353--354
-
vectorizing, auto-, 45(3)285--296
-
Veeraraghavan, Kaushik, 45(3)77--90, 46(3)15--26, 47(4)15--26
-
Veeraraghavan, Kaushik, see Lee, Dongyoon
-
Veeraraghavan:2011:DPS, 46(3)15--26
-
Veeraraghavan:2012:DPS, 47(4)15--26
-
vehicle, 47(3)95--96
-
vein, 46(6)199--210
-
Veldema, Ronald, 46(11)1--10
-
Veldema:2011:IDP, 46(11)1--10
-
Vellvm, 47(1)427--440
-
vendor, 45(3)297--310, 45(6)448--459, 45(8)51--52, 46(8)123--124,
47(4)319--332
-
vendor-tuned, 45(5)345--346
-
Venkata, Sravanthi Kota, 46(8)293--294
-
Venkata, Sravanthi Kota, see Jeon, Donghwan
-
Venkatasubramanian, Suresh, 46(8)297--298
-
Venkatasubramanian, Suresh,
see Grosset, Andre Vincent Pascal
-
Venkatesan, Ramarathnam, 46(6)62--73
-
Venkatesan, Ramarathnam, see Gulwani, Sumit
-
Venkatesh, Ganesh, 45(3)205--218
-
Venkatesh:2010:CCR, 45(3)205--218
-
Venter, Herman, 45(10)361--376, 45(10)708--725
-
Venter, Herman, see Bebenita, Michael,
see Lerner, Benjamin S.
-
veracity, 45(5)47--56
-
Verdú, Javier, 45(5)191--202,
see Radojkovi{\'c}, Petar
-
verifiability, 45(4)57--66
-
verifiably, 45(6)99--110
-
verification, verification-, 45(6)134--145
-
verification--template-based, 45(6)134--145
-
verification--verification, 45(6)134--145
-
verified, non-, 47(1)427--440
-
verifier, 45(5)357--358, 45(6)99--110
-
Verilog, 45(4)67--76, 47(3)185--186
-
Verilog/VHDL, 45(2)1--2
-
VeriML, 45(9)333--344, 47(1)273--284
-
Verizon, 47(1)217--230
-
Vermaas, Rob, 46(10)139--154
-
Vermaas, Rob, see Kats, Lennart C. L.
-
Vermolen, Sander Daniël, 47(3)83--92
-
Vermolen:2012:GDM, 47(3)83--92
-
versa, 45(2)157--166, 45(3)347--358, 46(11)11--20
-
versatile, 45(4)9--16, 46(2)157--166
-
version, multi-, 46(8)179--188
-
versioned, 45(3)53--64
-
versus, 45(5)325--326
-
Verve, 45(6)99--110
-
Verwaest, Toon, 45(10)774--789, 46(10)959--972
-
Verwaest:2010:PBR, 45(10)774--789
-
Verwaest:2011:FOL, 46(10)959--972
-
VHDL, 45(4)67--76, 47(3)185--186
-
vhdl, 45(4)67--76
-
vi, 45(3)91--102
-
via-a-Class-pointer, Allocation-Site-, 45(7)109--120
-
via-labelling, sharing-, 47(1)469--480
-
viability, 45(7)63--74
-
viable, 45(6)98--98
-
vice, 45(2)157--166, 45(3)347--358, 46(11)11--20
-
Vicover, 45(7)25--36
-
victim, 46(8)201--212
-
videoconferencing, 45(3)1--2
-
view, 45(5)191--202, 45(9)193--204, 46(4)84--96, 46(8)213--222,
46(9)32--44, 47(1)85--96, 47(3)95--96, 47(3)137--146
-
viewed, 45(2)35--44, 45(6)221--232
-
viewpoint, 45(5)103--104
-
Vij, Mona, 46(3)133--144, 47(4)133--144
-
Vij, Mona, see Ryzhyk, Leonid
-
Vijaykumar, T. N., 45(3)243--256
-
Vijaykumar, T. N., see Ahmad, Faraz
-
villages, 45(3)1--2
-
Villazón, Alex, 45(2)85--94, 45(2)95--98
-
Villazon:2010:ARA, 45(2)85--94
-
Villazon:2010:HCA, 45(2)95--98
-
violate, 45(5)349--350, 45(6)187--197, 46(8)201--212
-
violated, 45(8)63--72, 47(1)309--322
-
violating, 47(3)137--146
-
violation, 45(3)167--178, 45(3)323--334, 45(5)281--292, 45(6)36--49,
45(6)255--268, 45(6)330--340, 45(6)351--362, 45(8)31--40,
46(8)147--156, 46(8)307--308, 47(1)111--122, 47(1)165--178,
47(1)427--440, 47(4)53--66, 47(4)239--250, 47(5)139--148
-
violation, atomicity-, 46(6)389--400
-
violations, atomicity-, 45(3)179--192
-
Virlet, Bruno, 46(5)1--10
-
Virlet:2011:SSB, 46(5)1--10
-
virtual-machine, 47(1)215--216
-
virtualisation, 46(5)51--60
-
virtualization-driven, 46(7)51--62
-
virtualized, 45(2)75--84, 45(3)397--408, 45(7)25--36
-
virtualizes, 45(7)3--12
-
virtualizing, 45(2)75--84, 45(3)397--408, 46(9)32--44
-
virtually, 45(2)157--166, 45(6)36--49
-
virtuous, 46(8)123--124
-
virtuous-cycle, 46(8)123--124
-
Vishkin, Uzi, 45(5)179--190
-
Vishkin, Uzi, see Tzannes, Alexandros
-
visible, 45(3)53--64, 45(3)257--270, 45(5)57--66, 45(6)400--411,
46(2)113--122, 47(3)147--156
-
visible, programmer-, 45(8)51--52
-
visible, user-, 45(3)385--396
-
vision, 45(6)388--399
-
visited, 45(6)292--304
-
Viskic, Ines, 45(4)77--84
-
Viskic:2010:DEA, 45(4)77--84
-
Visser, Eelco, 45(10)444--463, 45(10)918--932, 46(10)139--154,
46(10)695--712, 47(3)83--92, 47(3)127--136, 47(3)167--176
-
Visser, Eelco, see Erdweg, Sebastian,
see Hemel, Zef, \see{Kats, Lennart C. L.,
see Lindeman, Ricky T.,
see Vermolen, Sander Daniël
-
visual, 46(1)241--246, 47(4)145--158
-
visualization, 46(8)47--56
-
visualizing, 47(3)177--184
-
vital, 47(1)215--216, 47(2)25--36, 47(3)127--136, 47(4)67--78
-
Vitek, Jan, 45(1)377--388, 45(6)1--12, 45(6)146--159, 46(10)677--694
-
Vitek, Jan, see Pizlo, Filip,
see Richards, Gregor,
see Wrigstad, Tobias
-
vivo, in-, 46(3)265--278, 47(4)265--278
-
Vlachos, Evangelos, 45(3)257--270, 45(3)271--284
-
Vlachos, Evangelos, see Goodstein, Michelle L.
-
Vlachos:2010:PEA, 45(3)271--284
-
VLIW, 47(5)31--40
-
VM., 45(7)25--36
-
VMKit, 45(7)51--62
-
VMM, 45(7)75--84, 45(7)97--108
-
VMM-to-guest, 46(7)193--204
-
VMs, 45(6)36--49, 45(7)75--84, 45(7)85--96, 45(7)109--120, 45(7)133--144,
46(11)65--76, 47(2)61--72
-
VMware, 45(7)13--24
-
vocabulary, 45(6)305--315, 47(3)117--126
-
Voelker, Geoffrey M., 45(7)63--74
-
Voelker, Geoffrey M., see Zhang, Qing
-
Voigtländer, Janis, 45(9)181--192
-
Voigtlander:2010:CSS, 45(9)181--192
-
Vojdani, Vesal, 46(1)93--104
-
Vojdani, Vesal, see Schwarz, Martin D.
-
volatile, 47(4)159--170
-
volatile, Non-, 47(4)171--184
-
volatile, non-, 46(3)105--118, 47(4)91--104, 47(4)105--118
-
Volos, Haris, 46(3)91--104, 47(4)91--104
-
Volos:2011:MLP, 46(3)91--104
-
Volos:2012:MLP, 47(4)91--104
-
voltage, 45(3)205--218, 47(4)225--238
-
volume, 45(6)160--173, 45(8)83--92, 46(8)247--256, 47(2)73--84
-
voluminous, 47(3)185--186
-
Voronkov, Andrei, 47(1)259--272
-
Voronkov, Andrei, see Hoder, Krystof
-
Vrable, Michael, 45(7)63--74
-
Vrable, Michael, see Zhang, Qing
-
Vries, Jacqueline de, 45(10)848--864
-
Vries, Jacqueline de, see Ossher, Harold
-
VSoC, 47(3)23--32
-
Vu, Jeremy, 46(8)235--246
-
Vu, Jeremy, see Tanase, Gabriel
-
Vuduc, 45(5)115--126
-
Vuduc, Richard, 45(5)345--346, 47(1)545--556
-
Vuduc, Richard, see Bhat, Sooraj,
see Chandramowlishwaran, Aparna
-
Vuduc, Richard W., 45(5)115--126
-
Vuduc, Richard W., see Choi, Jee W.
-
vulnerability, 45(4)143--152
-
vulnerability, performance-, 45(4)143--152
-
vulnerable, 45(4)143--152, 46(11)55--64
-
vulnerable, statistically-, 45(3)385--396
-
Vytiniotis, Dimitrios, 45(9)15--26, 46(1)227--240, 46(12)23--34
-
Vytiniotis, Dimitrios, see Bolingbroke, Maximilian,
see Weirich, Stephanie
-
Vytiniotis:2010:FPE, 45(9)15--26