Last update: Thu Nov 9 02:49:22 MST 2023
Return to index directory
K
-
k, 25(6)112--126
-
k-Fit, EDF-First-, 41(7)93--102
-
Kachroo, Vishal, 36(8)230--237
-
Kachroo, Vishal, see Krishnamurthy, Yamuna
-
Kadayif, Ismail, 36(8)128--137, 40(7)213--221
-
Kadayif, Ismail, see Kandemir, Mahmut
-
Kadayif:2001:MCA, 36(8)128--137
-
Kaeli, David, 40(6)180--189
-
Kaeli, David, see Aletà, Alex
-
Kahn, 41(1)180--193
-
Kainz, Joachim F., 39(10)290--293
-
Kainz:2004:MSD, 39(10)290--293
-
Kameyama, Yukiyoshi, 38(9)177--188
-
Kameyama:2003:SCA, 38(9)177--188
-
Kamin, Sam, 38(12)44--56
-
Kamin:2003:RRT, 38(12)44--56
-
Kandemir, M., 37(7)2--11, 37(7)165--174, 38(7)275--283, 38(11)282--301,
39(7)240--248
-
Kandemir, M., see Chen, G., \see{Hu, J. S.,
see Kim, H. S., \see{Saputra, H.
-
Kandemir, Mahmut, 40(7)213--221, 41(1)194--205, 41(6)193--203,
41(7)163--172
-
Kandemir, Mahmut, see Chen, Guangyu,
see Mutyam, Madhu
-
Kandemir, Mahmut Taylan, 36(3)179--192, 36(8)128--137
-
Kandemir, Mahmut Taylan, see Kadayif, Ismail
-
Kandemir:2001:CTI, 36(3)179--192
-
Kandemir:2005:CME, 40(7)213--221
-
Kaneda, Kenji, 38(10)216--229
-
Kaneda, Kenji, see Taura, Kenjiro
-
Kang, Dong-In, 36(8)20--28
-
Kang, Kyo C., 35(10)93--104
-
Kang, Kyo C., see Lee, Ji Y.
-
Kang:2001:PAD, 36(8)20--28
-
Kantorovitz, Isaiah Pinchas, 39(5)66--74
-
Kantorovitz:2004:LAT, 39(5)66--74
-
Kapasi, Ujval J., 35(11)82--92
-
Kapasi, Ujval J., see Mattson, Peter
-
Kaplan, Scott F., 38_2s_221_232
-
Kaplan:2003:ACD, 38_2s_221_232
-
Karczmarek, Michal, 37(10)291--303, 38(7)103--112
-
Karczmarek, Michal, see Gordon, Michael I.
-
Karczmarek:2003:PSS, 38(7)103--112
-
Karl, Wolfgang, 38_2s_76_85
-
Karl, Wolfgang, see Schulz, Martin
-
Karr, David A., 36(8)230--237
-
Karr, David A., see Krishnamurthy, Yamuna
-
Karwande, Amit, 38(10)95--106
-
Karwande:2003:CMC, 38(10)95--106
-
Kasprowicz, Matthias, 39(10)182--183
-
Kasprowicz, Matthias, see Vögler, Gabriel
-
Kastens, Uwe, 39(7)126--135
-
Kastens:2004:FDI, 39(7)126--135
-
Kästner, Daniel, 36(8)145--154, 37(7)46--55
-
Kastner:2001:IBI, 36(8)145--154
-
Kastner:2002:GCF, 37(7)46--55
-
Kaundinya, Murali, 39(10)11--12, 39(10)168--169
-
Kaundinya:2004:MEDa, 39(10)11--12
-
Kaundinya:2004:MEDb, 39(10)168--169
-
Kavi, Krishna, 39(2)26--33
-
Kavi, Krishna, see Song, Litong
-
Kawabe, Masahiko, 40(5)8--17
-
Kawabe, Masahiko, see Glück, Robert
-
Kawachiya, Kiyokuni, 37(11)130--141, 38(11)187--204
-
Kawachiya, Kiyokuni, see Ishizaki, Kazuaki
-
Kawachiya:2002:LRJ, 37(11)130--141
-
Kawada, Youhei, 38(10)250--259
-
Kawada, Youhei, see Glück, Robert
-
Kawahito, Motohiro, 35(10)294--310, 35(11)139--149, 36(11)180--195,
37(5)187--198, 38(11)187--204
-
Kawahito, Motohiro, see Ishizaki, Kazuaki,
see Suganuma, Toshio
-
Kawahito:2000:ENP, 35(11)139--149
-
Kawahito:2002:ESE, 37(5)187--198
-
Kazar, Baris, 38(10)1--1
-
Kazar:2003:HPS, 38(10)1--1
-
Kececioglu, J., 39(6)107--118
-
Kececioglu, J., see Collberg, C.
-
Keckler, Stephen W., 37(10)211--222, 39(11)120--132
-
Keckler, Stephen W., see Desikan, Rajagopalan,
see Kim, Changkyu
-
keep, 39(6)14--24
-
keeping, 41(1)1--1, 41(1)309--319, 41(6)61--71
-
Keller, Gabriele, 35(9)94--105, 36(10)205--216, 40(1)1--13,
40(9)241--253
-
Keller, Gabriele, see Chakravarty, Manuel M. T.
-
Kelly IV, Clinton, 39(11)27--36
-
Kelly IV, Clinton, see Ekanayake, Virantha
-
Kelsey, Richard, 39(4)175--191
-
Kelsey, Richard, see Kranz, David
-
Kennedy, Andrew, 36(5)1--12, 38(10)306--314, 39(1)39--51, 40(10)21--40
-
Kennedy, Andrew, see Attardi, Giuseppe,
see Yu, Dachuan
-
Kennedy, Ken, 35(5)169--181, 37(5)25--32, 39(4)75--90, 39(4)155--166,
39(4)217--228, 39(4)283--294, 39(4)328--342
-
Kennedy, Ken, see Allen, Randy,
see Briggs, Preston, \see{Budimlic, Zoran,
see Callahan, David,
see Cooper, Keith D., \see{Yi, Qing
-
Kennedy:2001:DIG, 36(5)1--12
-
Kennedy:2005:GAD, 40(10)21--40
-
Kenya, 41(7)1--1
-
kept, 41(6)72--83, 41(7)12--21
-
Kermany, Haim, 41(6)354--363
-
Kermany:2006:CCI, 41(6)354--363
-
Kern, Jon, 39(10)138--140
-
Kern, Jon, see Miller, Granville
-
kernel, 40(7)95--104, 41(6)132--143
-
Kerns, Daniel R., 39(4)515--527
-
Kerns:2004:BSI, 39(4)515--527
-
Kershenbaum, Aaron, 37(11)359--372, 39(10)294--304
-
Kershenbaum, Aaron, see Koved, Larry,
see Reimer, Darrell
-
Keschenau, Martin, 39(10)326--327
-
Keschenau:2004:REU, 39(10)326--327
-
Kessler, Christoph, 37(7)102--111
-
Keßler, Christoph, 36(8)165--174
-
Kessler, Peter B., 39(4)49--57, 39(4)390--397
-
Kessler, Peter B., see Graham, Susan L.
-
Kessler:2001:DPA, 36(8)165--174
-
Kessler:2002:OIC, 37(7)102--111
-
Kessler:2004:FBD, 39(4)390--397
-
key, 25(6)112--126, 35(11)168--177, 39(4)372--389, 41(1)245--256,
41(1)270--282, 41(1)295--308, 41(1)372--382, 41(3)10--19,
41(6)132--143, 41(6)144--157, 41(6)181--192, 41(6)204--215,
41(6)332--340, 41(6)387--400, 41(7)12--21, 41(7)83--92,
41(9)111--121
-
Key, Symmetric-, 35(11)178--189
-
key, symmetric-, 35(11)178--189
-
Keynote, 35(7)1--11
-
Kezmah, Bostjan, 39(5)58--65
-
Kezmah, Bostjan, see Juric, Matjaz B.
-
KGOL, 38(4)57--66
-
Khaled, Rilla, 39(10)178--179
-
Khaled:2004:VLO, 39(10)178--179
-
Khoo, Siau-Cheng, 36(10)134--145, 38(10)315--324
-
Khoo, Siau-Cheng, see Anand, Saswat,
see Chin, Wei-Ngan
-
Khurshid, Sarfraz, 37(11)231--245
-
Khurshid:2002:AAL, 37(11)231--245
-
KHz, 41(6)283--294
-
Kiczales, Gregor, 37(11)161--173
-
Kiczales, Gregor, see Hannemann, Jan
-
Kielmann, Thilo, 36(7)34--43
-
Kielmann, Thilo, see Nieuwpoort, Rob V. van
-
Kielstra, Allan, 40(10)519--538
-
Kielstra, Allan, see Charles, Philippe
-
Kienle, Holger M., 36(9)64--73
-
Kienle:2001:USR, 36(9)64--73
-
Kiernan, Jerry, 35(10)118--129
-
Kiernan:2000:MOQ, 35(10)118--129
-
Kiezun, Adam, 38(11)13--26
-
Kiezun, Adam, see Tip, Frank
-
Kie{\.z}un, Adam, 39(10)8--8, see Fuhrer, Robert
-
Kill-safe, 39(6)47--58
-
killed, 39(6)35--46
-
Killijian, Marc-Olivier, 37(11)68--82
-
Killijian:2002:PSC, 37(11)68--82
-
Kim, Changkyu, 37(10)211--222
-
Kim, Dongkeun, 37(10)159--170, 39(11)144--155
-
Kim, Dongkeun, see Wang, Perry H.
-
Kim, H. S., 38(7)275--283
-
Kim, Hye J., 35(10)93--104
-
Kim, Hye J., see Lee, Ji Y.
-
Kim, Hyong-youb, 37(10)239--250, 38(10)61--72
-
Kim, Ik-Soon, 41(1)257--268
-
Kim, Jangwoo, 39(11)224--234
-
Kim, Jangwoo, see Smolens, Jared C.
-
Kim, Jesung, 38(7)171--182
-
Kim, Jesung, see Alur, Rajeev
-
Kim, Minyoung, 36(8)11--19
-
Kim, Saehwa, 37(7)223--232
-
Kim, Seon Wook, 36(7)2--11
-
Kim, Tae-Hyung, 37(7)223--232
-
Kim, Tae-Hyung, see Kim, Saehwa
-
Kim:2001:HRT, 36(8)11--19
-
Kim:2001:RIA, 36(7)2--11
-
Kim:2002:ANU, 37(10)211--222
-
Kim:2002:DEC, 37(10)159--170
-
Kim:2002:IWS, 37(10)239--250
-
Kim:2002:PPT, 37(7)223--232
-
Kim:2003:AIL, 38(7)275--283
-
Kim:2003:ETL, 38(10)61--72
-
Kim:2006:PMT, 41(1)257--268
-
Kimball, Aaron, 41(1)283--294
-
Kimball, Aaron, see Liu, Jed
-
Kimelman, Doug, 36(8)181--181, 40(6)48--61
-
Kimelman, Doug, see Högstedt, Karin,
see Mandelin, David
-
kind, 36(4)21--24, 41(1)245--256, 41(1)269--269, 41(6)118--131,
41(6)376--386, 41(6)401--414, 41(7)44--53, 41(9)13--25
-
kind-indexed, 41(1)1--1
-
King, David J., 35(9)162--173
-
King, David J., see Baker-Finch, Clem
-
King, Steve, 38(4)34--46
-
King, Steve, see Kwon, Jagun
-
Kirchner, Claude, 38(1)250--261
-
Kirchner, Claude, see Barthe, Gilles
-
Kirovski, Darko, 37(10)108--120
-
Kirovski:2002:ETS, 37(10)108--120
-
Kirsch, Christoph M., 37(5)315--326, 40(7)21--30
-
Kirsch, Christoph M., see Henzinger, Thomas A.
-
Kirsch, Christoph Meyer, 36(8)64--72
-
Kirsch, Christoph Meyer, see Henzinger, Thomas A.
-
Kiselyov, Oleg, 37(6)52--58, 40(9)192--203, 41(9)26--37
-
Kiselyov:2002:SS, 37(6)52--58
-
Kiselyov:2005:BIT, 40(9)192--203
-
Kiselyov:2006:DDB, 41(9)26--37
-
KISS, 39(6)14--24
-
Klarlund, Nils, 40(6)213--223
-
Klarlund, Nils, see Godefroid, Patrice
-
Klauser, Artur, 40(6)190--200
-
Klauser, Artur, see Luk, Chi-Keung
-
Kleisli, 35(9)1--10
-
Klint, Paul, 35(3)39--48, 35(6)26--36
-
Klint, Paul, see Deursen, Arie van,
see Heering, Jan
-
Knight, Alan, 39(10)143--144
-
Knight, Alan, see Fowler, Martin
-
Knight, Jr., Thomas, 38(9)1--1
-
Knight:2003:CIA, 38(9)1--1
-
Knobe, Kathleen, 36(6)1--2
-
Knobe:2001:ECN, 36(6)1--2
-
Knoop, Jens, 39(4)460--472, 39(7)221--230
-
Knoop, Jens, see Scholz, Bernhard
-
Knoop:2004:LCM, 39(4)460--472
-
know, 41(1)309--319, 41(4)16--23
-
knowing, 41(6)181--192
-
knowledge, 35(4)29--43, 38(4)57--66, 39(3)31--37, 41(1)180--193,
41(6)181--192, 41(6)354--363, 41(7)199--208
-
Knowledge Focus Group, Programming Language, 35(4)29--43
-
known, 35(11)168--177, 41(1)141--152, 41(1)153--165, 41(1)320--333,
41(2)29--33, 41(5)46--54, 41(6)295--307, 41(6)354--363,
41(6)376--386, 41(6)401--414, 41(9)50--61
-
known, well-, 25(6)112--126, 39(4)372--389, 41(1)359--371,
41(6)26--37, 41(6)108--117, 41(7)44--53, 41(8)21--28
-
Knudsen, J{\o}rgen Lindskov, 38(7)42--50,
see Schultz, Ulrik Pagh
-
Knuth:1990:SPW, 25(6)92--101, 25(6)112--126
-
Knutson, Charles D., 35(12)51--61
-
Knutson:2000:MDS, 35(12)51--61
-
Kobayashi, Naoki, 36(3)128--141, 37(1)331--342, 38(3)50--61
-
Kobayashi, Naoki, see Igarashi, Atsushi
-
Kobayashi:2003:TRE, 38(3)50--61
-
Kodumal, John, 38(5)129--140, 39(6)207--218
-
Kodumal, John, see Aiken, Alex
-
Kodumal:2004:SCC, 39(6)207--218
-
Koes, David Ryan, 41(6)204--215
-
Koes:2006:GPR, 41(6)204--215
-
Kogge, Peter, 40(7)147--156
-
Kogge, Peter, see Kudriavtsev, Alexei
-
Kohler, Eddie, 37(10)251--263
-
Kohler:2002:PLO, 37(10)251--263
-
Kojarski, Sergei, 39(10)216--217, 40(10)247--263
-
Kojarski:2004:AFC, 39(10)216--217
-
Kojarski:2005:PAD, 40(10)247--263
-
Kokol, Peter, 35(3)59--64
-
Kokol:2000:RCN, 35(3)59--64
-
Kölling, Michael, 39(10)73--82, see Henriksen, Poul
-
Kolodner, Elliot K., 35(5)274--284, 36(1)12--17, 36(1)155--166,
36(5)104--113, 37(5)129--140, 38_2s_171_182, 38_2s_183_194,
38_2s_207_212
-
Kolodner, Elliot K., see Ben-Yitzhak, Ori,
see Domani, Tamar, \see{Ossia, Yoav,
see Shaham, Ran
-
Komatsu, Hideaki, 35(10)294--310, 35(11)139--149, 36(11)83--95,
36(11)180--195, 37(5)33--44, 37(5)187--198, 37(10)58--67,
38(5)269--277, 38(11)187--204, 41(6)216--227
-
Komatsu, Hideaki, see Inagaki, Tatsushi,
see Ishizaki, Kazuaki,
see Kawahito, Motohiro,
see Koseki, Akira, \see{Nakaike, Takuya,
see Ogasawara, Takeshi,
see Ogata, Kazunori,
see Suganuma, Toshio
-
Kon, Fabio, 39(10)206--207
-
Kon, Fabio, see Ueda, Leo Kazuhiro
-
Kontogiannis, Kostas, 39(10)222--223
-
Kontogiannis, Kostas, see Ivkovic, Igor
-
Konuru, Ravi, 39(4)583--595
-
Konuru, Ravi, see Bacon, David F.
-
Korkala, Mikko, 39(10)174--175
-
Korkala, Mikko, see Abrahamsson, Pekka
-
Korkmaz, Pinar, 37(7)28--37
-
Korkmaz, Pinar, see Palem, Krishna V.
-
Koseki, Akira, 37(5)33--44, 37(11)130--141, 38(11)187--204
-
Koseki, Akira, see Ishizaki, Kazuaki,
see Kawachiya, Kiyokuni
-
Koseki:2002:PDG, 37(5)33--44
-
Koskela, Juha, 39(10)174--175
-
Koskela, Juha, see Abrahamsson, Pekka
-
Kostadinov, Valentin, 37(11)311--330
-
Kostadinov, Valentin, see Aldrich, Jonathan
-
Koutavas, Vasileios, 41(1)141--152
-
Koutavas:2006:SBR, 41(1)141--152
-
Koved, Larry, 37(11)359--372, 39(10)294--304
-
Koved, Larry, see Reimer, Darrell
-
Koved:2002:ARA, 37(11)359--372
-
Kowshik, Sumant, 38(7)69--80, 41(6)144--157
-
Kowshik, Sumant, see Dhurjati, Dinakar
-
Kozyrakis, Christos, 39(11)1--13, 41(6)1--13
-
Kozyrakis, Christos, see Carlstrom, Brian D.,
see Hammond, Lance
-
Krall, Andreas, 41(7)145--152
-
Krall, Andreas, see Farfeleder, Stefan
-
Kranz, David, 39(4)175--191
-
Kranz:2004:OOC, 39(4)175--191
-
Kreahling, William, 41(7)64--71
-
Kreahling:2006:RCC, 41(7)64--71
-
Kremer, U., 37(7)2--11
-
Kremer, U., see Saputra, H.
-
Kremer, Uli, 36(6)1--2
-
Kremer, Uli, see Knobe, Kathleen
-
Kremer, Ulrich, 38(5)38--48, 40(6)249--260
-
Kremer, Ulrich, see Hsu, Chung-Hsing,
see Ni, Yang
-
Krintz, Chandra, 36(5)156--167, 39(7)155--164
-
Krintz, Chandra, see Zhang, Lingli
-
Krintz:2001:UAR, 36(5)156--167
-
Krishna, Arvind S., 39(10)320--321
-
Krishna:2004:EDO, 39(10)320--321
-
Krishnamurthi, Shriram, 40(9)216--227
-
Krishnamurthi, Shriram, see Pettyjohn, Greg
-
Krishnamurthy, Yamuna, 36(8)230--237
-
Krishnamurthy:2001:IQE, 36(8)230--237
-
Krishnan, Venkatesh, 35(4)44--50
-
Krishnan, Venkatesh, see Manjunath, Geetha
-
Krishnaswami, Neel, 40(6)96--106
-
Krishnaswami:2005:PBO, 40(6)96--106
-
Krishnaswamy, Arvind, 37(7)56--64, 38(7)254--264
-
Krishnaswamy:2002:PGS, 37(7)56--64
-
Krishnaswamy:2003:EPB, 38(7)254--264
-
Krivine, 41(1)309--319
-
Kruskal, Vincent, 39(10)29--30
-
Kruskal, Vincent, see Tarr, Peri
-
Kubiatowicz, John, 35(11)190--201
-
Kubiatowicz:2000:OAG, 35(11)190--201
-
Kuck, David, 36(7)143--143
-
Kuck:2001:PPD, 36(7)143--143
-
Kudriavtsev, Alexei, 40(7)147--156
-
Kudriavtsev:2005:GPS, 40(7)147--156
-
Kugler, Hillel, 37(11)83--100
-
Kugler, Hillel, see Marelly, Rami
-
Kühl, Bernd, 35(12)33--40, 37(2)45--52
-
Kuhl:2000:OOL, 35(12)33--40
-
Kuhl:2002:OLA, 37(2)45--52
-
Kuijlman, Frits, 36(8)56--63
-
Kuijlman, Frits, see Cadot, Sidney
-
Kuiper, Kean, 38_2s_207_212
-
Kuiper, Kean, see Ben-Yitzhak, Ori
-
Kulesza, Uirá, 39(10)166--167
-
Kulesza:2004:AOG, 39(10)166--167
-
Kulkarni, Prasad, 38(7)12--23, 39(6)171--182
-
Kulkarni, Prasad A., 41(7)83--92
-
Kulkarni:2003:FEO, 38(7)12--23
-
Kulkarni:2004:FSE, 39(6)171--182
-
Kulkarni:2006:SNO, 41(7)83--92
-
Kumar, A. Uday, 41(3)10--19
-
Kumar, A. Uday, see Janakiram, D.
-
Kumar, K. V. Seshu, 38(8)60--66, 39(3)38--45
-
Kumar, Nagendra J., 39(7)37--46
-
Kumar, Pawan, 40(2)33--40, 40(11)18--28, 41(4)24--29, 41(5)11--20
-
Kumar, Pawan, see Behera, Chandan Kumar,
see Lenka, Dillip Kumar,
see Shaw, Sachin
-
Kumar, Rajeev, 35(3)49--58, 36(2)26--36, 40(5)18--27, 40(12)14--23
-
Kumar, Rajeev, see Naik, Mayur
-
Kumar, Sanjeev, 36(5)309--320, 38_2s_245_255, 39(11)177--188,
39(11)271--283
-
Kumar, Sanjeev, see Li, Xiaodong,
see Zhou, Pin
-
Kumar:2001:ELP, 36(5)309--320
-
Kumar:2001:NNC, 36(2)26--36
-
Kumar:2003:DMM, 38_2s_245_255
-
Kumar:2003:VRO, 38(8)60--66
-
Kumar:2004:AST, 39(7)37--46
-
Kumar:2004:WWC, 39(3)38--45
-
Kumar:2005:PCO, 40(12)14--23
-
Kumar:2005:RMS, 40(5)18--27
-
Kuncak, Viktor, 37(1)17--32, 39(3)46--55
-
Kuncak, Viktor, see Lam, Patrick
-
Kuncak:2002:RA, 37(1)17--32
-
Kunz, Robert, 35(11)49--58
-
Kunz, Robert, see Gibson, Jeff,
see Heinrich, Mark
-
Kuo, Tei-Wei, 41(7)153--162
-
Kuo, Tei-Wei, see Chen, Jian-Jia
-
Kuzins, Sascha, 40(6)117--128, 40(10)345--364
-
Kuzins, Sascha, see Allan, Chris,
see Avgustinov, Pavel
-
Kwon, Jagun, 38(4)34--46
-
Kwon, Young-Jun, 36(2)47--54
-
Kwon, Young-Jun, see Zhang, Yukong
-
Kwon:2003:AJP, 38(4)34--46
-
Kyllönen, Pekka, 39(10)174--175,
see Abrahamsson, Pekka