Last update: Thu May 27 02:00:25 MDT 2021
Return to index directory
L
-
L, 19(3)310--z
-
L.0, 19(4)410--423
-
Laamanen, P., 19(7)661--671
-
Laamanen, P., see Rask, R.
-
Labaw, B., 24(11)927--948
-
Labaw, B., see Heitmeyer, C.
-
Lachover, H., 16(4)403--414
-
Lachover, H., see Harel, D.
-
Ladd, D. A., 21(11)894--901
-
Ladd:1995:LIL, 21(11)894--901
-
Lagnier, F., 18(9)785--793
-
Lagnier, F., see Halbwachs, N.
-
Lakshmanan, K. B., 17(12)1289--1295
-
Lakshmanan:1991:PCF, 17(12)1289--1295
-
Lalanda, P., 21(4)288--301
-
Lalanda, P., see Hayes-Roth, B.
-
Lam, S. S., 16(7)755--775, 20(1)55--71
-
Lam:1990:RNS, 16(7)755--775
-
Lam:1994:TIM, 20(1)55--71
-
Lamb, D. A., 16(12)1352--1360, 20(8)631--643
-
Lamb, D. A., see Weide, B. W.
-
Lamb:1990:SI, 16(12)1352--1360
-
Lamport, L., 21(9)768--775
-
Lamport:1995:TP, 21(9)768--775
-
Lamsweerde, A. van, 24(11)908--926, 24(12)1089--1114
-
Landi, W., 16(2)129--140
-
Landi, W., see Ryder, B. G.
-
Landi, W. A., 20(5)385--403
-
Landi, W. A., see Pande, H. D.
-
Lang, S., 25(4)526--540
-
Lang, S., see Mayrhauser, A. von
-
Lang, S. D., 16(12)1433--1435, 25(3)428--432
-
Lang:1990:EEC, 16(12)1433--1435
-
Lang:1999:EBA, 25(3)428--432
-
language, 16(3)268--280, 16(5)523--536, 16(6)630--638, 16(6)639--646,
16(9)1044--1057, 16(10)1122--1135, 16(10)1136--1149,
16(10)1150--1163, 16(11)1258--1272, 17(1)1--9, 17(5)454--466,
17(6)527--543, 18(1)19--32, 18(3)190--205, 18(3)216--224,
18(9)785--793, 19(2)165--180, 19(4)410--423, 19(5)453--477,
19(8)826--834, 20(1)88--101, 20(3)218--219, 20(4)225--238,
20(8)606--616, 20(9)720--739, 20(10)798--811, 20(12)933--947,
21(9)717--734, 21(11)894--901, 22(4)256--266, 23(4)224--234,
24(5)315--330, 25(3)291--308, 25(3)317--333, 25(3)334--346,
25(3)347--362, 25(3)363--377, 25(3)378--386, 25(3)387--400
-
language-based, 19(9)935--940
-
language-processing, 21(11)894--901
-
Lanubile, F., 23(4)246--259, 25(4)456--473
-
Lanubile, F., see Basili, V. R.
-
Lanubile:1997:ERF, 23(4)246--259
-
Laprie, J. C., 16(2)166--182, 17(4)370--382, 18(2)130--147,
20(9)740--747
-
Laprie, J. C., see Arlat, J., \see{Kanoun, K.
-
Laprie:1991:KKA, 17(4)370--382
-
Laprie:1992:XWR, 18(2)130--147
-
Laranjeira, L. A., 16(5)510--522
-
Laranjeira:1990:SSE, 16(5)510--522, 23(4)260--261
-
Larch, 16(9)1044--1057, 16(9)1076--1088, 24(1)46--62
-
large, 16(2)141--152, 17(8)839--849, 20(4)318--323, 20(11)840--848,
21(5)405--414, 22(6)424--437, 23(6)329--346, 24(7)498--520,
24(7)534--558
-
large-scale, 22(11)812--826
-
large-system, 24(4)268--277
-
Larus, J. R., 25(3)317--333
-
Larus, J. R., see Chandra, S.
-
late, 17(6)582--590
-
latency, 16(2)212--216, 23(1)4--16
-
Lavazza, L., 21(5)440--454
-
Lavazza, L., see Bandinelli, S.
-
law, 18(5)434--447
-
layered, 18(9)768--784
-
layering, 21(3)200--208
-
layers, 18(6)451--469, 21(8)689--700
-
layout, 19(7)707--719
-
lazy, 18(7)631--645
-
LBC, 18(2)148--158
-
Le Metayer, D., 24(7)521--533
-
leader, 25(5)603--618
-
learned, 25(4)438--455
-
learning, 18(7)613--623, 21(2)126--137, 24(10)818--830
-
least, 21(8)682--688
-
Lecerof, A., 24(10)863--888
-
Lecerof:1998:ASU, 24(10)863--888
-
Lederer, A. L., 24(2)137--148
-
Lederer:1998:CMS, 24(2)137--148
-
Lee, A. H., 21(11)883--893
-
Lee, D. C., 22(5)329--338
-
Lee, D. C., see Kang, M. H.
-
Lee, I., 18(9)768--784
-
Lee, I., see Gerber, R.
-
Lee, Inhwan, 21(5)455--467
-
Lee, L. D., 17(7)692--702
-
Lee, L. D., see Eckhardt, D. E.
-
Lee, M. S., 25(5)619--632
-
Lee, M. S., see Kalbarczyk, Z.
-
Lee, Nam-Yong, 23(9)537--549
-
Lee, S., 17(6)527--543, 18(4)347--355
-
Lee, S., see Yu, P. S.
-
Lee, S. D., 20(5)337--344
-
Lee, S. D., see Offutt, A. J.
-
Lee, T., 16(2)111--120
-
Lee, T., see Browne, J. C.
-
Lee, Woo Jin, 24(12)1115--1130
-
Lee, Yong-Fong, 21(11)913--926
-
Lee:1991:ELM, 17(6)527--543
-
Lee:1995:RAP, 21(11)913--926
-
Lee:1995:RM, 21(11)883--893
-
Lee:1995:SDT, 21(5)455--467
-
Lee:1997:ESS, 23(9)537--549
-
Lee:1998:IAU, 24(12)1115--1130
-
Leeser, M., 21(10)822--833
-
Leeser, M., see Aagaard, M.
-
Lehoczky, J. P., 20(1)13--28
-
Lehoczky, J. P., see Harbour, M. G.
-
Leite, J. C. S. P., 17(12)1253--1269
-
Leite:1991:RVT, 17(12)1253--1269
-
Lejter, M., 18(12)1045--1052
-
Lejter:1992:SMO, 18(12)1045--1052
-
LeMetayer:1998:DSA, 24(7)521--533
-
length, 21(11)865--880
-
Leong, S., 16(6)639--646
-
Leong:1990:TPL, 16(6)639--646
-
lessons, 24(1)15--23, 25(4)438--455
-
Letier, E., 24(11)908--926
-
Letier, E., see Lamsweerde, A. van
-
Leung, K. K., 17(10)1076--1092
-
Leung, K. K., see Chu, W. W.
-
level, 18(11)969--978, 19(2)89--107, 20(5)385--403
-
level, design-, 24(2)111--124
-
level, high-, 17(2)160--172, 21(11)894--901, 25(5)722--743
-
level, state-, 22(9)603--614
-
level, subtransport-, 19(2)181--186
-
Levendel, Y., 16(2)141--152
-
Levendel:1990:RAL, 16(2)141--152
-
Leveson, N. G., 16(2)238--247, 16(4)432--443, 17(2)173--182,
17(3)241--258, 20(9)684--707, 22(6)363--377
-
Leveson, N. G., see Brilliant, S. S.,
see Heimdahl, M. P. E., \see{Jaffe, M. S.,
see Shimeall, T. J.
-
Leveson:1990:USC, 16(4)432--443
-
Leveson:1994:RSP, 20(9)684--707
-
Levine, D. L., 18(3)206--215, 19(2)198--199
-
Levine, D. L., see Taylor, R. N.,
see Young, M.
-
Levy, G., 17(7)678--691
-
Levy, G., see Litwin, W. A.
-
Levy, H., 21(8)682--688, 22(11)827--838
-
Levy:1995:EAB, 21(8)682--688
-
Levy:1996:CAP, 22(11)827--838
-
Lewi, J., 18(5)357--367
-
Lewi, J., see Steegmans, E.
-
lex, 21(11)894--901
-
Li, G., 14(11)1731--1738
-
Li, G., see Yang, C. C.
-
Li, Guo-Jie, 16(1)13--31
-
Li, Jianan, 20(2)115--126
-
Li:1990:CEP, 16(1)13--31
-
Li:1994:NSI, 20(2)115--126
-
Liao, Wen-Toh, 20(4)225--238
-
Liao, Wen-Toh, see Bagrodia, R. L.
-
Liao, Y., 18(11)969--978
-
Liao:1992:SAH, 18(11)969--978
-
library, 17(8)800--813, 17(9)853--871
-
Lichter, H., 20(11)825--832
-
Lichter:1994:PIS, 20(11)825--832
-
Lieberherr, K. J., 19(4)313--343, 24(1)79--92
-
Lieberherr, K. J., see Seiter, L. M.
-
Lieberherr:1993:OOS, 19(4)313--343
-
Liepins, G., 19(9)886--901
-
Liepins, G., see Helman, P.
-
life, 20(2)142--148
-
life-critical, 19(1)3--12
-
lightweight, 24(1)4--14, 24(11)949--959
-
Likas, A., 18(7)590--600
-
Likas, A., see Stafylopatis, A.
-
like, Ada95-, 23(3)171--184
-
like, Pascal-, 17(1)1--9
-
Lim, Sung-Soo, 21(7)593--604
-
Lim:1995:AWC, 21(7)593--604
-
limited, 20(1)1--12
-
Lin, F. J., 24(10)797--817
-
Lin, H. C., 18(2)148--158
-
Lin, Yow-Jian, 24(10)777--778
-
Lin:1992:DLB, 18(2)148--158
-
Lin:1998:MFIa, 24(10)777--778
-
Lin:1998:MFIb, 24(10)797--817
-
Lincoln, P., 23(11)684--721
-
Lincoln, P., see Walter, C. J.
-
Lindell, R., 22(5)283--293
-
Lindell, R., see Sibert, O.
-
Lindemann, C., 20(7)506--515
-
Lindemann, C., see Ciardo, G.
-
line, 18(11)957--968
-
line, on-, 20(12)900--913, 22(2)120--131, 23(11)684--721,
24(6)451--470
-
linear, 17(9)972--975, 17(12)1241--1252, 20(4)308--317, 20(6)424--431,
24(11)1014--1030
-
lingua, 18(3)225--236
-
Liotta, G., 21(8)662--673
-
Liotta, G., see Bertolazzi, P.
-
Lipton, 19(3)307--309
-
Lipton, R. J., 17(4)383--384
-
Lipton, R. J., see DeMillo, R. A.
-
Lisp, 23(4)203--213
-
LISPACK, 19(5)486--502
-
list, 25(1)141--144
-
Litecky, C. R., 23(9)537--549
-
Litecky, C. R., see Lee, Nam-Yong
-
Literate, 21(2)138--145
-
little, 21(11)894--901
-
Littlewood, B., 16(4)458--470, 23(11)673--683, 24(8)586--601,
25(2)286--286
-
Littlewood, B., see Brocklehurst, S.,
see Franki, P., \see{Frankl, P. G.
-
Littlewood:1997:SCS, 23(11)673--683
-
Litwin, W. A., 17(7)678--691
-
Litwin:1991:THC, 17(7)678--691
-
Liu, C. L., 19(12)1171--1179
-
Liu, C. L., see Shih, Wei Kuan
-
Liu, Hong, 24(10)797--817
-
Liu, Hong, see Lin, F. J.
-
Liu, J. W. S., 19(12)1171--1179, 23(2)93--106, 23(10)603--615
-
Liu, J. W. S., see Feng, Wu-Chun,
see Shih, Wei Kuan, \see{Sun, J.
-
Liu, L., 17(12)1241--1252
-
Liu, L., see Han, J.
-
Liu, L. Y., 16(4)373--388
-
Liu, S., 24(5)390--390
-
Liu, Shaoying, 24(1)24--45
-
Liu, Ying, 20(12)914--932
-
Liu, Zhen, 24(11)1014--1030
-
Liu:1990:SAR, 16(4)373--388
-
Liu:1994:DAD, 20(12)914--932
-
Liu:1998:CSF, 24(1)24--45, 24(5)390--390
-
Liu:1998:PAS, 24(11)1014--1030
-
Liu:1998:SFE, 24(1)24--45, 24(5)390--390
-
liveness, 19(5)478--485
-
LL1, 19(9)935--940
-
load, 17(4)357--369, 17(7)678--691, 17(7)725--730, 17(9)922--933,
17(10)987--1004, 21(5)468--475, 21(9)705--716, 25(1)122--135
-
load-balancing, 18(2)148--158
-
local, 24(8)664--677, 25(5)603--618
-
locality, 18(10)899--914
-
location, 20(6)432--444
-
location-based, 21(1)1--18
-
locking, 16(4)477--483, 16(7)684--698, 17(5)386--402, 17(7)712--724,
19(10)982--996
-
logarithmic--Poisson, 20(9)677--683
-
logging, 24(2)149--159
-
logic, 16(9)993--1004, 18(3)225--236, 19(4)410--423, 19(9)856--862,
21(12)959--968, 23(4)203--213, 24(3)216--231
-
logic-based, 17(10)1109--1125, 18(12)1053--1064, 19(2)198--199,
19(6)640--z
-
logic-synthesis, 21(10)822--833
-
logical, 20(2)127--141, 23(10)646--658
-
Logres, 18(6)534--546
-
Loi, M., 21(5)440--454
-
Loi, M., see Bandinelli, S.
-
Longley, M., 16(9)949--964
-
Longley, M., see Hanna, F. K.
-
look, 16(9)1089--1103
-
loop, 16(4)389--402, 16(4)471--z, 16(4)472--z, 21(6)497--505,
22(5)339--360, z(10)1018--1024
-
Lopez-Benitez, N., 20(5)345--352
-
Lopez-Benitez:1994:DMA, 20(5)345--352
-
Lor, K. W. E., 17(12)1229--1240
-
Lor:1991:ASS, 17(12)1229--1240
-
Lortz, V. B., 21(10)834--844
-
Lortz:1995:SQP, 21(10)834--844
-
lot, 18(7)631--645
-
LOTOS, 16(12)1337--1343, 20(1)29--42
-
Low, G. C., 16(1)64--71, 19(5)529--532
-
Low, G. C., see Jeffery, D. R.
-
Low:1990:FPE, 16(1)64--71
-
Lowe, G., 23(10)659--669
-
Lowe:1997:UCD, 23(10)659--669
-
Lower, 16(12)1390--1401
-
LRU, 19(7)641--660
-
Lu, Peng, 21(5)405--414
-
Lu, Peng, see Tian, J.
-
Lu, W. P., 16(6)647--659
-
Lu:1990:MMS, 16(6)647--659
-
Lucena, C. J. P., 21(3)229--243
-
Lucena, C. J. P., see Cowan, D. D.
-
Lucia, A., De, 23(12)777--799, 24(9)721--740
-
luck, scheduler-, 21(5)429--439
-
Luckham, D. C., 21(4)336--354, 21(9)717--734
-
Luckham:1995:EBA, 21(9)717--734
-
Luckham:1995:SAS, 21(4)336--354
-
lumpable, quasi-, 20(7)516--525
-
Lunn, A. D., 21(9)747--753
-
Lunn, A. D., see May, J. H. R.
-
Lunt, T. F., 16(6)593--607
-
Lunt:1990:SSM, 16(6)593--607
-
Luo, G., 20(1)72--87
-
Luo, Gang, 20(2)149--162
-
Luo:1994:STB, 20(1)72--87
-
Luo:1994:TSB, 20(2)149--162
-
Lupu, E. C., 25(6)852--869
-
Lupu:1999:CPB, 25(6)852--869
-
Luqi, 16(8)917--927, 19(5)436--452, 19(5)453--477
-
Luqi, see Berzins, V., \see{Kramer, B.
-
Luqi:1990:GMS, 16(8)917--927
-
Lustman, F., 17(8)814--829, 20(3)207--217
-
Lustman, F., see Babin, G.
-
Lustman:1994:STB, 20(3)207--217
-
LUSTRE, 18(9)785--793
-
Lutz, R., 24(1)4--14
-
Lutz, R., see Easterbrook, S.
-
Lutz, R. R., 18(8)749--760
-
Lutz:1992:DUE, 18(8)749--760
-
Lyle, J. R., 17(8)751--761
-
Lyle, J. R., see Gallagher, K. B.
-
Lyyttinen, K., 19(7)661--671
-
Lyyttinen, K., see Rask, R.