Last update: Sun Jun 12 03:08:01 2016
Return to index directory
V
-
Vaidyanathan, R., 1586(0)616--z, 1586(0)924--z
-
Vaidyanathan, R., see Feldman, M.,
see Fernandez-Zepeda, J. A.
-
Vajtersic, Marian, 1557(0)48--57
-
Vajtersic, Marian, see Becka, Martin
-
Val, T., 1552(0)358--367
-
Val, T., see Soutou, C.
-
Valbum, 1554(0)17--29
-
Valero, M., 1573(0)439--451, 1573(0)548--560
-
Valero, M., see Quintana, F., \see{Villa, L.
-
Valid, 1574(0)263--267
-
Validation, 1552(0)181--192, 1597(0)315--327
-
Vally, Jean-Dany, 1599(0)33--46
-
Vally:1999:CRC, 1599(0)33--46
-
value, 1573(0)452--465, 1574(0)274--278, 1574(0)370--374,
1574(0)499--503
-
Value, Call-by-, 1581(0)162--176
-
Value:, Call-by-Push-, 1581(0)228--242
-
Value-Passing, 1548(0)214--230, 1579(0)300--314
-
Valued, Many-, 1584(0)415--429
-
Van Albada, G. D., 1593(0)300--z
-
Van Baalen, Jeffrey, 1559(0)61--80
-
Van den Brand, M., 1575(0)198--213
-
Van den Bussche, Jan, 1540(0)58--69, 1540(0)187--198
-
Van den Bussche, Jan, see Kuijpers, Bart,
see Neven, Frank
-
Van Der Hoek, W., 1555(0)29--z, 1555(0)381--z
-
Van Der Hoek, W., see Hindriks, K.,
see Van Eijk, R.
-
Van der Pas, R., 1573(0)534--547
-
Van der Pas, R., see Van der Steen, A. J.
-
Van der Ploeg, A., 1573(0)58--70
-
Van der Ploeg, A., see Nool, M.
-
Van der Steen, A. J., 1573(0)534--547
-
Van Deursen, A., 1577(0)1--21
-
Van Eijk, R., 1555(0)29--z
-
Van Gemund, A. J. C., 1593(0)23--z
-
Van Gemund, A. J. C., see Reijns, G. L.
-
Van Glabbeek, R., 1548(0)278--292
-
Van Oosterom, P., 1580(0)177--z
-
Van Oosterom, P., see Uitermark, H.
-
Van Sterkenburg, R. P., 1593(0)50--z
-
VanAlbada:1999:DBO, 1593(0)300--z
-
VanBaalen:1999:UDP, 1559(0)61--80
-
Vanden Berghe, Greet, 1585(0)187--194
-
Vanden Berghe, Greet, see Burke, Edmund
-
VandenBrand:1999:CMM, 1575(0)198--213
-
Vandenwauver, Mark, 1587(0)213--227
-
Vandenwauver, Mark, see Ashley, Paul
-
Vandermeulen, Filip, 1597(0)223--238
-
Vandermeulen:1999:ADM, 1597(0)223--238
-
VanderSteen:1999:PAS, 1573(0)534--547
-
Vanderveken, D., 1555(0)363--z
-
Vanderveken, D., see Chaib-Draa, B.
-
VanDeursen:1999:RIR, 1577(0)1--21
-
VanEijk:1999:IPB, 1555(0)29--z
-
Vanek, P., 1593(0)1001--z
-
Vanek, P., see Chan, T. F.
-
VanGlabbeek:1999:SA, 1548(0)278--292
-
Vanhoof, Wim, 1559(0)325--327
-
Vanhoof:1999:BSL, 1559(0)325--327
-
VanSterkenburg:1999:SMT, 1593(0)50--z
-
Vapnik--Chervonenkis, 1572(0)230--240
-
Varadarajan, K., 1586(0)483--z
-
Varadarajan, K., see Kale, L.
-
Varadharajan, Vijay, 1587(0)117--128, 1587(0)270--280, 1587(0)281--293,
1599(0)174--186
-
Varadharajan, Vijay, see Bai, Yun,
see Nguyen, Khanh Quoc,
see Saunders, Gregory, \see{Wang, Hongxue
-
Vardi, Moshe Y., 1563(0)455--466
-
Vardi, Moshe Y., see Kupferman, Orna
-
Varela, C., 1594(0)166--182
-
Varela:1999:HMC, 1594(0)166--182
-
Vargas-Vera, M., 1566(0)62--78
-
Vargas-Vera, M., see Baldwin, J. F.
-
variable, 1548(0)471--485, 1572(0)91--100
-
Variable, Shared-, 1548(0)231--247
-
Variable-Depth, 1558(0)300--317
-
Various, 1585(0)34--41
-
Varley, D. B., 1585(0)66--73
-
Varley, D. B., see Burke, E. K.
-
Vasconcelos, Wamberto Weber, 1551(0)259--274
-
Vasconcelos:1999:FFD, 1551(0)259--274
-
Vaseekar, E., 1585(0)462--469
-
Vaseekar, E., see Lai, L. L.
-
Vasile, Domenico, 1551(0)16--30
-
Vasile, Domenico, see Cadoli, Marco
-
Vasques, F., 1586(0)339--z
-
Vasques, F., see Tovar, E.
-
Vassallo, R., 1542(0)21--36
-
Vassallo, R., see Santos-Victor, J.
-
Vast, 1574(0)238--246
-
Vatan, Farrokh, 1509(0)325--336
-
Vatan, Farrokh, see Roychowdhury, Vwani P.
-
Vaudenay, S., 1556(0)1--z, 1556(0)72--z
-
Vaudenay, S., see M'Raihi, D.
-
Vaudenay, Serge, 1592(0)255--z
-
Vaudenay:1999:FCD, 1556(0)1--z
-
Vaudenay:1999:RAG, 1592(0)255--z
-
Vayatis, Nicolas, 1572(0)230--240
-
Vayatis:1999:DDV, 1572(0)230--240
-
Vazquez, C., 1573(0)652--665, 1593(0)1087--z
-
Vazquez, C., see Arenaz, M., \see{Aretzaz, M.
-
Veale, Tony, 1562(0)37--51
-
Veale:1999:PFM, 1562(0)37--51
-
VECPAR, 1573(0)4--19, 1573(0)20--28, 1573(0)29--42, 1573(0)43--57,
1573(0)58--70, 1573(0)71--84, 1573(0)85--99, 1573(0)100--113,
1573(0)114--127, 1573(0)128--141, 1573(0)142--155, 1573(0)156--170,
1573(0)176--202, 1573(0)203--214, 1573(0)215--226, 1573(0)227--237,
1573(0)238--249, 1573(0)250--262, 1573(0)263--270, 1573(0)271--284,
1573(0)285--300, 1573(0)301--330, 1573(0)355--364, 1573(0)365--377,
1573(0)378--395, 1573(0)396--410, 1573(0)411--424, 1573(0)425--438,
1573(0)439--451, 1573(0)452--465, 1573(0)466--479, 1573(0)480--493,
1573(0)494--507, 1573(0)508--521, 1573(0)522--533, 1573(0)534--547,
1573(0)548--560, 1573(0)563--578, 1573(0)579--592, 1573(0)593--622,
1573(0)627--639, 1573(0)640--651, 1573(0)652--665, 1573(0)666--679,
1573(0)680--690, 1573(0)691--703
-
vector, 1563(0)323--333, 1568(0)447--458, 1572(0)285--300, 1573(0)4--19,
1573(0)20--28, 1573(0)29--42, 1573(0)43--57, 1573(0)58--70,
1573(0)71--84, 1573(0)85--99, 1573(0)100--113, 1573(0)114--127,
1573(0)128--141, 1573(0)142--155, 1573(0)156--170, 1573(0)176--202,
1573(0)203--214, 1573(0)215--226, 1573(0)227--237, 1573(0)238--249,
1573(0)250--262, 1573(0)263--270, 1573(0)271--284, 1573(0)285--300,
1573(0)301--330, 1573(0)355--364, 1573(0)365--377, 1573(0)378--395,
1573(0)396--410, 1573(0)411--424, 1573(0)425--438, 1573(0)439--451,
1573(0)452--465, 1573(0)466--479, 1573(0)480--493, 1573(0)494--507,
1573(0)508--521, 1573(0)522--533, 1573(0)534--547, 1573(0)548--560,
1573(0)563--578, 1573(0)579--592, 1573(0)593--622, 1573(0)627--639,
1573(0)640--651, 1573(0)652--665, 1573(0)666--679, 1573(0)680--690,
1573(0)691--703, 1586(0)978--z
-
Vector, Matrix-, 1593(0)201--z
-
vector, Uni-, 1585(0)154--161
-
vector-Conflicts, Inter-, 1573(0)425--438
-
Vehicle, 1542(0)37--50, 1542(0)216--230, 1567(0)324--340, 1586(0)183--z
-
Veith, H., 1584(0)399--414
-
Veith, H., see Baaz, M.
-
Velázquez, Rodolfo, Torres-, 1585(0)18--25
-
Vellasco, Marley, 1585(0)373--380
-
Vellasco, Marley, see Zebulum, Ricardo S.
-
Veloso, M., 1555(0)293--z
-
Veloso, M., see Stone, P.
-
Veltkamp, Remco, 1568(0)286--298
-
Veltkamp, Remco, see Hagedoorn, Michiel
-
Vemuri, R., 1586(0)588--z, 1586(0)606--z
-
Vemuri, R., see Kaul, M., \see{Srinivasan, V.
-
Vera, M., Vargas-, 1566(0)62--78
-
Vereshagin, Nikolai, 1563(0)153--162
-
Vereshagin, Nikolai, see Durand, Bruno
-
Verhoef, C., 1577(0)1--21, 1577(0)98--113
-
Verhoef, C., see Fokkink, W.,
see Van Deursen, A.
-
Verians, Xavier, 1557(0)246--256
-
Verians:1999:NPM, 1557(0)246--256
-
Verifiable, 1550(0)137--145, 1550(0)146--153, 1556(0)94--z,
1587(0)36--50
-
Verification, 1548(0)28--41, 1548(0)59--73, 1548(0)74--90,
1548(0)214--230, 1550(0)24--27, 1550(0)28--35, 1550(0)28--z,
1555(0)177--z, 1567(0)251--261, 1569(0)31--z, 1569(0)61--z,
1569(0)76--z, 1577(0)176--187, 1579(0)19--33, 1579(0)74--88,
1579(0)148--162, 1579(0)163--177, 1579(0)208--222, 1579(0)255--269,
1579(0)285--299, 1579(0)330--344, 1579(0)435--438, 1586(0)1258--z
-
Verifier, 1579(0)89--103
-
Verifying, 1586(0)1228--z, 1586(0)1243--z
-
Verma, R., 1584(0)385--398
-
Verma, R., see Narendran, P.
-
vernacular, 1582(0)231--z
-
Verroca, F., 1552(0)311--322
-
Verroca:1999:CCD, 1552(0)311--322
-
Versatile, 1573(0)680--690
-
Version, 1552(0)157--168, 1552(0)157--z, 1563(0)356--361,
1587(0)213--227
-
versus, 1563(0)100--109, 1563(0)270--280, 1586(0)950--z,
1589(0)293--309
-
vertex, 1563(0)561--570
-
Very, 1593(0)141--z
-
via, 1509(0)1--9, 1554(0)30--43, 1559(0)271--288, 1567(0)122--141,
1569(0)31--z, 1574(0)494--498, 1576(0)288--305, 1578(0)288--305,
1581(0)147--161, 1586(0)174--z, 1586(0)553--z, 1586(0)845--z,
1592(0)347--z, 1594(0)417--z
-
Vianna, D. S., 1586(0)183--z
-
Vianna:1999:PHE, 1586(0)183--z
-
Vicaire, J.-B., 1573(0)215--226
-
Vicaire:1999:PAS, 1573(0)215--226
-
Viccari, R., 1555(0)11--z
-
Viccari, R., see Mora, M.
-
Victor, J., Santos-, 1542(0)21--36
-
Vidal, A. M., 1573(0)29--42, 1573(0)43--57
-
Vidal, A. M., see Gimenez, D.,
see Hernandez, V.
-
Vidal, V., 1573(0)43--57
-
Vidal, V., see Hernandez, V.
-
Video, 1542(0)151--161, 1552(0)554--567, 1552(0)568--579, 1554(0)1--16,
1554(0)1--z, 1554(0)17--29, 1554(0)87--102, 1554(0)103--118,
1554(0)236--251, 1554(0)301--312, 1554(0)313--327, 1554(0)356--369,
1554(0)386--396, 1557(0)257--264, 1557(0)296--305, 1557(0)306--316,
1557(0)317--326, 1557(0)327--336, 1557(0)327--z, 1557(0)377--387,
1560(0)315--326, 1560(0)315--z, 1597(0)357--372
-
Video-Based, 1554(0)289--300
-
Videoplex, 1554(0)289--300
-
Vieux, W. E., 1542(0)151--161
-
Vieux:1999:FTC, 1542(0)151--161
-
View, 1540(0)417--434, 1548(0)325--340, 1552(0)169--180, 1566(0)1--8,
1578(0)56--72, 1583(0)41--z, 1583-0-i-xiv
-
View, Pay-per-, 1560(0)315--326, 1560(0)315--z
-
Viewing, 1554(0)17--29
-
views, 1500(0)95--z, 1540(0)39--57, 1540(0)83--99, 1540(0)435--452,
1540(0)453--470, 1552(0)446--453, 1554(0)344--355, 1565(0)44--55,
1572(0)1--10, 1582(0)92--z, 1590(0)98--z, 1590(0)136--z
-
Viho, César, 1579(0)315--329, see Kahlouche, Hakim
-
Vilares, Manuel, 1582(0)212--z
-
Vilares:1999:OMP, 1582(0)212--z
-
Villa, L., 1573(0)439--451
-
Villa:1999:RSI, 1573(0)439--451
-
Viñas, L. P., 1573(0)128--141,
see Garcia-Loureiro, A. J.
-
Vincze, M., 1542(0)135--150, 1542(0)331--347
-
Vincze, M., see Krautgartner, P.
-
Vincze:1999:IFR, 1542(0)135--150
-
Vinegar, 1592(0)206--z
-
Vingralek, R., 1590(0)1--z
-
Vingralek, R., see Shim, J.
-
Vinter, B., 1593(0)722--z
-
Vinter:1999:PDS, 1593(0)722--z
-
Virtual, 1523(0)271--z, 1554(0)59--74, 1554(0)177--193, 1554(0)301--312,
1554(0)422--432, 1554(0)445--450, 1557(0)541--548, 1573(0)508--521,
1575(0)259--273, 1593(0)702--z, 1593(0)797--z, 1593(0)817--z,
1593(0)909--z, 1593(0)964--z, 1593(0)1107--z, 1597(0)536--549
-
Viruses, 1587(0)202--212
-
vision, 1542(0)1--20, 1542(0)21--36, 1542(0)37--50, 1542(0)51--65,
1542(0)66--82, 1542(0)83--97, 1542(0)98--114, 1542(0)115--134,
1542(0)135--150, 1542(0)151--161, 1542(0)162--179, 1542(0)180--199,
1542(0)200--215, 1542(0)216--230, 1542(0)231--254, 1542(0)255--272,
1542(0)273--292, 1542(0)293--311, 1542(0)312--330, 1542(0)331--347,
1542(0)348--360, 1542(0)361--375, 1542(0)376--391, 1542(0)392--411,
1542(0)412--431, 1542(0)432--449, 1542(0)450--468, 1542(0)469--488,
1542(0)489--508, 1542(0)509--521, 1542(0)522--537, 1542(0)538--551,
1554(0)252--288, 1583-0-i-xiv
-
Vision-Aided, 1542(0)37--50
-
Visual, 1542(0)21--36, 1542(0)273--292, 1542(0)412--431,
1542(0)450--468, 1542(0)469--488, 1548(0)28--41, 1554(0)406--421,
1562(0)37--51
-
Visual-MCM, 1557(0)500--509
-
VisualExpresso, 1593(0)797--z
-
Visualisation, 1593(0)90--z
-
Visualise, 1593(0)973--z
-
Visualising, 1557(0)500--509
-
Visualization, 1552(0)68--80, 1554(0)252--288, 1593(0)360--z,
1593(0)807--z
-
Visualizing, 1574(0)390--399
-
Visually, 1574(0)380--389
-
Viswanathan, Kapali, 1587(0)36--50
-
Viswanathan:1999:PVK, 1587(0)36--50
-
Vitali, D., 1509(0)402--412
-
Vitali, F., 1594(0)259--274
-
Vitali, F., see Rossi, D.
-
Vitali:1999:DCO, 1509(0)402--412
-
Vitek, J., 1594(0)4--20
-
Vitek, J., see Bryce, C.
-
Vitobello, Francesco, 1557(0)586--587
-
Vitobello, Francesco, see Giordano, Maurizio
-
Vitro, 1593(0)973--z
-
Vittone, J., 1568(0)76--87
-
Vittone:1999:CFN, 1568(0)76--87
-
VIVRE, 1593(0)807--z
-
Vlad, G., 1593(0)241--z
-
Vlad, G., see Briguglio, S.
-
VLSI, 1557(0)257--264
-
VM:, SCI-, 1586(0)19--z
-
Voda, P. J., 1584(0)204--223
-
Voda, P. J., see Komara, J.
-
Vogels, A., 1580(0)177--z
-
Vogels, A., see Uitermark, H.
-
Voilaire, C., 1593(0)1025--z
-
Voilaire, C., see Jacques, T.
-
Voisin, F., 1586(0)1006--z
-
Voisin:1999:SCP, 1586(0)1006--z
-
Volatility, 1574(0)263--267
-
Voliotis, K., 1593(0)178--z
-
Voliotis, K., see Maniatis, T. A.
-
Volkert, J., 1557(0)490--499
-
Volkert, J., see Kranzlmueller, D.
-
Volkert, Jens, 1557(0)490--z
-
Volkert, Jens, see Kranzlmüller, Dieter
-
Vollebregt, E. A. H., 1593(0)1032--z
-
Vollebregt, E. A. H., see Roest, M. R. T.
-
Vollmer, Heribert, 1563(0)444--454
-
Vollmer, Heribert, see Lautemann, Clemens
-
Volpe, Fabio, 1557(0)398--407
-
Volpe, Fabio, see Janoth, Jürgen
-
Volumes, 1555(0)427--z
-
Volunteer, 1586(0)763--z
-
Von Oheimb, D., 1523(0)119--z
-
VonOheimb:1999:MCJ, 1523(0)119--z
-
Vorobyov, S., 1584(0)283--297
-
Vorobyov:1999:SFN, 1584(0)283--297
-
Voronkov, A., 1578(0)180--196
-
Voronkov, A., see Dantsin, E.
-
Voronoi, 1568(0)375--387
-
Voxel, 1568(0)349--360, 1568(0)425--434
-
vs., 1557(0)286--295
-
VSF, 1574(0)252--257
-
Vuik, C., 1593(0)1052--z
-
Vuik:1999:PIB, 1593(0)1052--z
-
Vuillemin, J., 1573(0)334--z
-
Vuillemin:1999:RSP, 1573(0)334--z