Last update: Thu Sep 28 02:07:29 MDT 2023
Return to index directory
K
-
k, 45(3)167--178, 46(8)201--212, 47(5)41--50
-
k-cfa, 45(6)305--315
-
k-cutting, 45(2)109--116
-
k-hypercubes, 46(8)201--212
-
k-induction, 46(8)311--312
-
k-means, 45(6)388--399
-
Kabitzsch, Klaus, 46(2)23--32
-
Kabitzsch, Klaus, see Ryssel, Uwe
-
Kaeli, David, 45(5)353--354
-
Kaeli, David, see Jang, Byunghyun
-
Kahn, 45(4)77--84
-
Kaleem, Rashid, 46(6)12--25
-
Kaleem, Rashid, see Pingali, Keshav
-
Kalibera, Tomas, 46(11)89--98
-
Kalibera:2011:HRO, 46(11)89--98
-
Kamali, Ali, 45(7)85--96
-
Kamali, Ali, see Kazempour, Vahid
-
Kambadur, Prabhanjan, 46(8)201--212
-
Kambadur, Prabhanjan, see Saraswat, Vijay A.
-
Kammar, Ohad, 47(1)349--360
-
Kammar:2012:AFE, 47(1)349--360
-
Kamruzzaman, Md, 45(6)460--470, 46(3)393--404, 47(4)393--404
-
Kamruzzaman:2010:SDS, 45(6)460--470
-
Kamruzzaman:2011:ICP, 46(3)393--404
-
Kamruzzaman:2012:ICP, 47(4)393--404
-
Kandemir, Mahmut, 45(4)85--94, 45(5)329--330, 45(6)74--85,
46(8)289--290
-
Kandemir, Mahmut, see Muralidhara, Sai Prashanth,
see Ozturk, Ozcan, \see{Prabhakar, Ramya
-
Kandemir:2010:CTA, 45(6)74--85
-
Kane, Stephen, 46(11)65--76
-
Kane, Stephen, see Hertz, Matthew
-
Kapalka, Michal, 45(5)91--100
-
Kapalka, Michal, see Barreto, João
-
Kaplan, 47(1)151--164
-
Kapur, Puneet, 45(10)726--738
-
Kapur:2010:RRL, 45(10)726--738
-
Karakasis, Vasileios, 46(8)247--256
-
Karakasis, Vasileios, see Kourtis, Kornilios
-
Karlsson, Christer, 46(8)303--304
-
Karlsson, Christer, see Davies, Teresa
-
Karmani, Rajesh K., 46(8)81--90, 46(8)125--134
-
Karmani, Rajesh K., see Negara, Stas
-
Karmani:2011:TCS, 46(8)125--134
-
Kashyap, Vineeth, 46(6)109--120
-
Kashyap, Vineeth, see Li, Xun
-
Kästner, Christian, 45(2)157--166, 45(2)177--186, 46(2)103--112,
46(10)391--406, 46(10)805--824, 47(3)167--176,
see Erdweg, Sebastian,
see Kuhlemann, Martin,
see Schulze, Sandro
-
Kastner:2010:MRP, 45(2)157--166
-
Kastner:2011:VAP, 46(10)805--824
-
Kato, Hiroyuki, 45(9)205--216
-
Kato, Hiroyuki, see Hidaka, Soichiro
-
Kats, Lennart C. L., 45(10)444--463, 45(10)918--932, 46(10)139--154,
47(3)127--136, 47(3)167--176
-
Kats, Lennart C. L., see Erdweg, Sebastian,
see Lindeman, Ricky T.
-
Kats:2010:PDS, 45(10)918--932
-
Kats:2010:SLW, 45(10)444--463
-
Kats:2011:ILD, 46(10)139--154
-
Kautz, Steven M., 45(10)790--805
-
Kautz, Steven M., see Rajan, Hridesh
-
Kawachiya, Kiyokuni, 45(7)109--120, 45(10)191--204
-
Kawachiya, Kiyokuni, see Odaira, Rei,
see Ogata, Kazunori
-
Kawaguchi, Ming, 45(1)131--144, 47(6)45--54
-
Kawaguchi, Ming, see Rondon, Patrick Maxim
-
Kawaguchi:2012:DPL, 47(6)45--54
-
Kazempour, Vahid, 45(7)85--96
-
Kazempour:2010:AAA, 45(7)85--96
-
KB, 45(3)219--230, 45(8)73--82
-
KDataSets, 45(6)448--459
-
Ke, Chuanle, 46(10)243--258
-
Ke:2011:SPP, 46(10)243--258
-
keep, 45(5)339--340, 46(8)157--168, 46(8)277--288, 46(12)95--106,
47(1)323--336, 47(1)413--424, 47(3)117--126, 47(4)119--132
-
Keep, Andrew W., 46(10)483--498
-
Keep, Andrew W., see Adams, Michael D.
-
keeping, 45(3)243--256, 45(4)17--26, 45(5)1--2, 45(6)483--496,
47(1)361--372
-
Kell, Stephen, 45(10)322--340
-
Kell:2010:CAA, 45(10)322--340
-
Keller, Gabriele, 45(9)261--272, 46(12)59--70
-
Keller, Gabriele, see Lippmeier, Ben
-
Keller:2010:RSP, 45(9)261--272
-
Kelner, Jonathan A., 47(1)441--454
-
Kelner, Jonathan A., see Zhu, Zeyuan Allen
-
Kelsey, Kirk, 45(5)335--336
-
Kelsey, Kirk, see Zhang, Chao
-
Kennedy, Andrew J., 45(9)15--26
-
Kennedy, Andrew J., see Vytiniotis, Dimitrios
-
kept, 45(6)483--496, 47(3)107--116, 47(4)133--144
-
kernel, in-, 45(3)103--116
-
kernel-level, 45(5)79--90
-
kernel-mode, 47(4)265--278
-
Keudel, Elizabeth, 46(11)65--76
-
Keudel, Elizabeth, see Hertz, Matthew
-
Keutzer, Kurt, 46(8)47--56
-
Keutzer, Kurt, see Catanzaro, Bryan
-
key-generator, 47(3)185--186
-
Keys, John, 46(3)133--144, 47(4)133--144
-
Keys, John, see Ryzhyk, Leonid
-
keyword, 45(5)233--244, 47(4)91--104
-
Khoo, Yit Phang, 45(6)436--447
-
Khoo:2010:MTC, 45(6)436--447
-
Khudia, Daya Shanker, 47(5)99--108
-
Khudia:2012:ESE, 47(5)99--108
-
Khurshid, Sarfraz, 46(6)504--515
-
Khurshid, Sarfraz, see Person, Suzette
-
Kiczales, Gregor, 45(10)754--773
-
Kiczales, Gregor, see Davis, Samuel
-
kill, 45(3)397--408
-
Kilpatrick, Scott, 46(10)973--992
-
Kilpatrick, Scott, see Allen, Eric
-
Kim, 45(2)109--116
-
Kim, Deokhwan, 46(6)528--541
-
Kim, Hanjun, 45(3)65--76, 46(6)26--37
-
Kim, Hanjun, see Raman, Arun
-
Kim, Hee-Seok, 46(5)151--160
-
Kim, Hee-Seok, see Jang, Choonki
-
Kim, Hong-Seok, 46(5)151--160
-
Kim, Hong-Seok, see Jang, Choonki
-
Kim, Honggyu, 46(8)277--288
-
Kim, Honggyu, see Kim, Jungwon
-
Kim, Jongwook, 47(3)13--22
-
Kim, Jongwook, see Batory, Don
-
Kim, Jungwon, 46(5)151--160, 46(8)277--288
-
Kim, Jungwon, see Jang, Choonki
-
Kim, Miryung, 45(10)302--321, 46(6)329--342
-
Kim, Miryung, see Meng, Na,
see Nguyen, Hoan Anh
-
Kim, Sang Kyun, 46(8)267--276
-
Kim, Sang Kyun, see Hong, Sungpack
-
Kim, Sangman, 46(3)279--290, 47(4)279--290
-
Kim, Sangman, see Hofmann, Owen S.
-
Kim, Sukjin, 46(5)151--160
-
Kim, Sukjin, see Jang, Choonki
-
Kim, Wonseok, 47(3)177--184
-
Kim, Wonseok, see Freeman, John
-
Kim, Yongjoo, 45(4)17--26
-
Kim:2010:ODM, 45(4)17--26
-
Kim:2011:ASC, 46(8)277--288
-
Kim:2011:VSC, 46(6)528--541
-
Kimelman, Doug, 45(1)339--352
-
Kimelman, Doug, see Bodik, Rastislav
-
Kincaid, Zachary, 47(1)297--308
-
Kincaid, Zachary, see Farzan, Azadeh
-
kinematics, 46(2)157--166
-
kinetic, 47(4)159--170
-
Kirby, Robert M., 45(5)357--358
-
Kirby, Robert M., see Li, Guodong
-
Kirman, Nevin, 45(3)15--28
-
Kirman:2010:PEA, 45(3)15--28
-
Kirsch, Christoph M., 46(11)99--108
-
Kirsch, Christoph M., see Aigner, Martin
-
Kismet, 46(10)519--536
-
Klein, Casey, 45(10)555--566, 47(1)285--296
-
Klein, Felipe, 45(4)9--16
-
Klein, Felipe, see Pyka, Robert
-
Klein:2010:RTH, 45(10)555--566
-
Klein:2012:RYR, 47(1)285--296
-
Klin, Bartek, 47(1)401--412
-
Klin, Bartek, see Bojanczyk, Mikolaj
-
KLOC, 45(5)233--244, 47(2)1--12
-
Klock II, Felix S., 47(2)73--84
-
Klock:2012:BLR, 47(2)73--84
-
Klose, Karl, 45(10)484--503
-
Klose:2010:MLM, 45(10)484--503
-
KLRs, 47(1)59--72
-
KLRs*, 47(1)59--72
-
KMeans, 45(6)388--399
-
Knaian, Ara, 45(1)1--6
-
Knaian, Ara, see Gershenfeld, Neil
-
Knapp, Alexander, 46(2)53--62
-
Knapp, Alexander, see Krieger, Matthias P.
-
knob, 46(3)199--212, 47(4)199--212
-
Knobe, Kathleen, 45(5)345--346
-
Knobe, Kathleen, see Chandramowlishwaran, Aparna
-
know, 45(5)67--78, 45(5)137--146, 46(10)1069--1084
-
known, Well-, 47(6)35--44
-
known, well-, 45(2)117--126, 45(3)167--178, 45(3)243--256,
45(5)213--222, 45(5)293--304, 45(7)3--12, 46(2)53--62,
47(1)455--468, 47(1)495--508, 47(6)13--22
-
Ko, Yousun, 46(3)357--368, 47(4)357--368, 47(5)79--88
-
Ko, Yousun, see Farhad, S. M.,
see Farhad, Sardar M.
-
Kobayashi, Naoki, 45(1)495--508, 46(6)222--233
-
Kobayashi:2010:HOM, 45(1)495--508
-
Kobayashi:2011:PAC, 46(6)222--233
-
Koch, Tobias J. K. Edler von, 46(6)74--85
-
Koch, Tobias J. K. Edler von, see Böhm, Igor
-
Kodali, Sreedhar, 46(8)201--212
-
Kodali, Sreedhar, see Saraswat, Vijay A.
-
Kodu, 46(1)241--246
-
Kogan, Alex, 46(8)223--234
-
Kogan:2011:WFQ, 46(8)223--234
-
Koh, David, 46(7)27--38
-
Koh, David, see Zhao, Qin
-
Köksal, Ali Sinan, 45(9)249--260, 47(1)151--164,
see Arnold, Gilad
-
Koksal:2012:CC, 47(1)151--164
-
Komatsu, Hideaki, 45(7)157--166
-
Komatsu, Hideaki, see Kondoh, Goh
-
Komondoor, Raghavan, 46(10)1033--1052
-
Komondoor, Raghavan, see Madhavan, Ravichandhran
-
Kondoh, Goh, 45(7)157--166
-
Kondoh:2010:DBT, 45(7)157--166
-
Kong, Jingfei, 45(5)343--344, 45(6)86--97
-
Kong, Jingfei, see Yang, Yi
-
Kong, Soonho, 45(2)109--116
-
Kong:2010:APT, 45(2)109--116
-
Koopman, Pieter, 45(11)49--60
-
Koopman, Pieter, see Groningen, John van
-
Köpf, Boris, 47(1)97--110, see Barthe, Gilles
-
Korthikanti, Vijay Anand, 46(6)50--61
-
Korthikanti, Vijay Anand, see Gulwani, Sumit
-
Koskinen, Eric, 45(1)19--30, 46(1)399--410
-
Koskinen, Eric, see Cook, Byron
-
Koskinen:2010:CGT, 45(1)19--30
-
Kothari, Pravesh, 45(3)167--178
-
Kothari, Pravesh, see Burckhardt, Sebastian
-
Kou, Stephen, 45(10)109--124
-
Kou:2010:OFF, 45(10)109--124
-
Koukoumidis, Emmanouil, 46(3)171--184, 47(4)171--184
-
Koukoumidis:2011:PC, 46(3)171--184
-
Koukoumidis:2012:PC, 47(4)171--184
-
Kourai, Kenichi, 46(7)99--110
-
Kourai:2011:FCP, 46(7)99--110
-
Kourtis, Kornilios, 46(8)247--256
-
Kourtis:2011:CEC, 46(8)247--256
-
Kovacs, Laura, 47(1)259--272
-
Kovacs, Laura, see Hoder, Krystof
-
Kovoor, George, 46(11)109--118
-
Kovoor, George, see Singer, Jeremy
-
Koziris, Nectarios, 46(8)247--256
-
Koziris, Nectarios, see Kourtis, Kornilios
-
Kozuch, Michael A., 45(3)257--270, 45(3)271--284
-
Kozuch, Michael A., see Goodstein, Michelle L.,
see Vlachos, Evangelos
-
Kozyrakis, Christos, 45(3)311--322, 46(3)27--38, 47(4)27--38
-
Kozyrakis, Christos, see Casper, Jared,
see Sanchez, Daniel
-
KPN, 45(4)77--84
-
Kraemer, Frank Alexander, 47(3)147--156
-
Kraemer, Frank Alexander, see Slåtten, Vidar
-
Krainz, Jakob, 46(8)301--302
-
Krainz, Jakob, see Stellwag, Philippe
-
KRASH, 45(5)327--328
-
Krasikov, Sophia, 45(10)848--864
-
Krasikov, Sophia, see Ossher, Harold
-
Krause, Andreas, 47(5)119--128
-
Krause, Andreas, see Zuluaga, Marcela
-
Kremlin, 46(6)458--469, 46(8)293--294
-
Krick, William, 45(5)325--326
-
Krick, William, see Lupei, Daniel
-
Krieger, Matthias P., 46(2)53--62
-
Krieger:2011:AES, 46(2)53--62
-
Krintz, Chandra, 45(10)223--240
-
Krintz, Chandra, see Wegiel, Michal
-
Kripke, 46(1)119--132, 46(1)133--146, 46(9)445--456, 47(1)59--72
-
*Kripke, 47(1)59--72
-
Krishnakumar, A. S., 45(7)97--108
-
Krishnakumar, A. S., see Lee, Min
-
Krishnamoorthy, Sriram, 46(8)201--212
-
Krishnamoorthy, Sriram, see Saraswat, Vijay A.
-
Krishnan, P., 45(7)97--108
-
Krishnan, P., see Lee, Min
-
Krishnaswami, Neelakantan R., 46(9)45--57, 47(1)45--58
-
Krishnaswami:2011:SMG, 46(9)45--57
-
Krishnaswami:2012:HOF, 47(1)45--58
-
Kroening, Daniel, 46(8)311--312
-
Kroening, Daniel, see Donaldson, Alastair F.
-
Krogdahl, Stein, 45(12)81--96
-
Krogdahl, Stein, see Axelsen, Eyvind W.
-
Kruchten, Philippe, 45(10)74--88
-
Kruchten, Philippe, see Hoda, Rashina
-
Kudlur, Manjunath, 45(3)285--296
-
Kudlur, Manjunath, see Hormati, Amir H.
-
Kuhlemann, Martin, 45(2)157--166, 45(2)177--186
-
Kuhlemann, Martin, see Kästner, Christian
-
Kuhlemann:2010:SCN, 45(2)177--186
-
Kuhn, Bob, 46(5)1--10
-
Kuhn, Bob, see Virlet, Bruno
-
Kulezsa, Uirá, 47(3)33--42, see Neves, Laís
-
Kulkarni, Aditya, 45(10)671--690
-
Kulkarni, Milind, 45(5)3--14, 46(6)12--25, 46(6)542--555,
46(10)463--482
-
Kulkarni, Milind, see Jo, Youngjoon,
see Méndez-Lojo, Mario,
see Pingali, Keshav
-
Kulkarni, Prasad A., 45(4)95--104, 45(7)133--144, 46(10)773--788
-
Kulkarni, Prasad A., see Namjoshi, Manjiri A.
-
Kulkarni:2010:IBP, 45(4)95--104
-
Kulkarni:2010:TTP, 45(10)671--690
-
Kulkarni:2011:ECL, 46(6)542--555
-
Kulkarni:2011:JCP, 46(10)773--788
-
Kumar, Deepak, 46(5)101--110
-
Kumar, Deepak, see Thomas, Johnson J.
-
Kumar, Sanjay, 46(7)181--192
-
Kumar, Sanjay, see Xia, Lei
-
Kumar, Sushanth, 45(7)75--84
-
Kumar, Sushanth, see Ye, Lei
-
Kumar, Tushar, 46(10)537--554
-
Kumar, Tushar, see Cledat, Romain E.
-
Kuncak, Viktor, 45(1)199--210, 45(6)316--329, 46(10)325--344,
47(1)151--164, 47(6)55--66
-
Kuncak, Viktor, see Darulova, Eva,
see Guerraoui, Rachid,
see Köksal, Ali Sinan,
see Suter, Philippe
-
Kuncak:2010:CFS, 45(6)316--329
-
Kuperstein, Michael, 46(6)187--198
-
Kuperstein:2011:PCA, 46(6)187--198
-
Kuznetsov, Petr, 46(1)487--498
-
Kuznetsov, Petr, see Attiya, Hagit
-
Kuznetsov, Volodymyr, 46(3)265--278, 47(4)265--278
-
Kuznetsov, Volodymyr, see Chipounov, Vitaly
-
Kyle, Stephen, 47(5)21--30
-
Kyle, Stephen C., 46(6)74--85
-
Kyle, Stephen C., see Böhm, Igor
-
Kyle:2012:EPI, 47(5)21--30