| 2015 | Timing verification for adaptive integrated circuits. | Rohit Kumar, Bing Li, Yiren Shen, Ulf Schlichtmann, Jiang Hu |
| 2015 | Operational fault detection and monitoring of a memristor-based LUT. | T. Nandha Kumar, Haider A. F. Almurib, Fabrizio Lombardi |
| 2015 | Spatial and temporal granularity limits of body biasing in UTBB-FDSOI. | Johannes Maximilian Khn, Dustin Peterson, Hideharu Amano, Oliver Bringmann, Wolfgang Rosenstiel |
| 2015 | Effective verification of low-level software with nested interrupts. | Daniel Kroening, Lihao Liang, Tom Melham, Peter Schrammel, Michael Tautschnig |
| 2015 | ACSEM: accuracy-configurable fast soft error masking analysis in combinatorial circuits. | Florian Kriebel, Semeen Rehman, Duo Sun, Pau Vilimelis Aceituno, Muhammad Shafique, Jrg Henkel |
| 2015 | Privacy-preserving functional IP verification utilizing fully homomorphic encryption. | Charalambos Konstantinou, Anastasis Keliris, Michail Maniatakos |
| 2015 | System level exploration of a STT-MRAM based level 1 data-cache. | Manu Perumkunnil Komalan, Christian Tenllado, Jos Ignacio Gmez Prez, Francisco Tirado Fernndez, Francky Catthoor |
| 2015 | Adaptive on-the-fly application performance modeling for many cores. | Sebastian Kobbe, Lars Bauer, Jrg Henkel |
| 2015 | M-DTM: migration-based dynamic thermal management for heterogeneous mobile multi-core processors. | Young-geun Kim, Minyong Kim, Jae Min Kim, Sung Woo Chung |
| 2015 | Subpage programming for extending the lifetime of NAND flash memory. | Jung-Hoon Kim, Sang-Hoon Kim, Jin-Soo Kim |
| 2015 | Platform-specific timing verification framework in model-based implementation. | BaekGyu Kim, Lu Feng, Linh T. X. Phan, Oleg Sokolsky, Insup Lee |
| 2015 | Schedulability bound for integrated modular avionics partitions. | Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha |
| 2015 | Uncertainty-aware reliability analysis and optimization. | Faramarz Khosravi, Malte Mller, Michael Gla, Jrgen Teich |
| 2015 | Power-efficient accelerator allocation in adaptive dark silicon many-core systems. | Muhammad Usman Karim Khan, Muhammad Shafique, Jrg Henkel |
| 2015 | Exploiting loop-array dependencies to accelerate the design space exploration with high level synthesis. | Pham Nam Khanh, Amit Kumar Singh, Akash Kumar, Khin Mi Mi Aung |
| 2015 | Inductor optimization for active cell balancing using geometric programming. | Matthias Kauer, Swaminathan Narayanaswamy, Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty |
| 2015 | Mixed wire and surface-wave communication fabrics for decentralized on-chip multicasting. | Ammar Karkar, Kin-Fai Tong, Terrence S. T. Mak, Alexandre Yakovlev |
| 2015 | Impact of interconnect multiple-patterning variability on SRAMs. | Ioannis Karageorgos, Michele Stucchi, Praveen Raghavan, Julien Ryckaert, Zsolt Tokei, Diederik Verkest, Rogier Baert, Sushil Sakhare, Wim Dehaene |
| 2015 | VARSHA: variation and reliability-aware application scheduling with adaptive parallelism in the dark-silicon era. | Nishit Ashok Kapadia, Sudeep Pasricha |
| 2015 | Big-data streaming applications scheduling with online learning and concept drift detection. | Karim Kanoun, Mihaela van der Schaar |
| 2015 | A neural machine interface architecture for real-time artificial lower limb control. | Jason Kane, Qing Yang, Robert Hernandez, Willard Simoneau, Matthew Seaton |
| 2015 | A thermal stress-aware algorithm for power and temperature management of MPSoCs. | Mehdi Kamal, Arman Iranfar, Ali Afzali-Kusha, Massoud Pedram |
| 2015 | A low energy 2D adaptive median filter hardware. | Ercan Kalali, Ilker Hamzaoglu |
| 2015 | Hardware-assisted code obfuscation for FPGA soft microprocessors. | Meha Kainth, Lekshmi Krishnan, Chaitra Narayana, Sandesh Gubbi Virupaksha, Russell Tessier |
| 2015 | Comparative study of test generation methods for simulation accelerators. | Wisam Kadry, Dmitry Krestyashyn, Arkadiy Morgenshtein, Amir Nahir, Vitali Sokhin, Jin Sung Park, Sung-Boem Park, Wookyeong Jeong, Jae-Cheol Son |