Index file section V for sigada.bib

Last update: Fri Aug 30 02:14:35 MDT 2024               

Return to index directory

V

• V, 27(3)11--26
• v.2, 33(3)65--84
• v2, 36(2)39--46, 43(1)42--45
• v4, 33(3)7--8
• v4.2, 10(7)55--62
• VAD, 23(1)30--34
• VADS, 11(3)61--72, 11(3)z--z
• Valero, A. A., Holzbacher-, 13(2)78--90, 14(2)80--92
• valid, 17(2)29--54, 36(2)9--17, 43(1)100--105
• validate, 29(3)31--44, 31(2)40--43, 32(3)15--22, 36(2)58--59, 40(1)91--96
• validated, 0(0)xvi--431, 0(0)77--89, 11(2)107--114, 26(3)51--60, 31(2)36--39, 31(2)40--43, 35(1)17--25, 36(2)27--30, 36(2)58--59
• validating, 13(4)71--76, 23(4)74--81, 31(2)40--43
• validation, 0(0)1--8, 0(0)77--89, 7(2)28--57, 8(5)75--86, 9(1)147--160, 10(6)84--96, 10(8)130--144, 11(3)137--146, 11(3)z--z, 11(7)217--243, 13(4)71--76, 16(6)55--72, 18(6)276--286, 19(1)48--51, 34(3)47--60, 36(2)58--59, 40(1)79--84, 41(2)77--80
• validity, 11(7)244--273, 38(2)97--108
• Välimäki, Tapio, 5(2)14--24, see Poutanen, Olavi
• Vallario, G. N., 3(2)55--61
• Vallario, G. N., see Inverardi, P.
• Valls, Joan J., 40(1)79--84
• Valls:2020:SBV, 40(1)79--84
• valuable, 29(3)31--44
• value, 0(0)62--76, 8(3)98--106, 10(5)101--109, 11(5)79--90, 15(3)76--79, 16(3)52--55, 16(3)56--69, 17(6)19--31, 23(1)45--52, 28(1)34--35, 28(1)38--40, 29(1)25--26, 29(1)62--64, 29(3)5--6, 30(1)116--124, 31(2)36--39, 31(2)40--43, 31(3)7--8, 31(3)13--14, 31(3)47--60, 33(2)97--108, 33(3)1--2, 33(3)49--50, 36(2)9--17, 37(1)9--25, 38(1)19--28, 43(1)100--105
• Van Arsdall, Paul J., 18(6)121--131, 23(1)11--11
• Van Arsdall, Paul J., see Carey, Robert W., see Woodruff, John P.
• van Katwijk, J., 8(7)65--79
• van Katwijk, J., see Toetenel, W. J.
• Van Scoy, Roger, 9(7)91--101, 10(4)97--113, 10(6)68--83, 18(6)276--286
• Van Scoy, Roger, see Plinta, Charles
• Van Vlierberghe, Stef, 14(4)43--57
• vanderLinden:1984:WDS, 4(2)44--53
• vanderLinden:1985:LFA, 5(1)49--54
• VANETs, 40(1)91--96
• VanNeste, Karl F., 6(1)41--48
• VanNeste:1986:ACS, 6(1)41--48
• VanScoy:1989:OD, 9(7)91--101
• VanScoy:1990:CIW, 10(4)97--113
• VanScoy:1990:DVD, 10(6)68--83
• vantage, 33(3)41--42
• VanVlierberghe:1994:MMA, 14(4)43--57
• Varanki, Kari-Matti, 5(2)14--24
• Varanki, Kari-Matti, see Poutanen, Olavi
• Vardanega, T., 30(2)27--52
• Vardanega, T., see Burns, Alan
• Vardanega, Tullio, 21(1)17--18, 21(1)96--104, 21(3)11--12, 21(3)26--30, 22(4)125--127, 23(4)22--23, 23(4)32--35, 23(4)65--73, 23(4)93--95, 23(4)96--96, 24(2)1--74, 27(2)15--17, 27(2)53--58, 30(1)45--55, 30(1)152--161, 33(1)64--83, 33(1)146--149, 33(2)126--130, 36(1)98--100, 38(1)58--60, 38(1)74--76
• Vardanega, Tullio, see Burns, Alan, see Dobbing, Brian, see Gonzalez-Harbour, Michael, see Mezzetti, Enrico, see Panunzio, Marco, see Pinho, Luis Miguel, see Pulido, José A., see Wellings, Andy, \see{Wolf, Thomas
• Vardanega:2001:CE, 21(3)26--30
• Vardanega:2001:OOE, 21(3)11--12
• Vardanega:2001:URP, 21(1)96--104
• Vardanega:2003:RDP, 23(4)65--73
• Vardanega:2003:SSF, 23(4)96--96
• Vardanega:2007:LII, 27(2)15--17
• Vardanega:2010:SSL, 30(1)152--161
• Vardanega:2013:SSI, 33(2)126--130
• Vardanega:2016:SSA, 36(1)98--100
• Vardanega:2018:SSL, 38(1)74--76
• Vardanego, T., 21(3)26--30
• Vardanego:2001:CE, 21(3)26--30
• Vardenaga, Tullio, 17(5)5--7
• Vardenaga, Tullio, see Burns, Alan
• Variabilities, 9(4)84--86
• variable, 0(0)82--90, 0(0)141--155, 8(7)50--56, 9(4)84--86, 10(9)29--30, 10(9)z--z, 11(2)53--55, 13(3)88--90, 16(3)52--55, 16(3)56--69, 17(6)70--77, 24(4)29--34, 31(3)7--8, 36(2)9--17, 37(1)9--25, 40(2)55--58
• Variable-Length, 9(4)103--104
• variable-length, 9(4)103--104
• variant, 0(0)60--64, 0(0)102--118, 17(3)3--16, 33(3)9--10, 36(2)9--17
• variants-even, 27(3)59--62
• variation, 0(0)201--211, 8(3)98--106, 9(4)84--86, 33(3)43--46
• variety, 29(3)21--22, 32(3)15--22, 32(3)51--52, 33(1)32--44, 33(2)97--108, 33(3)9--10, 33(3)65--84, 34(3)47--60, 34(3)69--70
• various, 27(2)48--52, 29(1)29--32, 29(2)40--42, 29(2)53--55, 29(3)79--84, 31(2)52--55, 31(3)35--36, 32(3)3--4, 32(3)97--102, 33(2)9--13, 33(3)65--84, 34(3)3--4, 34(3)39--46, 34(3)87--96, 36(1)77--82, 36(2)58--59, 37(2)13--17, 37(2)32--33, 43(1)54--57
• vary, 23(1)45--52
• Vasilescu, E., 0(0)40--49
• Vasilescu:1991:UAR, 0(0)40--49
• Vasques, Francisco, 18(6)52--60, 19(2)21--27, 19(4)37--43, 21(1)79--84, 22(4)47--52
• Vasques, Francisco, see Pinho, Luís Miguel
• vast, 27(3)69--70, 40(1)85--90
• Vaughn, Jr., Rayford B., 18(4)95--100
• Vaughn:1998:ARY, 18(4)95--100
• VAX, 7(3)84--93, 9(4)84--86
• VAX/Ada, 11(4)91--98
• VAXash, 8(2)84--95
• VAX/IVMS, 9(7)102--113
• VAX\TM, 7(3)84--93
• VAX/VMS, 8(2)84--95, 10(1)111--117
• Vazquez, Louis, 19(3)101--110
• Vazquez, Louis, see Hulse, Christine
• vector, 11(7)91--130, 11(7)131--139, 36(2)58--59
• vectorization, 40(2)92--95
• vehicle, 26(3)45--50, 29(3)11--12, 32(3)51--52, 36(2)22--26, 36(2)31--38, 40(1)79--84, 40(1)91--96, 42(1)90--94, 42(2)79--88, 42(2)109--113, 43(1)83--87
• Vehicular, 40(1)91--96
• Veloso, Isidro Irala, 19(3)113--123
• Veloso, Isidro Irala, see Martín, Juan Carlos Díaz
• vendor, 10(3)98--100, 10(3)146--210, 17(3)30--35, 17(5)27--32, 27(3)99--99, 29(3)21--22, 36(2)22--26, 40(2)48--50
• vendor-neutral, 27(3)99--99
• veneer, 10(9)85--93
• Venet, Arnaud, 28(1)92--95
• Venet:2008:PAF, 28(1)92--95
• Venue, 22(1)61--61, 22(1)62--63
• Verdix, 10(3)38--58
• verifiable, 30(1)86--90, 33(3)1--2, 33(3)3--4, 33(3)37--40
• verifiable, formally-, 32(3)103--104
• verification, program-, 32(3)9--10
• verification-oriented, 31(3)47--60
• verified, 27(3)51--58, 28(1)24--30, 29(3)85--86, 31(2)36--39, 31(2)40--43, 32(3)9--10, 33(3)15--18, 34(3)97--102, 36(2)60--68
• verified, formally-, 34(3)5--12, 34(3)47--60
• verified, machine-, 33(3)21--22
• verifier, 0(0)273--278, 32(3)9--10, 32(3)25--26, 33(3)51--64, 34(3)69--70
• verify, 11(7)244--273, 17(5)83--87, 19(2)78--83, 23(1)1--9, 23(1)40--43, 29(3)85--86, 32(3)3--4, 32(3)9--10, 32(3)35--42, 33(3)9--10, 33(3)15--18, 33(3)41--42, 33(3)87--88, 36(2)9--17, 36(2)39--46, 36(2)60--68, 42(2)62--68, 42(2)79--88
• verifying, 0(0)113--122, 7(6)107--109, 21(1)48--55, 23(4)74--81, 24(1)17--24, 25(4)49--56, 33(3)9--10, 34(3)81--86, 36(2)27--30
• Verilog, 29(3)105--114
• Verschelde, Jan, 40(2)59--64, 42(1)76--78
• Verschelde:2021:PSO, 40(2)59--64
• Verschelde:2022:EAS, 42(1)76--78
• version, 0(0)16--23, 7(2)28--57, 9(1)84--132, 9(5)60--82, 10(3)126--136, 10(7)55--62, 11(3)29--31, 11(3)29--z, 12(2)91--96, 12(3)117--125, 13(6)66--158, 14(z)26--35, 17(1)41--53, 17(5)88--92, 19(1)97--107, 19(3)53--65, 27(2)61--66, 27(3)1--1, 27(3)97--98, 29(3)31--44, 30(1)116--124, 31(3)5--6, 32(3)9--10, 32(3)97--102, 33(2)59--65, 33(3)37--40, 33(3)43--46, 34(3)3--4, 35(1)74--79, 35(1)93--94, 37(2)9--12, 40(2)48--50, 40(2)55--58, 42(1)46--49, 42(1)65--67
• versus, 10(3)139--145, 19(2)73--77, 23(4)13--15, 28(1)24--30, 33(3)87--88, 40(2)76--91
• vertex, 37(1)9--25
• Verün, Ufuk, 12(6)75--80
• Verun:1992:CAM, 12(6)75--80
• very, 27(3)4--4, 27(3)8--8, 27(3)59--62, 27(3)69--70, 27(3)75--78, 29(2)15--19, 29(2)43--45, 29(2)56--60, 29(3)17--18, 29(3)61--72, 32(3)3--4, 32(3)5--6, 33(3)13--14, 33(3)37--40, 33(3)87--88, 36(2)31--38, 36(2)49--53, 36(2)58--59, 37(1)9--25, 37(2)9--12, 37(2)40--42, 40(1)60--63, 41(1)78--82
• Vestal, Steve, 9(2)90--101, 10(8)145--155, 10(9)145--155, 17(5)93--99
• Vestal:1989:MCP, 9(2)90--101
• Vestal:1990:LBa, 10(8)145--155
• Vestal:1990:LBb, 10(9)145--155
• Vestal:1997:RMD, 17(5)93--99
• Vetronics, 21(4)115--116
• VHDL, 17(4)17--30, 18(6)18--27, 27(3)27--40, 33(1)157--168
• viability, 13(2)65--77
• viable, 26(3)77--80, 27(3)99--99
• Vice-Chair, 16(1)16--z
• victims, 43(1)83--87
• video, 13(6)27--z, 17(3)3--16
• videotex, 11(1)92--95
• Vienna, 37(2)59--67
• view, 0(0)128--137, 0(0)141--155, 8(2)107--109, 10(6)68--83, 12(2)97--101, 16(5)35--47, 19(3)39--46, 28(1)41--44, 29(3)127--132, 31(3)35--36, 33(2)49--58, 37(2)51--58
• view, field-of-, 29(3)121--126
• viewed, 27(3)83--88
• Viewing, 5(2)241--254
• Vila, J., 19(3)145--155
• Vila, J., see Ballbastre, P.
• Villaescusa, David García, 41(2)66--70
• Villaescusa:2021:QPM, 41(2)66--70
• violated, 29(2)53--55, 32(3)3--4
• violating, 29(2)65--67, 31(3)7--8
• violation, 13(4)44--48
• VIP, 33(3)43--46
• viral, 31(3)35--36
• Virginia, 0(0)vii--274
• virtual, 0(0)149--164, 0(0)223--234, 0(0)238--250, 9(4)84--86, 10(4)66--77, 10(4)78--84, 10(4)85--96, 10(4)z--z, 11(9)116--127, 12(1)73--84, 12(2)97--101, 13(4)44--48, 17(3)17--29, 20(4)3--28, 26(3)9--14, 29(3)3--4, 29(3)19--20, 31(3)11--12, 33(1)128--133, 33(3)43--46, 34(3)17--18, 36(2)31--38, 41(2)71--76
• Virtual-machine, 33(1)128--133
• virtualization, 33(1)128--133
• virtue, 40(2)48--50
• visibility, 4(3)37--43, 7(2)102--117, 11(2)56--59, 17(6)78--90, 23(1)44--44, 27(3)3--3, 30(1)125--134
• visible, 9(6)97--103, 9(7)114--128
• vision, 0(0)24--39, 27(2)37--40, 27(3)69--70
• visit, 31(2)52--55
• visitor, 22(3)42--47, 26(3)3--8, 36(1)39--50
• visual, 11(3)91--101, 11(5)30--46, 15(4)19--21, 15(4)36--45, 17(6)19--31, 18(6)142--147, 23(1)30--34, 26(3)15--20, 33(3)7--8
• visualization, 0(0)135--140, 4(5)49--58, 14(z)3--15, 19(2)60--66, 32(3)3--4
• visualizing, 29(3)61--72
• Viswanathan, Arjun, 42(2)40--44
• Viswanathan, Arjun, see Larraz, Daniel
• vital, 23(1)1--9, 27(3)69--70
• Vladavsky, Luba, 13(3)39--41, 14(2)54--57
• Vladavsky:1993:AAS, 13(3)39--41
• Vladavsky:1994:AAS, 14(2)54--57
• Vlierberghe, Stef, Van, 14(4)43--57
• VLSI, 33(3)85--86
• VM, 17(3)17--29
• VM-based, 40(2)65--69
• VME, 9(7)102--113
• VME-bus, 23(1)11--11
• VMS, 7(4)88--97, 8(2)84--95, 10(1)111--117
• VNs, 10(4)78--84
• vocabulary, 29(3)5--6
• Voelp, Marcus, 43(1)83--87
• Voelp, Marcus, see Lucchetti, Federico
• Voelter, Markus, 34(3)13--16
• Voelter, Markus, see Szabó, Tamás
• Vogel, D. R., 10(9)118--125
• Vogel, D. R., see Locke, C. D.
• Vogel, David R., 7(6)51--53, 13(2)91--96
• Vogel, David R., see Locke, C. Douglass
• voice-only, 32(3)71--72
• Void, 7(6)70--72
• Voketaitis, Jr., Arnold M., 12(5)64--76
• Voketaitis:1992:PRR, 12(5)64--76
• volatile, non-, 12(5)64--76
• volume, 18(0)xii--293
• Volumes, 12(3)92--98
• Volz, R., 13(2)78--90, 14(2)80--92
• Volz, R., see Goldsack, S. J.
• Volz, R. A., 0(0)231--246, 8(7)104--107, 10(9)111--117
• Volz, R. A., see Gargaro, A. B., see Gargaro, A., \see{Krishnam, P., see Krishnan, P.
• Volz, Richard, 17(5)8--10
• Volz, Richard, see Gargaro, Anthony
• Volz, Richard A., 5(2)72--84, 7(6)70--72, 10(4)85--96, 13(2)37--43, 17(5)51--56, 19(2)90--95
• Volz, Richard A., see Antonelli, Charles J., see Gargaro, Anthony, \see{Smith, Gary W.
• Volz:1985:SPD, 5(2)72--84
• Volz:1987:DAE, 7(6)70--72
• Volz:1990:VNU, 10(4)85--96
• vonHenke:1985:SSA, 5(2)185--196
• vs, 2(2)46--48, 11(9)96--99, 15(6)67--69, 17(2)63--66, 17(4)88--112, 19(3)39--46, 19(4)37--43, 28(1)41--44, 33(3)1--2, 41(2)81--85
• VSTTE, 32(3)9--10
• vulnerability, 28(1)76--82, 30(1)26--32, 30(2)27--52, 30(2)53--66, 31(3)39--46, 33(1)101--115, 36(1)77--82, 36(1)103--106, 38(2)9--42, 38(2)43--57, 38(2)109--114, 43(1)94--99
• vulnerable, 13(3)91--95, 32(3)51--52