Last update: Sun Oct 15 02:35:30 MDT 2017
Return to index directory
V
-
v2, 978(0)79--z
-
Vaandrager, F., 962(0)190--z
-
Vaandrager:1995:VDS, 962(0)190--z
-
Vadetis, 1000(0)101--z
-
Vadis, 1012(0)334--z
-
Vaillant, R., 970(0)262--269
-
Vaillant, R., see Najman, L.
-
Vakali, A., 978(0)594--z
-
Vakali, A., see Manolopoulos, Y.
-
Valderruten Vidal, A., 989(0)76--z
-
ValderrutenVidal:1995:ISR, 989(0)76--z
-
Valente, R., 991(0)210--z
-
Valente, R., see Passos, E.
-
Valentine, S. H., 967(0)183--z
-
Valentine:1995:ERS, 967(0)183--z
-
Validated, 981(0)245--z
-
Validating, Self-, 975(0)321--z
-
Validation, 966(0)167--z, 1000(0)78--z
-
Valkovsky, V. B., 1015(0)166--z
-
Valkovsky:1995:PRG, 1015(0)166--z
-
Valley, Ridge-, 970(0)661--667
-
Valleys, 970(0)270--277
-
Valpiani, A., 992(0)217--z
-
Valpiani, A., see Carassa, A.
-
Valuation, 1020(0)142--z
-
value, 958(0)48--z, 970(0)326--333, 1020(0)121--z
-
Value, Boundary-, 964(0)427--z
-
Value-Passing, 1026(0)294--z
-
Valued, Set-, 999(0)311--z
-
Van Beek, P., 976(0)240--257
-
Van Beek, P., see Dechter, R.
-
Van Caneghem, M., 976(0)481--498
-
Van Caneghem, M., see Guerinik, N.
-
Van de Riet, R., 1021(0)146--z
-
Van de Riet, R., see Burg, J.
-
Van de Wouwer, G., 970(0)538--543
-
Van de Wouwer, G., see Livens, S.
-
Van den Berg, H., 954(0)338--z
-
Van den Berghe, T., 1012(0)437--z
-
Van den Berghe, T., see Pirotte, A.
-
Van Den Bussche, J., 1013(0)213--z
-
Van Den Bussche, J., see Abiteboul, S.
-
Van der Goot, R., 969(0)509--z
-
Van der Hoek, A., 1005(0)305--309
-
Van der Hoek, W., 981(0)185--z, 992(0)402--z
-
Van der Hoek, W., see Van Linder, B.
-
Van der Meyden, R., 959(0)81--z
-
Van der Meyden, R., see Chan, E. P. F.
-
Van Dyck, D., 970(0)538--543
-
Van Dyck, D., see Livens, S.
-
Van Es, B., 1022(0)269--z
-
Van Es, B., see Hartel, P. H.
-
Van Espen, P. J. M., 974(0)483--z
-
Van Espen, P. J. M., see Kindratenko, V. V.
-
Van Gemund, A. J. C., 977(0)299--z
-
Van Gool, L., 970(0)1--8, 970(0)25--32, 970(0)894--899
-
Van Gool, L., see Pajdla, T.,
see Ungureanu, D.
-
Van Hentenryck, P., 976(0)564--587, 983(0)330--z
-
Van Hentenryck, P., see Ramachandran, V.
-
Van Hung, D., 1023(0)365--z
-
Van Hung, D., see Chan, P.
-
Van Laer, W., 997(0)80--z
-
Van Laer, W., see De Raedt, L.
-
Van Leeuwen, J., 969(0)37--z, 1017(0)181--z
-
Van Leeuwen, J., see Bodlaender, H. L.,
see Flammini, M.
-
Van Linder, B., 981(0)185--z, 992(0)402--z
-
Van Oorschot, P. C., 1025(0)1--z
-
Van Rijsbergen, C. J., 1000(0)549--z
-
Van Run, P., 976(0)258--275
-
Van Run, P., see Bacchus, F.
-
Van Santen, P., 1012(0)475--z
-
Van Santen, P., see Tambouris, E.
-
Van Tilborg, H. C. A., 1025(0)169--z
-
VandenBerg:1995:EGD, 954(0)338--z
-
VanderGoot:1995:SSP, 969(0)509--z
-
VanderHoek:1995:DCM, 1005(0)305--309
-
Vandewalle, J., 1008(0)275--z, 1025(0)132--z
-
Vandewalle, J., see Daemen, J., \see{Radu, C.
-
Vandromme, D., 964(0)453--z
-
Vandromme, D., see Kessy, E.
-
VanGemund:1995:CTP, 977(0)299--z
-
VanGool:1995:GGS, 970(0)1--8
-
VanHentenryck:1995:CSC, 976(0)564--587
-
Vanhoof, K., 1010(0)325--334
-
Vanhoof, K., see Surma, J.
-
VanLinder:1995:AMY, 981(0)185--z
-
VanLinder:1995:SBH, 992(0)402--z
-
VanOorschot:1995:DCS, 1025(0)1--z
-
VanRijsbergen:1995:IRI, 1000(0)549--z
-
VanTilborg:1995:ACA, 1025(0)169--z
-
Varaiya, P., 999(0)128--z, 999(0)359--z
-
Varaiya, P., see Deshpande, A., \see{Puri, A.
-
Vardi, M. Y., 962(0)408--z, 1000(0)471--z
-
Vardi, M. Y., see Kupferman, O.
-
Vardi:1995:AAP, 1000(0)471--z
-
Variability, 1005(0)216--240
-
variable, 968(0)262--z, 970(0)326--333, 976(0)1--17, 976(0)258--275,
977(0)41--z, 993(0)181--190, 999(0)61--z, 1018(0)294--z,
1018(0)354--z, 1021(0)226--z
-
Variable-Length, 975(0)429--z, 1025(0)282--z
-
Variance, 974(0)253--z
-
variation, 985(0)69--z
-
Various, 969(0)299--z
-
Varying, Time-, 1021(0)366--z
-
Vasko, J., 974(0)615--z
-
Vasko, J., see Choi, H.-K.
-
Vassila, A., 998(0)415--z
-
Vassila:1995:IAM, 998(0)415--z
-
Vaudenay, S., 1008(0)286--297
-
Vaudenay:1995:NMC, 1008(0)286--297
-
Vavak, F., 993(0)224--233
-
Vavak:1995:LBA, 993(0)224--233
-
Vazhenin, A., 964(0)294--z
-
Vazhenin:1995:PIS, 964(0)294--z
-
Vazirani, V. V., 959(0)650--z
-
Vazirani:1995:PDS, 959(0)650--z
-
VBR, 1018(0)258--z
-
VBR:, RED-, 1018(0)258--z
-
VC-Dimensions, 1017(0)1--z
-
Vckovski, A., 988(0)351--z
-
Vckovski, A., see Bucher, F.
-
VDM, 967(0)114--z
-
Veale, T., 984(0)75--86
-
Veale, T., see Cunningham, P.
-
vector, 974(0)411--z, 974(0)643--z, 1012(0)481--z, 1024(0)51--z,
1024(0)66--z
-
Vectorization, 964(0)241--z, 966(0)429--z
-
Vectorized, 974(0)347--z
-
Vedova, G., Della, 1017(0)303--z
-
Vedrine, F., 983(0)400--z
-
Vedrine:1995:BTA, 983(0)400--z
-
Vehicle, 978(0)632--z, 991(0)473--z
-
Vehicle, Single-, 959(0)617--z
-
Veillon, F., 970(0)705--710
-
Veillon:1995:JIT, 970(0)705--710
-
Veith, H., 969(0)66--z
-
Veith, H., see Gottlob, G.
-
Velauthapillai, M., 961(0)162--z, 997(0)201--z
-
Velauthapillai, M., see Gasarch, W. I.,
see Kalyanasundaram, B.
-
Velocity, 1024(0)51--z
-
Veloso, M., 990(0)165--z, 1010(0)169--180
-
Veloso, M., see Haigh, K. Z., \see{Teller, A.
-
Veloso, S. R. M., 991(0)112--z
-
Veloso, S. R. M., see Zaverucha, G.
-
Vemuri, B. C., 1024(0)347--z
-
Vemuri:1995:MAK, 1024(0)347--z
-
Venable, J., 1021(0)318--z
-
Venable:1995:ISE, 1021(0)318--z
-
Venetsanopoulos, A. N., 974(0)649--z
-
Venetsanopoulos, A. N., see Lin, H.
-
Vengroff, D. E., 979(0)295--z
-
Vengroff, D. E., see Arge, L.
-
Veni Madhavan, C. E., 959(0)203--z
-
Veni Madhavan, C. E., see Rengarajan, S.
-
Venkatesan, S. M., 1017(0)62--z
-
Venkatesan, S. M., see Djidjev, H. N.
-
Venkatesh, G., 1023(0)88--z, 1023(0)103--z
-
Venkatesh, G., see Gandhe, M.,
see Satpathy, M.
-
Vento, M., 974(0)68--z
-
Vento, M., see Cordella, L. P.
-
Ventre, G., 1018(0)16--z
-
Ventre, G., see Ferrari, D.
-
Verb, 991(0)300--z
-
Vercelli, G., 992(0)303--z
-
Vercelli, G., see Frixione, M.
-
Verheij, B., 990(0)213--z
-
Verheij:1995:ADA, 990(0)213--z
-
Verheul, J. C., 968(0)332--z
-
Verheul:1995:TTR, 968(0)332--z
-
Verifiable, 979(0)523--z
-
verification, 955(0)440--z, 962(0)190--z, 962(0)204--z, 971(0)186--z,
971(0)229--z, 971(0)261--z, 971(0)308--z, 974(0)521--z,
974(0)737--z, 987(0)21--z, 987(0)103--z, 987(0)206--224,
987(0)278--z, 998(0)275--z, 999(0)61--z, 999(0)359--z, 999(0)436--z,
1000(0)471--z, 1009(0)92--z, 1009(0)285--z, 1009(0)317--z,
1009(0)339--z, 1009(0)371--z, 1009(0)388--z, 1019(0)153--z,
1023(0)396--z, 1024(0)107--z, 1026(0)484--z
-
verification-oriented, 987(0)293--z
-
Verified, 982(0)63--80
-
Verifier, 963(0)325--z, 964(0)36--z, 1004(0)52--z
-
Verify, 989(0)59--z
-
verifying, 962(0)395--z, 966(0)287--z, 982(0)279--298, 987(0)35--z,
987(0)246--z, 999(0)405--z, 1026(0)96--z
-
Verilog, 975(0)198--z
-
Vermeer, M., 1021(0)89--z
-
Vermeer:1995:RER, 1021(0)89--z
-
Veron, P., 1025(0)264--z
-
Veron:1995:CHI, 1025(0)264--z
-
Versatile, 1021(0)77--z
-
Version, 989(0)191--z, 989(0)205--z, 991(0)49--z, 1005(0)61--79
-
Versioning, 1005(0)118--135
-
versus, 961(0)155--z, 964(0)320--z, 979(0)409--z, 980(0)1--z,
985(0)245--z, 988(0)193--z
-
vertex, 955(0)415--z, 1004(0)142--z, 1023(0)34--z, 1026(0)37--z
-
Vertex-Connectivity, 1004(0)274--z
-
Vertex-Connectivity, Four-, 1004(0)274--z
-
Vertex-Symmetric, 979(0)341--z
-
Very, 970(0)440--447, 971(0)340--z, 1025(0)100--z
-
Vesselovski, G., 964(0)117--z
-
Vesselovski:1995:MAC, 964(0)117--z
-
Vessels, 1024(0)355--z
-
VHDL, 971(0)277--z, 975(0)208--z, 987(0)293--z, 987(0)311--z
-
VHDL'87, 987(0)328--z
-
VHDL-Based, 975(0)218--z
-
via, 955(0)26--z, 955(0)251--z, 955(0)461--z, 970(0)17--24,
970(0)114--121, 970(0)600--605, 970(0)625--630, 970(0)880--887,
1021(0)226--z
-
Viable, 999(0)128--z
-
Viala, M., 964(0)273--z
-
Viala, M., see Pic, M. M.
-
vibration, 994(0)263--276
-
Vidal, A., Valderruten, 989(0)76--z
-
Vidal, V., 1021(0)101--z
-
Vidal:1995:RAS, 1021(0)101--z
-
Video, 970(0)440--447, 974(0)179--z, 975(0)429--z, 979(0)538--z,
1018(0)89--z, 1018(0)101--z, 1018(0)130--z, 1018(0)166--z,
1018(0)170--z, 1018(0)258--z, 1018(0)342--z, 1024(0)1--z,
1024(0)491--z, 1024(0)493--z
-
Video-on-Demand, 1018(0)251--z, 1018(0)294--z, 1018(0)330--z
-
Viehstaedt, Gerhard, 1015(0)17--25
-
Viehstaedt:1995:GED, 1015(0)17--25
-
Vienna, 964(0)142--z
-
Viennot, L., 1017(0)372--z
-
Viennot, L., see Gustedt, J.
-
Vieville, T., 974(0)307--z
-
Vieville, T., see Enciso, R.
-
VIEW, 978(0)114--z, 978(0)554--z
-
View, 955(0)13--z, 967(0)434--z, 969(0)563--z, 970(0)138--145,
970(0)154--161, 970(0)778--783, 974(0)307--z, 978(0)38--z,
978(0)91--z, 978(0)247--z, 989(0)324--z, 1006(0)258--z,
1012(0)31--z, 1013(0)503--z, 1013(0)539--z, 1018(0)41--z,
1021(0)158--z, 1021(0)181--z, 1021(0)447--z, 1024(0)241--z
-
View-Synchronous, 972(0)72--z
-
Vieweg, S., 973(0)96--z, 973(0)136--z
-
Vieweg, S., see Kappel, G.,
see Rausch-Schott, K. G.
-
Viewpoint, 967(0)449--z, 978(0)334--z, 989(0)1--z
-
Vignes, G., 1021(0)158--z
-
Vignes, G., see Srinivasan Hands, P.
-
Vilares Ferro, M., 989(0)76--z
-
Vilares Ferro, M., see Valderruten Vidal, A.
-
Villard, G., 980(0)1--z
-
Villard, G., see Gautier, T.
-
Villavicencio, A., 991(0)300--z, 991(0)321--z
-
Villavicencio, A., see McFetridge, P.
-
Villavicencio, F., 991(0)321--z
-
Villavicencio, F., see Villavicencio, A.
-
Villavicencio:1995:PST, 991(0)321--z
-
Vin, H. M., 1018(0)273--z
-
Vin, H. M., see Goyal, P.
-
Vinay, V., 1004(0)52--z
-
Vinay, V., see Lokam, S. V.
-
Vinck, B., 977(0)41--z
-
Vinck:1995:QAD, 977(0)41--z
-
Vingerhoeds, R. A., 1010(0)67--76
-
Vingerhoeds, R. A., see Netten, B. D.
-
Vinitski, S., 974(0)265--z
-
Vinitski:1995:TSM, 974(0)265--z
-
Vink, E., De, 962(0)363--z
-
Violard, E., 966(0)131--z
-
Violard, E., see Genaud, S.
-
Virding, R., 986(0)313--z, 986(0)343--z
-
Virding, R., see Armstrong, J.
-
Virding:1995:GCC, 986(0)343--z
-
Virtual, 971(0)138--z, 988(0)69--z
-
Visibility, 959(0)51--z, 988(0)279--z
-
Visible, 1004(0)22--z
-
vision, 964(0)356--z, 966(0)501--z, 970(0)912--919, 970(0)920--925,
974(0)375--z, 974(0)748--z, 975(0)68--z, 980(0)301--z, 981(0)257--z,
992(0)279--z, 994(0)19--50, 994(0)51--64, 994(0)65--76,
994(0)77--88, 994(0)89--100, 994(0)101--108, 994(0)109--124,
994(0)125--138, 994(0)139--154, 994(0)155--166, 994(0)167--176,
994(0)177--190, 994(0)191--206, 994(0)207--216, 994(0)217--232,
994(0)233--248, 994(0)249--262, 994(0)263--276, 994(0)277--296,
994(0)297--312, 994(0)313--326, 994(0)327--346, 994(0)347--359,
1000(0)505--z, 1016-0-xii, 1024(0)1--z, 1024(0)25--z, 1024(0)33--z,
1025(0)213--z
-
Vision-Based, 970(0)717--722, 974(0)313--z
-
Visited, 963(0)222--z
-
Visits, 978(0)564--z
-
Viskari, J., 1005(0)138--144
-
Viskari:1995:RAC, 1005(0)138--144
-
VISPAT, 964(0)180--z
-
Visser, W., 1010(0)335--346
-
Visser:1995:RKE, 1010(0)335--346
-
Vista, D., 985(0)245--z
-
Vista, D., see Consens, M. P.
-
visual, 970(0)326--333, 970(0)802--807, 970(0)832--837, 970(0)894--899,
974(0)153--z, 974(0)301--z, 974(0)629--z, 976(0)499--514,
978(0)103--z, 982(0)24--25, 985(0)182--z, 988(0)223--z,
991(0)191--z, 1016-0-xii, 1024(0)25--z, 1024(0)489--z,
1024(0)518--z
-
Visualization, 964(0)180--z, 967(0)510--z, 985(0)197--z, 989(0)28--z,
1024(0)51--z, 1024(0)355--z
-
Visualizing, 1017(0)116--z
-
VITAL, 985(0)182--z
-
Vitanyi, P., 955(0)315--z, 969(0)106--z, 1000(0)518--z
-
Vitanyi, P., see Li, M.
-
Vitanyi:1995:AAP, 955(0)315--z
-
Vitanyi:1995:PNC, 969(0)106--z
-
Vitoria, A., 990(0)69--z
-
Vitoria:1995:RPC, 990(0)69--z
-
Vitter, J., Scott, 955(0)194--z
-
Vitter, J. S., 979(0)295--z
-
Vitter, J. S., see Arge, L.
-
Vitulano, S., 974(0)429--z, 1024(0)520--z
-
Vitulano:1995:BIS, 974(0)429--z
-
Vitulano:1995:CAD, 1024(0)520--z
-
Vlassov, V., 964(0)288--293
-
Vlassov:1995:MEP, 964(0)288--293
-
Vlcek, T., 973(0)427--z, 978(0)642--z
-
Vlcek, T., see Campr, V., \see{Kouba, Z.
-
VLSI, 974(0)127--z
-
Vo, K.-P., 989(0)109--z
-
Vo, K.-P., see Chen, Y.-F.
-
Vocabulary, 1020(0)59--z
-
Vogel, J., 965(0)283--z
-
Vogel, J., see Jancar, P.
-
Vogel, P., 978(0)68--z
-
Vogel, P., see Boehm, C.
-
Vogler, W., 962(0)299--z, 962(0)313--z
-
Vogler, W., see Brinksma, E.
-
Vogler:1995:FAS, 962(0)299--z
-
Vojtas, P., 1012(0)487--z
-
Vojtas:1995:LPR, 1012(0)487--z
-
Vojtek, V., 967(0)510--z
-
Vojtek, V., see Mikusiak, L.
-
Volden, E., 970(0)206--213
-
Volden:1995:IRC, 970(0)206--213
-
Volkov, V. A., 958(0)30--z
-
Volkov, V. A., see Kapitonova, Y. V.
-
Vollmer, J., 1019(0)264--z
-
Vollmer, J., see Knoop, J.
-
Volume, 1024(0)223--z
-
Von Henke, F., 1009(0)239--z
-
Von Wright, J., 971(0)245--z
-
Von Wright, J., see Laangbacka, T.
-
Von zur Gathen, J., 1004(0)208--z
-
Vonder Muehll, H., 964(0)186--z
-
Vonder Muehll, H., see Huesler, R.
-
VonHenke:1995:CDM, 1009(0)239--z
-
VonzurGathen:1995:OGP, 1004(0)208--z
-
VOODOO, 1005(0)61--79
-
Voracek, J., 970(0)631--636
-
Voracek:1995:TNC, 970(0)631--636
-
Voronoi, 955(0)109--z, 965(0)333--z, 979(0)238--z, 979(0)280--z
-
Voss, A., 984(0)136--150
-
Voss, A., see Schaaf, J. W.
-
Voss, K., 970(0)9--16, 970(0)464--471, 970(0)562--567
-
Voss, K., see Neubauer, R., \see{Suesse, H.
-
Voss:1995:MBI, 970(0)562--567
-
Vossen, G., 978(0)574--z, 1000(0)560--z, 1013(0)429--z
-
Vossen, G., see Bauzer-Medeiros, C.,
see Fahrner, C.
-
Vossen:1995:DTM, 1000(0)560--z
-
Votta, L. G., 989(0)44--z
-
Votta:1995:DPI, 989(0)44--z
-
VPN, 998(0)185--z, 998(0)249--z
-
Vranesic, Z. G., 966(0)567--z
-
Vranesic, Z. G., see Jaseemuddin, M.
-
Vrt'o, I., 1017(0)252--z
-
Vrt'o, I., see Rolim, J.
-
vs., 955(0)346--z, 962(0)264--z, 963(0)325--z, 974(0)115--z,
988(0)431--z, 990(0)237--z, 994(0)277--296, 1020(0)42--z
-
Vu, D. T., 964(0)326--z
-
Vu, D. T., see Goossens, B.
-
Vullinghs, T., 982(0)341--356
-
Vullinghs:1995:LGF, 982(0)341--356
-
Vulnerability, 1017(0)197--z
-
VuSystem, 1018(0)76--z