| 2013 | 3D integration for power-efficient computing. Denis Dutoit, Eric Guthmuller, Ivan Miro Panades |
| 2013 | 3D reconfigurable power switch network for demand-supply matching between multi-output power converters and many-core microprocessors. Kanwen Wang, Hao Yu, Benfei Wang, Chun Zhang |
| 2013 | 3D-MMC: a modular 3D multi-core architecture with efficient resource pooling. Tiansheng Zhang, Alessandro Cevrero, Giulia Beanato, Panagiotis Athanasopoulos, Ayse K. Coskun, Yusuf Leblebici |
| 2013 | 40.4fJ/bit/mm low-swing on-chip signaling with self-resetting logic repeaters embedded within a mesh NoC in 45nm SOI CMOS. Sunghyun Park, Masood Qazi, Li-Shiuan Peh, Anantha P. Chandrakasan |
| 2013 | A 100 GOPS ASP based baseband processor for wireless communication. Ziyuan Zhu, Shan Tang, Yongtao Su, Juan Han, Gang Sun, Jinglin Shi |
| 2013 | A SPICE-compatible model of graphene nano-ribbon field-effect transistors enabling circuit-level delay and power analysis under process variation. Ying-Yu Chen, Artem Rogachev, Amit Sangai, Giuseppe Iannaccone, Gianluca Fiori, Deming Chen |
| 2013 | A cache design for probabilistically analysable real-time systems. Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla |
| 2013 | A cost-effective selective TMR for heterogeneous coarse-grained reconfigurable architectures based on DFG-level vulnerability analysis. Takashi Imagawa, Hiroshi Tsutsui, Hiroyuki Ochi, Takashi Sato |
| 2013 | A critical-section-level timing synchronization approach for deterministic multi-core instruction set simulations. Fan-Wei Yu, Bo-Han Zeng, Yu-Hung Huang, Hsin-I Wu, Che-Rung Lee, Ren-Song Tsay |
| 2013 | A dual grain hit-miss detector for large die-stacked DRAM caches. Michel El-Nacouzi, Islam Atta, Myrto Papadopoulou, Jason Zebchuk, Natalie D. Enright Jerger, Andreas Moshovos |
| 2013 | A dynamic self-adaptive correction method for error resilient application. Luming Yan, Huaguo Liang, Zhengfeng Huang |
| 2013 | A fast and Effective DFT for test and diagnosis of power switches in SoCs. Xiaoyu Huang, Jimson Mathew, Rishad A. Shafik, Subhasis Bhattacharjee, Dhiraj K. Pradhan |
| 2013 | A fast and accurate methodology for power estimation and reduction of programmable architectures. Erwan Piriou, Raphaël David, Fahim Rahim, Solaiman Rahim |
| 2013 | A gate level methodology for efficient statistical leakage estimation in complex 32nm circuits. Smriti Joshi, Anne Lombardot, Marc Belleville, Edith Beigné, Stéphane Girard |
| 2013 | A hybrid approach for fast and accurate trace signal selection for post-silicon debug. Min Li, Azadeh Davoodi |
| 2013 | A low-power and low-voltage BBPLL-based sensor interface in 130nm CMOS for wireless sensor networks. Jelle Van Rethy, Hans Danneels, Valentijn De Smedt, Wim Dehaene, Georges G. E. Gielen |
| 2013 | A meta-model assisted coprocessor synthesis framework for compiler/architecture parameters customization. Sotirios Xydis, Gianluca Palermo, Vittorio Zaccaria, Cristina Silvano |
| 2013 | A methodology for embedded classification of heartbeats using random projections. Rubén Braojos, Giovanni Ansaloni, David Atienza |
| 2013 | A multi-level Monte Carlo FPGA accelerator for option pricing in the Heston model. Christian de Schryver, Pedro Torruella, Norbert Wehn |
| 2013 | A near-future prediction method for low power consumption on a many-core processor. Takeshi Kodaka, Akira Takeda, Shunsuke Sasaki, Akira Yokosawa, Toshiki Kizu, Takahiro Tokuyoshi, Hui Xu, Toru Sano, Hiroyuki Usui, Jun Tanabe, Takashi Miyamori, Nobu Matsumoto |
| 2013 | A network-flow based algorithm for power density mitigation at post-placement stage. Shih-Ying Sean Liu, Ren-Guo Luo, Hung-Ming Chen |
| 2013 | A new paradigm for trading off yield, area and performance to enhance performance per wafer. Yue Gao, Melvin A. Breuer, Yanzhi Wang |
| 2013 | A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms. Mahmoud Elbayoumi, Michael S. Hsiao, Mustafa Y. ElNainay |
| 2013 | A parallel fast transform-based preconditioning approach for electrical-thermal co-simulation of power delivery networks. Konstantis Daloukas, Alexia Marnari, Nestor E. Evmorfopoulos, Panagiota E. Tsompanopoulou, George I. Stamoulis |
| 2013 | A power-driven thermal sensor placement algorithm for dynamic thermal management. Hai Wang, Sheldon X.-D. Tan, Sahana Swarup, Xuexin Liu |
| 2013 | A practical testing framework for isolating hardware timing channels. Jason Oberg, Sarah Meiklejohn, Timothy Sherwood, Ryan Kastner |
| 2013 | A satisfiability approach to speed assignment for distributed real-time systems. Pratyush Kumar, Devesh B. Chokshi, Lothar Thiele |
| 2013 | A semi-canonical form for sequential AIGs. Alan Mishchenko, Niklas Eén, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma |
| 2013 | A spectral clustering approach to application-specific network-on-chip synthesis. Vladimir Todorov, Daniel Mueller-Gritschneder, Helmut Reinig, Ulf Schlichtmann |
| 2013 | A sub-μ Biswajit Mishra, Cyril Botteron, Gabriele Tasselli, Christian Robert, Pierre-André Farine |
| 2013 | A survey of multi-source energy harvesting systems. Alex S. Weddell, Michele Magno, Geoff V. Merrett, Davide Brunelli, Bashir M. Al-Hashimi, Luca Benini |
| 2013 | A transition-signaling bundled data NoC switch architecture for cost-effective GALS multicore systems. Alberto Ghiribaldi, Davide Bertozzi, Steven M. Nowick |
| 2013 | A transparent and energy aware reconfigurable multiprocessor platform for simultaneous ILP and TLP exploitation. Mateus B. Rutzig, Antonio Carlos Schneider Beck, Luigi Carro |
| 2013 | A verilog-a model for reconfigurable logic gates based on graphene pn-junctions. Sandeep Miryala, Mehrdad Montazeri, Andrea Calimera, Enrico Macii, Massimo Poncino |
| 2013 | A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot. Daniel Mueller-Gritschneder, Kun Lu, Erik Wallander, Marc Greim, Ulf Schlichtmann |
| 2013 | A work-stealing scheduling framework supporting fault tolerance. Yizhuo Wang, Weixing Ji, Feng Shi, Qi Zuo |
| 2013 | ARTM: a lightweight fork-join framework for many-core embedded systems. Maroun Ojail, Raphaël David, Yves Lhuillier, Alexandre Guerre |
| 2013 | AVF-driven parity optimization for MBU protection of in-core memory arrays. Michail Maniatakos, Maria K. Michael, Yiorgos Makris |
| 2013 | AVICA: an access-time variation insensitive L1 cache architecture. Seokin Hong, Soontae Kim |
| 2013 | Accuracy vs speed tradeoffs in the estimation of fixed-point errors on linear time-invariant systems. David Novo, Sara El Alaoui, Paolo Ienne |
| 2013 | Accurate QBF-based test pattern generation in presence of unknown values. Stefan Hillebrecht, Michael A. Kochte, Dominik Erb, Hans-Joachim Wunderlich, Bernd Becker |
| 2013 | Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design. Zheng Wang, Kapil Singh, Chao Chen, Anupam Chattopadhyay |
| 2013 | Active power-gating-induced power/ground noise alleviation using parasitic capacitance of on-chip memories. Xuan Wang, Jiang Xu, Wei Zhang, Xiaowen Wu, Yaoyao Ye, Zhehui Wang, Mahdi Nikdast, Zhe Wang |
| 2013 | Active-mode leakage reduction with data-retained power gating. Andrew B. Kahng, Seokhyeong Kang, Bongil Park |
| 2013 | Adaptable, high performance energy harvesters: can energy harvesting deliver enough power for automotive electronics? Paul D. Mitcheson |
| 2013 | Adaptive cache management for a combined SRAM and DRAM cache hierarchy for multi-cores. Fazal Hameed, Lars Bauer, Jörg Henkel |
| 2013 | Adaptive reduction of the frequency search space for multi-vdd digital circuits. Chandra K. H. Suresh, Ender Yilmaz, Sule Ozev, Ozgur Sinanoglu |
| 2013 | Adaptive thermal management for portable system batteries by forced convection cooling. Qing Xie, Siyu Yue, Massoud Pedram, Donghwa Shin, Naehyuck Chang |
| 2013 | Addressing the healthcare cost dilemma by managing health instead of managing illness: an opportunity for wearable wireless sensors. Chris Van Hoof, Julien Penders |
| 2013 | Advances in asynchronous logic: from principles to GALS & NoC, recent industry applications, and commercial CAD tools. Alex Yakovlev, Pascal Vivet, Marc Renaudin |
| 2013 | Alternative power supply concepts for self-sufficient wireless sensor nodes by energy harvesting. Robert Kappel, Günter Hofer, Gerald Holweg, Thomas Herndl |
| 2013 | An EDA-friendly protection scheme against side-channel attacks. Ali Galip Bayrak, Nikola Velickovic, Francesco Regazzoni, David Novo, Philip Brisk, Paolo Ienne |
| 2013 | An H.264 Quad-FullHD low-latency intra video encoder. Muhammad Usman Karim Khan, Jan Micha Borrmann, Lars Bauer, Muhammad Shafique, Jörg Henkel |
| 2013 | An approach for redundancy in FlexRay networks using FPGA partial reconfiguration. Shanker Shreejith, Kizheppatt Vipin, Suhaib A. Fahmy, Martin Lukasiewycz |
| 2013 | An area-efficient network interface for a TDM-based network-on-chip. Jens Sparsø, Evangelia Kasapaki, Martin Schoeberl |
| 2013 | An automated parallel simulation flow for heterogeneous embedded systems. Seyed-Hosein Attarzadeh-Niaki, Ingo Sander |
| 2013 | An automatic tool flow for the combined implementation of multi-mode circuits. Brahim Al Farisi, Karel Bruneel, João M. P. Cardoso, Dirk Stroobandt |
| 2013 | An efficient and flexible hardware support for accelerating synchronization operations on the STHORM many-core architecture. Farhat Thabet, Yves Lhuillier, Caaliph Andriamisaina, Jean-Marc Philippe, Raphaël David |
| 2013 | An efficient network on-chip architecture based on isolating local and non-local communications. Vahideh Akhlaghi, Mehdi Kamal, Ali Afzali-Kusha, Massoud Pedram |
| 2013 | An efficient wirelength model for analytical placement. B. N. Bhramar Ray, Shankar Balachandran |
| 2013 | An elastic mixed-criticality task model and its scheduling algorithm. Hang Su, Dakai Zhu |
| 2013 | An enhanced double-TSV scheme for defect tolerance in 3D-IC. Hsiu-Chuan Shih, Cheng-Wen Wu |
| 2013 | An extremely compact JPEG encoder for adaptive embedded systems. Josef Schneider, Sri Parameswaran |
| 2013 | An integrated approach for managing the lifetime of flash-based SSDs. Sungjin Lee, Taejin Kim, Jisung Park, Jihong Kim |
| 2013 | An open platform for mixed-criticality real-time ethernet. Gonzalo Carvajal, Sebastian Fischmeister |
| 2013 | An ultra-low power hardware accelerator architecture for wearable computers using dynamic time warping. Reza Lotfian, Roozbeh Jafari |
| 2013 | Analytical timing estimation for temporally decoupled TLMs considering resource conflicts. Kun Lu, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2013 | Anti-counterfeiting with hardware intrinsic security. Vincent van der Leest, Pim Tuyls |
| 2013 | Architecture and optimal configuration of a real-time multi-channel memory controller. Manil Dev Gomony, Benny Akesson, Kees Goossens |
| 2013 | Area optimization on fixed analog floorplans using convex area functions. Ahmet Unutulmaz, Günhan Dündar, Francisco V. Fernández |
| 2013 | Automated determination of top level control signals. Rohit Kumar Jain, Praveen Tiwari, Soumen Ghosh |
| 2013 | Automatic and efficient heap data management for limited local memory multicore architectures. Ke Bai, Aviral Shrivastava |
| 2013 | Automatic circuit sizing technique for the analog circuits with flexible TFTs considering process variation and bending effects. Yen-Lung Chen, Wan-Rong Wu, Guan-Ruei Lu, Chien-Nan Jimmy Liu |
| 2013 | Automatic success tree-based reliability analysis for the consideration of transient and permanent faults. Hananeh Aliee, Michael Glaß, Felix Reimann, Jürgen Teich |
| 2013 | Automotive ethernet: in-vehicle networking and smart mobility. Peter Hank, Steffen Müller, Ovidiu Vermesan, Jeroen Van den Keybus |
| 2013 | Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits. Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | Bounding SDRAM interference: detailed analysis vs. latency-rate analysis. Hardik Shah, Alois C. Knoll, Benny Akesson |
| 2013 | Breaking the energy barrier in fault-tolerant caches for multicore systems. Paul Ampadu, Meilin Zhang, Vladimir Stojanovic |
| 2013 | Bridging the gap between dual propagation and CNF-based QBF solving. Alexandra Goultiaeva, Martina Seidl, Armin Biere |
| 2013 | CARS: congestion-aware request scheduler for network interfaces in NoC-based manycore systems. Masoud Daneshtalab, Masoumeh Ebrahimi, Juha Plosila, Hannu Tenhunen |
| 2013 | CATALYST: planning layer directives for effective design closure. Yaoguang Wei, Zhuo Li, Cliff C. N. Sze, Shiyan Hu, Charles J. Alpert, Sachin S. Sapatnekar |
| 2013 | CSER: HW/SW configurable soft-error resiliency for application specific instruction-set processors. Tuo Li, Muhammad Shafique, Semeen Rehman, Swarnalatha Radhakrishnan, Roshan G. Ragel, Jude Angelo Ambrose, Jörg Henkel, Sri Parameswaran |
| 2013 | Cache coherence enabled adaptive refresh for volatile STT-RAM. Jianhua Li, Liang Shi, Qing'an Li, Chun Jason Xue, Yiran Chen, Yinlong Xu |
| 2013 | Capital cost-aware design and partial shading-aware architecture optimization of a reconfigurable photovoltaic system. Yanzhi Wang, Xue Lin, Massoud Pedram, Jaemin Kim, Naehyuck Chang |
| 2013 | Capturing post-silicon variation by layout-aware path-delay testing. Xiaolin Zhang, Jing Ye, Yu Hu, Xiaowei Li |
| 2013 | Capturing vulnerability variations for register files. Javier Carretero, Enric Herrero, Matteo Monchiero, Tanausú Ramírez, Xavier Vera |
| 2013 | Carbon nanotube circuits: opportunities and challenges. Hai Wei, Max M. Shulaker, Gage Hills, Hong-Yu Chen, Chi-Shuen Lee, Luckshitha Liyanage, Jie Zhang, H.-S. Philip Wong, Subhasish Mitra |
| 2013 | Characterizing the performance benefits of fused CPU/GPU systems using FusionSim. Vitaly Zakharenko, Tor M. Aamodt, Andreas Moshovos |
| 2013 | Cherry-picking: exploiting process variations in dark-silicon homogeneous chip multi-processors. Bharathwaj Raghunathan, Yatish Turakhia, Siddharth Garg, Diana Marculescu |
| 2013 | ClockPUF: physical unclonable functions based on clock networks. Yida Yao, Myungbo Kim, Jianmin Li, Igor L. Markov, Farinaz Koushanfar |
| 2013 | Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice. Ibrahim M. Elfadel, Radu Marculescu, David Atienza |
| 2013 | Co-synthesis of data paths and clock control paths for minimum-period clock gating. Wen-Pin Tu, Shih-Hsu Huang, Chun-Hua Cheng |
| 2013 | Combining RAM technologies for hard-error recovery in L1 data caches working at very-low power modes. Vicente Lorente, Alejandro Valero, Julio Sahuquillo, Salvador Petit, Ramon Canal, Pedro López, José Duato |
| 2013 | Communication and migration energy aware design space exploration for multicore systems with intermittent faults. Anup Das, Akash Kumar, Bharadwaj Veeravalli |
| 2013 | Compiling control-intensive loops for CGRAs with state-based full predication. Kyuseung Han, Kiyoung Choi, Jongeun Lee |
| 2013 | Compositional analysis of switched ethernet topologies. Reinhard Schneider, Licong Zhang, Dip Goswami, Alejandro Masrur, Samarjit Chakraborty |
| 2013 | Comprehensive analysis of software countermeasures against fault attacks. Nikolaus Theißing, Dominik Merli, Michael Smola, Frederic Stumpf, Georg Sigl |
| 2013 | Configurability in IP subystems: baseband examples. Pierre-Xavier Thomas, Grant Martin, David Heine, Dennis Moolenaar, James Kim |
| 2013 | Configurable I/O integration to reduce system-on-chip time to market: DDR, PCIe examples. Frank Martin, Peter Bennett |
| 2013 | Conservative open-page policy for mixed time-criticality memory controllers. Sven Goossens, Benny Akesson, Kees Goossens |
| 2013 | Contrasting wavelength-routed optical NoC topologies for power-efficient 3D-stacked multicore processors using physical-layer analysis. Luca Ramini, Paolo Grani, Sandro Bartolini, Davide Bertozzi |
| 2013 | Control-quality driven design of cyber-physical systems with robustness guarantees. Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin |
| 2013 | Core minimization in SAT-based abstraction. Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva |
| 2013 | Correlation-aware virtual machine allocation for energy-efficient datacenters. Jungsoo Kim, Martino Ruggiero, David Atienza, Marcel Lederberger |
| 2013 | Creating a sustainable information and communication infrastructure. Massoud Pedram |
| 2013 | Crosstalk avoidance codes for 3D VLSI. Rajeev Kumar, Sunil P. Khatri |
| 2013 | Cyborg insects, neural interfaces and other things: building interfaces between the synthetic and the multicellular. Joshua Paul van Kleef, Travis L. Massey, Peter Ledochowitsch, Rikky Muller, R. Tiefenauer, Timothy J. Blanche, Hirotaka Sato, Michel M. Maharbiz |
| 2013 | D-MRAM cache: enhancing energy efficiency with 3T-1MTJ DRAM/MRAM hybrid memory. Hiroki Noguchi, Kumiko Nomura, Keiko Abe, Shinobu Fujita, Eishi Arima, Kyundong Kim, Takashi Nakada, Shinobu Miwa, Hiroshi Nakamura |
| 2013 | DA-RAID-5: a disturb aware data protection technique for NAND flash storage systems. Jie Guo, Wujie Wen, Yaojun Zhang, Sicheng Li, Hai Li, Yiran Chen |
| 2013 | DANCE: distributed application-aware node configuration engine in shared reconfigurable sensor networks. Chih-Ming Hsieh, Zhonglei Wang, Jörg Henkel |
| 2013 | DWM-TAPESTRI - an energy efficient all-spin cache using domain wall shift based writes. Rangharajan Venkatesan, Mrigank Sharad, Kaushik Roy, Anand Raghunathan |
| 2013 | Data mining MPSoC simulation traces to identify concurrent memory access patterns. Sofiane Lagraa, Alexandre Termier, Frédéric Pétrot |
| 2013 | DeBAR: deflection based adaptive router with minimal buffering. John Jose, Bhawna Nayak, Damarla Kranthi Kumar, Madhu Mutyam |
| 2013 | Defect-tolerant logic hardening for crossbar-based nanosystems. Yehua Su, Wenjing Rao |
| 2013 | Design and implementation of a group-based RO PUF. Chi-En Daniel Yin, Gang Qu, Qiang Zhou |
| 2013 | Design and implementation of an adaptive proactive reconfiguration technique for SRAM caches. Peyman Pouyan, Esteve Amat, Francesc Moll, Antonio Rubio |
| 2013 | Design of an ultra-low power device for aircraft structural health monitoring. Alessandro Perelli, Carlo Caione, Luca De Marchi, Davide Brunelli, Alessandro Marzani, Luca Benini |
| 2013 | Design of low energy, high performance synchronous and asynchronous 64-point FFT. William Lee, Vikas S. Vij, Anthony R. Thatcher, Kenneth S. Stevens |
| 2013 | Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013 Enrico Macii |
| 2013 | Designing tightly-coupled extension units for the STxP70 processor. Yves Janin, Valérie Bertin, Hervé Chauvet, Thomas Deruyter, Christophe Eichwald, Olivier-André Giraud, Vincent Lorquet, Thomas Thery |
| 2013 | Determining relevant model elements for the verification of UML/OCL specifications. Julia Seiter, Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2013 | Development of a fully implantable recording system for ECoG signals. Jonas Pistor, Janpeter Hoeffmann, David Rotermund, Elena Tolstosheeva, Tim Schellenberg, Dmitriy Boll, Víctor Gordillo-González, Sunita Mandon, Dagmar Peters-Drolshagen, Andreas K. Kreiter, Martin Schneider, Walter Lang, Klaus Pawelzik, Steffen Paul |
| 2013 | Development of low power many-core SoC for multimedia applications. Takashi Miyamori, Hui Xu, Takeshi Kodaka, Hiroyuki Usui, Toru Sano, Jun Tanabe |
| 2013 | DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters. Tom J. Kazmierski, Leran Wang, Bashir M. Al-Hashimi, Geoff V. Merrett |
| 2013 | Dr. Frankenstein's dream made possible: implanted electronic devices. Daniela De Venuto, Alberto L. Sangiovanni-Vincentelli |
| 2013 | Dual-addressing memory architecture for two-dimensional memory access patterns. Yen-Hao Chen, Yi-Yu Liu |
| 2013 | Dynamic configuration prefetching based on piecewise linear prediction. Adrian Alin Lifa, Petru Eles, Zebo Peng |
| 2013 | Effective power network prototyping via statistical-based clustering and sequential linear programming. Shih-Ying Sean Liu, Chieh-Jui Lee, Chuan-Chia Huang, Hung-Ming Chen, Chang-Tzu Lin, Chia-Hsin Lee |
| 2013 | Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths. Matthias Sauer, Sven Reimer, Tobias Schubert, Ilia Polian, Bernd Becker |
| 2013 | Efficient and scalable OpenMP-based system-level design. Alessandro Cilardo, Luca Gallo, Antonino Mazzeo, Nicola Mazzocca |
| 2013 | Efficient cache architectures for reliable hybrid voltage operation using EDC codes. Bojan Maric, Jaume Abella, Mateo Valero |
| 2013 | Efficient importance sampling for high-sigma yield analysis with adaptive online surrogate modeling. Jian Yao, Zuochang Ye, Yan Wang |
| 2013 | Efficient software-based fault tolerance approach on multicore platforms. Hamid Mushtaq, Zaid Al-Ars, Koen Bertels |
| 2013 | Efficient variation-aware statistical dynamic timing analysis for delay test applications. Marcus Wagner, Hans-Joachim Wunderlich |
| 2013 | Electrical calibration of spring-mass MEMS capacitive accelerometers. Lingfei Deng, Vinay Kundur, Naveen Sai Jangala Naga, Muhlis Kenan Ozel, Ender Yilmaz, Sule Ozev, Bertan Bakkaloglu, Sayfe Kiaei, Divya Pratab, Tehmoor Dar |
| 2013 | Electronic implants: power delivery and management. Jacopo Olivo, Sara S. Ghoreishizadeh, Sandro Carrara, Giovanni De Micheli |
| 2013 | Enabling fine-grained OpenMP tasking on tightly-coupled shared memory clusters. Paolo Burgio, Giuseppe Tagliavini, Andrea Marongiu, Luca Benini |
| 2013 | Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems. Gang Chen, Kai Huang, Christian Buckl, Alois C. Knoll |
| 2013 | Energy-efficient in-memory database computing. Wolfgang Lehner |
| 2013 | Energy-efficient memory hierarchy for motion and disparity estimation in multiview video coding. Felipe Sampaio, Bruno Zatt, Muhammad Shafique, Luciano Volcan Agostini, Sergio Bampi, Jörg Henkel |
| 2013 | Energy-efficient multicore chip design through cross-layer approach. Paul Wettin, Jacob Murray, Partha Pratim Pande, Behrooz A. Shirazi, Amlan Ganguly |
| 2013 | Enhanced metamodeling techniques for high-dimensional IC design estimation problems. Andrew B. Kahng, Bill Lin, Siddhartha Nath |
| 2013 | Enhancing multicore reliability through wear compensation in online assignment and scheduling. Thidapat Chantem, Xiang Yun, Xiaobo Sharon Hu, Robert P. Dick |
| 2013 | Error detection in ternary CAMs using bloom filters. Salvatore Pontarelli, Marco Ottavi, Adrian Evans, Shi-Jie Wen |
| 2013 | Event density analysis for event triggered control systems. Tobias Bund, Benjamin Menhorn, Frank Slomka |
| 2013 | Experiences with mobile processors for energy efficient HPC. Nikola Rajovic, Alejandro Rico, James Vipond, Isaac Gelado, Nikola Puzovic, Alex Ramírez |
| 2013 | Explicit transient thermal simulation of liquid-cooled 3D ICs. Alain Fourmigue, Giovanni Beltrame, Gabriela Nicolescu |
| 2013 | Exploiting replicated checkpoints for soft error detection and correction. Fahrettin Koc, Kenan Bozdas, Burak Karsli, Oguz Ergin |
| 2013 | Exploiting subarrays inside a bank to improve phase change memory performance. Jianhui Yue, Yifeng Zhu |
| 2013 | Exploring resource mapping policies for dynamic clustering on NoC-based MPSoCs. Gustavo Girão, Thiago Santini, Flávio Rech Wagner |
| 2013 | Exploring topologies for source-synchronous ring-based network-on-chip. Ayan Mandal, Sunil P. Khatri, Rabi N. Mahapatra |
| 2013 | Extracting analytical nonlinear models from analog circuits by recursive vector fitting of transfer function trajectories. Dimitri de Jonghe, Dirk Deschrijver, Tom Dhaene, Georges G. E. Gielen |
| 2013 | Extracting useful computation from error-prone processors for streaming applications. Yavuz Yetim, Margaret Martonosi, Sharad Malik |
| 2013 | FBLT: a real-time contention manager with improved schedulability. Mohammed El-Shambakey, Binoy Ravindran |
| 2013 | FIFO cache analysis for WCET estimation: a quantitative approach. Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi |
| 2013 | FPGA latency optimization using system-level transformations and DFG restructuring. Daniel Gomez-Prado, Maciej J. Ciesielski, Russell Tessier |
| 2013 | Fast and accurate BER estimation methodology for I/O links based on extreme value theory. Alessandro Cevrero, Nestor E. Evmorfopoulos, Charalampos Antoniadis, Paolo Ienne, Yusuf Leblebici, Andreas Burg, Georgios I. Stamoulis |
| 2013 | Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal Vivet |
| 2013 | Fast and accurate cache modeling in source-level simulation of embedded software. Zhonglei Wang, Jörg Henkel |
| 2013 | Fast and efficient lagrangian relaxation-based discrete gate sizing. Vinicius S. Livramento, Chrystian Guth, José Luís Güntzel, Marcelo O. Johann |
| 2013 | Fast and optimized task allocation method for low vertical link density 3-dimensional networks-on-chip based many core systems. Haoyuan Ying, Thomas Hollstein, Klaus Hofmann |
| 2013 | Fast cache simulation for host-compiled simulation of embedded software. Kun Lu, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2013 | Fast cone-of-influence computation and estimation in problems with multiple properties. Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner |
| 2013 | Fast shared on-chip memory architecture for efficient hybrid computing with CGRAs. Jongeun Lee, Yeonghun Jeong, Sungsok Seo |
| 2013 | FaulTM: error detection and recovery using hardware transactional memory. Gulay Yalcin, Osman S. Unsal, Adrián Cristal |
| 2013 | Fault analysis and simulation of large scale industrial mixed-signal circuits. Ender Yilmaz, Geoff Shofner, LeRoy Winemberg, Sule Ozev |
| 2013 | Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips. Kai Hu, Bang-Ning Hsu, Andrew Madison, Krishnendu Chakrabarty, Richard B. Fair |
| 2013 | Fault-tolerant routing algorithm for 3D NoC using Hamiltonian path strategy. Masoumeh Ebrahimi, Masoud Daneshtalab, Juha Plosila |
| 2013 | Formal analysis of sporadic bursts in real-time systems. Sophie Quinton, Mircea Negrean, Rolf Ernst |
| 2013 | Formal analysis of steady state errors in feedback control systems using HOL-light. Osman Hasan, Muhammad Ahmad |
| 2013 | Formal verification of analog circuit parameters across variation utilizing SAT. Merritt Miller, Forrest Brewer |
| 2013 | From embedded multi-core SoCs to scale-out processors. Marcello Coppola, Babak Falsafi, John Goodacre, George Kornaros |
| 2013 | Future memory and interconnect technologies. Yuan Xie |
| 2013 | Future of GPGPU micro-architectural parameters. Cedric Nugteren, Gert-Jan van den Braak, Henk Corporaal |
| 2013 | GLA: gate-level abstraction revisited. Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2013 | GPU-friendly floating random walk algorithm for capacitance extraction of VLSI interconnects. Kuangya Zhai, Wenjian Yu, Hao Zhuang |
| 2013 | Game-theoretic analysis of decentralized core allocation schemes on many-core systems. Stefan Wildermann, Tobias Ziermann, Jürgen Teich |
| 2013 | HW-SW integration for energy-efficient/variability-aware computing. Gasser Ayad, Andrea Acquaviva, Enrico Macii, Brahim Sahbi, Romain Lemaire |
| 2013 | Handling discontinuous effects in modeling spatial correlation of wafer-level analog/RF tests. Ke Huang, Nathan Kupp, John M. Carulli Jr., Yiorgos Makris |
| 2013 | Hardware-software collaborative complexity reduction scheme for the emerging HEVC intra encoder. Muhammad Usman Karim Khan, Muhammad Shafique, Mateus Grellert, Jörg Henkel |
| 2013 | Hierarchically focused guardbanding: an adaptive approach to mitigate PVT variations and aging. Abbas Rahimi, Luca Benini, Rajesh K. Gupta |
| 2013 | High-level modeling and synthesis for embedded FPGAs. Xiaolin Chen, Shuai Li, Jochen Schleifer, Thomas Coenen, Anupam Chattopadhyay, Gerd Ascheid, Tobias G. Noll |
| 2013 | High-performance imaging subsystems and their integration in mobile devices. Menno Lindwer, Mark Ruvald Pedersen |
| 2013 | High-sensitivity hardware trojan detection using multimodal characterization. Kangqiao Hu, Abdullah Nazma Nowroz, Sherief Reda, Farinaz Koushanfar |
| 2013 | Holistic design parameter optimization of multiple periodic resources in hierarchical scheduling. Man-Ki Yoon, Jung-Eun Kim, Richard M. Bradford, Lui Sha |
| 2013 | Hot-swapping architecture with back-biased testing for mitigation of permanent faults in functional unit array. Zoltán Endre Rákossy, Masayuki Hiromoto, Hiroshi Tsutsui, Takashi Sato, Yukihiro Nakamura, Hiroyuki Ochi |
| 2013 | Hybrid interconnect design for heterogeneous hardware accelerators. Cuong Pham-Quoc, Jan Heisswolf, Stephan Werner, Zaid Al-Ars, Jürgen Becker, Koen Bertels |
| 2013 | Hybrid prototyping of multicore embedded systems. Ehsan Saboori, Samar Abdi |
| 2013 | Hypervised transient SPICE simulations of large netlists & workloads on multi-processor systems. Grigorios Lyras, Dimitrios Rodopoulos, Antonis Papanikolaou, Dimitrios Soudris |
| 2013 | Impact of adaptive voltage scaling on aging-aware signoff. Tuck-Boon Chan, Wei-Ting Jonas Chan, Andrew B. Kahng |
| 2013 | Improving fault tolerance utilizing hardware-software-co-synthesis. Heinz Riener, Stefan Frehse, Görschwin Fey |
| 2013 | Improving simulation speed and accuracy for many-core embedded platforms with ensemble models. Edoardo Paone, Nazanin Vahabi, Vittorio Zaccaria, Cristina Silvano, Diego Melpignano, Germain Haugou, Thierry Lepley |
| 2013 | Incorporating the impacts of workload-dependent runtime variations into timing analysis. Farshad Firouzi, Saman Kiamehr, Mehdi Baradaran Tahoori, Sani R. Nassif |
| 2013 | Innovative energy storage solutions for future electromobility in smart cities. Kevin Green, Salvador Rodríguez González, Ruud Wijtvliet |
| 2013 | Instruction-set extension under process variation and aging effects. Yuko Hara-Azumi, Farshad Firouzi, Saman Kiamehr, Mehdi Baradaran Tahoori |
| 2013 | Interactions of large scale EV mobility and virtual power plants. Randolf Mock, Tullio Salmon Cinotti, Johannes Reinschke, Luciano Bononi |
| 2013 | Intuitive ECO synthesis for high performance circuits. Haoxing Ren, Ruchir Puri, Lakshmi N. Reddy, Smita Krishnaswamy, Cindy Washburn, Joel Earl, Joachim Keinert |
| 2013 | Is TSV-based 3D integration suitable for inter-die memory repair? Mihai Lefter, George Razvan Voicu, Mottaqiallah Taouil, Marius Enachescu, Said Hamdioui, Sorin Dan Cotofana |
| 2013 | Is split manufacturing secure? Jeyavijayan Rajendran, Ozgur Sinanoglu, Ramesh Karri |
| 2013 | LFSR seed computation and reduction using SMT-based fault-chaining. Dhrumeel Bakshi, Michael S. Hsiao |
| 2013 | Large-scale flip-chip power grid reduction with geometric templates. Zhuo Feng |
| 2013 | Leakage and temperature aware server control for improving energy efficiency in data centers. Marina Zapater, José Luis Ayala, José Manuel Moya, Kalyan Vaidyanathan, Kenny C. Gross, Ayse K. Coskun |
| 2013 | Lemma localization: a practical method for downsizing SMT-interpolants. Florian Pigorsch, Christoph Scholl |
| 2013 | Leveraging sensitivity analysis for fast, accurate estimation of SRAM dynamic write V James Boley, Vikas Chandra, Robert C. Aitken, Benton H. Calhoun |
| 2013 | Leveraging variable function resilience for selective software reliability on unreliable hardware. Semeen Rehman, Muhammad Shafique, Pau Vilimelis Aceituno, Florian Kriebel, Jian-Jia Chen, Jörg Henkel |
| 2013 | Low complexity QR-decomposition architecture using the logarithmic number system. Jochen Rust, Frank Ludwig, Steffen Paul |
| 2013 | Low cost permanent fault detection using ultra-reduced instruction set co-processors. Sundaram Ananthanarayanan, Siddharth Garg, Hiren D. Patel |
| 2013 | Low cost power failure protection for MLC NAND flash storage systems with PRAM/DRAM hybrid buffer. Jie Guo, Jun Yang, Youtao Zhang, Yiran Chen |
| 2013 | MALEC: a multiple access low energy cache. Matthias Boettcher, Giacomo Gabrielli, Bashir M. Al-Hashimi, Danny Kershaw |
| 2013 | MARTHA: architecture for control and emulation of power electronics and smart grid systems. Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas |
| 2013 | MTTF-balanced pipeline design. Fabian Oboril, Mehdi Baradaran Tahoori |
| 2013 | Machine learning-based anomaly detection for post-silicon bug diagnosis. Andrew DeOrio, Qingkun Li, Matthew Burgess, Valeria Bertacco |
| 2013 | Memory array protection: check on read or check on write? Panagiota Nikolaou, Yiannakis Sazeides, Lorena Ndreu, Emre Özer, Sachin Idgunji |
| 2013 | Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification. Kartik Mohanram, Matthew Wartell, Sundar Iyer |
| 2013 | Memristor PUFs: a new generation of memory-based physically unclonable functions. Patrick Koeberl, Ünal Koçabas, Ahmad-Reza Sadeghi |
| 2013 | Metastability challenges for 65nm and beyond: simulation and measurements. Salomon Beer, Ran Ginosar, Jerome Cox, Tom Chaney, David M. Zar |
| 2013 | Minimization of P-circuits using Boolean relations. Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa |
| 2013 | Mitigating dark-silicon problems using superlattice-based thermoelectric coolers. Francesco Paterna, Sherief Reda |
| 2013 | Model predictive control over delay-based differentiated services control networks. Riccardo Muradore, Davide Quaglia, Paolo Fiorini |
| 2013 | Model-based energy optimization of automotive control systems. Joost-Pieter Katoen, Thomas Noll, Hao Wu, Thomas Santen, Dirk Seifert |
| 2013 | Modeling and analysis of fault-tolerant distributed memories for networks-on-chip. Abbas BanaiyanMofrad, Nikil D. Dutt, Gustavo Girão |
| 2013 | Modular SoC integration with subsystems: the audio subsystem case. Pieter van der Wolf, Ruud Derwig |
| 2013 | Multi-level phase analysis for sampling simulation. Jiaxin Li, Weihua Zhang, Haibo Chen, Binyu Zang |
| 2013 | Multi-pumping for resource reduction in FPGA high-level synthesis. Andrew Canis, Jason Helge Anderson, Stephen Dean Brown |
| 2013 | Multirate controller design for resource- and schedule-constrained automotive ECUs. Dip Goswami, Alejandro Masrur, Reinhard Schneider, Chun Jason Xue, Samarjit Chakraborty |
| 2013 | Multispeculative additive trees in high-level synthesis. Alberto A. Del Barrio, Román Hermida, Seda Ogrenci Memik, Jose Manuel Mendias, María C. Molina |
| 2013 | Mutation analysis with coverage discounting. Peter Lisherness, Nicole Lesperance, Kwang-Ting (Tim) Cheng |
| 2013 | NUMANA: a hybrid <u>num</u>erical and <u>ana</u>lytical thermal simulator for 3-D ICs. Yu-Min Lee, Tsung-Heng Wu, Pei-Yu Huang, Chi-Ping Yang |
| 2013 | Near-threshold voltage design in nanoscale CMOS. Vivek De |
| 2013 | Non-invasive pre-bond TSV test using ring oscillators and multiple voltage levels. Sergej Deutsch, Krishnendu Chakrabarty |
| 2013 | Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor. Junyoung Park, Ameya Chaudhari, Jacob A. Abraham |
| 2013 | OAP: an obstruction-aware cache management policy for STT-RAM last-level caches. Jue Wang, Xiangyu Dong, Yuan Xie |
| 2013 | On candidate fault sets for fault diagnosis and dominance graphs of equivalence classes. Irith Pomeranz |
| 2013 | On reconfigurable single-electron transistor arrays synthesis using reordering techniques. Chang-En Chiang, Li-Fu Tang, Chun-Yao Wang, Ching-Yi Huang, Yung-Chih Chen, Suman Datta, Vijaykrishnan Narayanan |
| 2013 | On the use of GP-GPUs for accelerating compute-intensive EDA applications. Valeria Bertacco, Debapriya Chatterjee, Nicola Bombieri, Franco Fummi, Sara Vinco, Anirudh M. Kaushik, Hiren D. Patel |
| 2013 | On-line functionally untestable fault identification in embedded processor cores. Paolo Bernardi, Michele Bonazza, Ernesto Sánchez, Matteo Sonza Reorda, Oscar Ballan |
| 2013 | On-line testing of permanent radiation effects in reconfigurable systems. Luca Cassano, Dario Cozzi, Sebastian Korf, Jens Hagemeyer, Mario Porrmann, Luca Sterpone |
| 2013 | On-the-fly verification of memory consistency with concurrent relaxed scoreboards. Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos |
| 2013 | Optical look up table. Zhen Li, Sébastien Le Beux, Christelle Monat, Xavier Letartre, Ian O'Connor |
| 2013 | Optimal control of a grid-connected hybrid electrical energy storage system for homes. Yanzhi Wang, Xue Lin, Massoud Pedram, Sangyoung Park, Naehyuck Chang |
| 2013 | Optimization of secure embedded systems with dynamic task sets. Ke Jiang, Petru Eles, Zebo Peng |
| 2013 | Optimization techniques for craig interpolant compaction in unbounded model checking. Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto |
| 2013 | Optimized out-of-order parallel discrete event simulation using predictions. Weiwei Chen, Rainer Dömer |
| 2013 | Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems. Jung-Eun Kim, Man-Ki Yoon, Sungjin Im, Richard M. Bradford, Lui Sha |
| 2013 | Optimizing BDDs for time-series dataset manipulation. Stergios Stergiou, Jawahar Jain |
| 2013 | Optimizing remote accesses for offloaded kernels: application to high-level synthesis for FPGA. Christophe Alias, Alain Darte, Alexandru Plesco |
| 2013 | Orchestrator: a low-cost solution to reduce voltage emergencies for multi-threaded applications. Xing Hu, Guihai Yan, Yu Hu, Xiaowei Li |
| 2013 | Overcoming post-silicon validation challenges through quick error detection (QED). David Lin, Ted Hong, Yanjing Li, Farzan Fallah, Donald S. Gardner, Nagib Hakim, Subhasish Mitra |
| 2013 | PAGE: parallel agile genetic exploration towards utmost performance for analog circuit design. Po-Cheng Pan, Hung-Ming Chen, Chien-Chih Lin |
| 2013 | PT-AMC: integrating preemption thresholds into mixed-criticality scheduling. Qingling Zhao, Zonghua Gu, Haibo Zeng |
| 2013 | Panel: "will 3D-IC remain a technology of the future... even in the future?". Marco Casale-Rossi, Patrick Leduc, Giovanni De Micheli, Patrick Blouet, Brendan Farley, Anna Fontanelli, Dragomir Milojevic, Steve Smith |
| 2013 | Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey |
| 2013 | Parallel programming with SystemC for loosely timed models: a non-intrusive approach. Matthieu Moy |
| 2013 | Parameterized area-efficient multi-standard turbo decoder. Purushotham Murugappa, Amer Baghdadi, Michel Jézéquel |
| 2013 | Perceptual quality preserving SRAM architecture for color motion pictures. Wen Yueh, Minki Cho, Saibal Mukhopadhyay |
| 2013 | Performance analysis of HPC applications on low-power embedded platforms. Luka Stanisic, Brice Videau, Johan Cronsioe, Augustin Degomme, Vania Marangozova-Martin, Arnaud Legrand, Jean-François Méhaut |
| 2013 | Periodic jitter and bounded uncorrelated jitter decomposition using incoherent undersampling. Nicholas Tzou, Debesh Bhatta, Sen-Wen Hsiao, Abhijit Chatterjee |
| 2013 | Perpetual and low-cost power meter for monitoring residential and industrial appliances. Danilo Porcarelli, Domenico Balsamo, Davide Brunelli, Giacomo Paci |
| 2013 | Phœnix: reviving MLC blocks as SLC to extend NAND flash devices lifetime. Xavier Jimenez, David Novo, Paolo Ienne |
| 2013 | Pipelets: self-organizing software pipelines for many-core architectures. Janmartin Jahn, Jörg Henkel |
| 2013 | Placement optimization of power supply pads based on locality. Pingqiang Zhou, Vivek Mishra, Sachin S. Sapatnekar |
| 2013 | Priority assignment for event-triggered systems using mathematical programming. Martin Lukasiewycz, Sebastian Steinhorst, Samarjit Chakraborty |
| 2013 | Proactive aging management in heterogeneous NoCs through a criticality-driven routing approach. Dean Michael Ancajas, Koushik Chakraborty, Sanghamitra Roy |
| 2013 | Probabilistic timing analysis on conventional cache designs. Leonidas Kosmidis, Charlie Curtsinger, Eduardo Quiñones, Jaume Abella, Emery D. Berger, Francisco J. Cazorla |
| 2013 | Process-variation-aware Iddq diagnosis for nano-scale CMOS designs - the first step. Chia-Ling Chang, Charles H.-P. Wen, Jayanta Bhadra |
| 2013 | Profit maximization through process variation aware high level synthesis with speed binning. Mengying Zhao, Alex Orailoglu, Chun Jason Xue |
| 2013 | QF BV model checking with property directed reachability. Tobias Welp, Andreas Kuehlmann |
| 2013 | Qualification and testing process to implement anti-counterfeiting technologies into IC packages. Nathalie Kae-Nune, Stephanie Pesseguier |
| 2013 | Quality-aware media scheduling on MPSoC platforms. Deepak Gangadharan, Samarjit Chakraborty, Roger Zimmermann |
| 2013 | Radar signature in multiple target tracking system for driver assistant application. Haisheng Liu, Smaïl Niar |
| 2013 | Reachability analysis of nonlinear analog circuits through iterative reachable set reduction. Seyed Nematollah Ahmadyan, Shobha Vasudevan |
| 2013 | Reducing writes in phase-change memory environments by using efficient cache replacement policies. Roberto Rodríguez-Rodríguez, Fernando Castro, Daniel Chaver, Luis Piñuel, Francisco Tirado |
| 2013 | Reliability analysis for integrated circuit amplifiers used in neural measurement systems. Nico Hellwege, Nils Heidmann, Dagmar Peters-Drolshagen, Steffen Paul |
| 2013 | Reliability analysis reloaded: how will we survive? Robert C. Aitken, Görschwin Fey, Zbigniew T. Kalbarczyk, Frank Reichenbach, Matteo Sonza Reorda |
| 2013 | Reliability challenges of real-time systems in forthcoming technology nodes. Said Hamdioui, Michael Nicolaidis, Dimitris Gizopoulos, Arnaud Grasset, Guido Groeseneken, Philippe Bonnot |
| 2013 | Reliability-driven task mapping for lifetime extension of networks-on-chip based multiprocessor systems. Anup Das, Akash Kumar, Bharadwaj Veeravalli |
| 2013 | Resource efficient computing for warehouse-scale datacenters. Christos Kozyrakis |
| 2013 | Resource-constrained high-level datapath optimization in ASIP design. Yuankai Chen, Hai Zhou |
| 2013 | Retiming for Soft Error Minimization Under Error-Latching Window Constraints. Yinghai Lu, Hai Zhou |
| 2013 | Reverse engineering digital circuits using functional analysis. Pramod Subramanyan, Nestan Tsiskaridze, Kanika Pasricha, Dillon Reisman, Adriana Susnea, Sharad Malik |
| 2013 | Reversible logic synthesis of Alireza Shafaei, Mehdi Saeedi, Massoud Pedram |
| 2013 | Roadmap towards ultimately-efficient zeta-scale datacenters. Patrick W. Ruch, Thomas Brunschwiler, Stephan Paredes, Gerhard Ingmar Meijer, Bruno Michel |
| 2013 | Robust and extensible task implementations of synchronous finite state machines. Qi Zhu, Peng Deng, Marco Di Natale, Haibo Zeng |
| 2013 | Role of design in multiple patterning: technology development, design enablement and process control. Rani S. Ghaida, Puneet Gupta |
| 2013 | Run-time probabilistic detection of miscalibrated thermal sensors in many-core systems. Jia Zhao, Shiting (Justin) Lu, Wayne P. Burleson, Russell Tessier |
| 2013 | Runtime power estimation of mobile AMOLED displays. Dongwon Kim, Wonwoo Jung, Hojung Cha |
| 2013 | Runtime verification of nonlinear analog circuits using incremental time-augmented RRT algorithm. Seyed Nematollah Ahmadyan, Jayanand Asok Kumar, Shobha Vasudevan |
| 2013 | SCC thermal model identification via advanced bias-compensated least-squares. Roberto Diversi, Andrea Bartolini, Andrea Tilli, Francesco Beneventi, Luca Benini |
| 2013 | SMART: a single-cycle reconfigurable NoC for SoC applications. Chia-Hsin Owen Chen, Sunghyun Park, Tushar Krishna, Suvinay Subramanian, Anantha P. Chandrakasan, Li-Shiuan Peh |
| 2013 | SPaC: a segment-based parallel compression for backup acceleration in nonvolatile processors. Xiao Sheng, Yiqun Wang, Yongpan Liu, Huazhong Yang |
| 2013 | STT-RAM designs supporting dual-port accesses. Xiuyuan Bi, Mohamed Anis Weldon, Hai Li |
| 2013 | SVR-NoC: a performance analysis tool for network-on-chips using learning-based support vector regression model. Zhiliang Qian, Da-Cheng Juan, Paul Bogdan, Chi-Ying Tsui, Diana Marculescu, Radu Marculescu |
| 2013 | Saliency aware display power management. Yang Xiao, Kevin M. Irick, Vijaykrishnan Narayanan, Donghwa Shin, Naehyuck Chang |
| 2013 | Scalable fault localization for SystemC TLM designs. Hoang Minh Le, Daniel Große, Rolf Drechsler |
| 2013 | Scan design with shadow flip-flops for low performance overhead and concurrent delay fault detection. Sébastien Sarrazin, Samuel Evain, Lirida Alves de Barros Naviner, Yannick Bonhomme, Valentin Gherman |
| 2013 | Scheduling independent liveness analysis for register binding in high level synthesis. Vito Giovanni Castellana, Fabrizio Ferrandi |
| 2013 | Security challenges in automotive hardware/software architecture design. Florian Sagstetter, Martin Lukasiewycz, Sebastian Steinhorst, Marko Wolf, Alexandre Bouard, William R. Harris, Somesh Jha, Thomas Peyrin, Axel Poschmann, Samarjit Chakraborty |
| 2013 | Self-adaptive hybrid dynamic power management for many-core systems. Muhammad Shafique, Benjamin Vogel, Jörg Henkel |
| 2013 | Self-aware cyber-physical systems and applications in smart buildings and cities. Levent Gürgen, Ozan Necati Günalp, Yazid Benazzouz, Mathieu Gallissot |
| 2013 | Semiconductor technologies for smart mobility management. Reiner John, Martin Schulz, Ovidiu Vermesan, Kai Kriegel |
| 2013 | Sensitivity analysis for arbitrary activation patterns in real-time systems. Moritz Neukirchner, Sophie Quinton, Tobias Michaels, Philip Axer, Rolf Ernst |
| 2013 | Sensor-wise methodology to face NBTI stress of NoC buffers. Davide Zoni, William Fornaciari |
| 2013 | Sequentially constructive concurrency: a conservative extension of the synchronous model of computation. Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien |
| 2013 | Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2013 | Shared memory aware MPSoC software deployment. Timo Schönwald, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel |
| 2013 | Slack budgeting and slack to length converting for multi-bit flip-flop merging. Chia-Chieh Lu, Rung-Bin Lin |
| 2013 | SlackProbe: a low overhead in situ on-line timing slack monitoring methodology. Liangzhen Lai, Vikas Chandra, Robert C. Aitken, Puneet Gupta |
| 2013 | Smart systems for internet of things. Benedetto Vigna |
| 2013 | Smart, connected and mobile: architecting future electric mobility ecosystems. Ovidiu Vermesan, Lars-Cyril Julin Blystad, Reiner John, Peter Hank, Roy Bahr, Alessandro Moscatelli |
| 2013 | SmartCap: user experience-oriented power adaptation for smartphone's application processor. Xueliang Li, Guihai Yan, Yinhe Han, Xiaowei Li |
| 2013 | SoC low-power practices for wireless applications. Nicolas Darbel, Stéphane Lecomte |
| 2013 | Software enabled wear-leveling for hybrid PCM main memory on embedded systems. Jingtong Hu, Qingfeng Zhuge, Chun Jason Xue, Wei-Che Tseng, Edwin Hsing-Mean Sha |
| 2013 | Space sensitive cache dumping for post-silicon validation. Sandeep Chandran, Smruti R. Sarangi, Preeti Ranjan Panda |
| 2013 | Sparse-rotary oscillator array (SROA) design for power and skew reduction. Ying Teng, Baris Taskin |
| 2013 | Statically-scheduled application-specific processor design: a case-study on MMSE MIMO equalization. Mostafa Rizk, Amer Baghdadi, Michel Jézéquel, Yasser Mohana, Youssef Atat |
| 2013 | Statistical modeling with the virtual source MOSFET model. Li Yu, Lan Wei, Dimitri A. Antoniadis, Ibrahim M. Elfadel, Duane S. Boning |
| 2013 | Stochastic degradation modeling and simulation for analog integrated circuits in nanometer CMOS. Georges G. E. Gielen, Elie Maricau |
| 2013 | Sub-quadratic objectives in quadratic placement. Markus Struzyna |
| 2013 | Substitute-and-simplify: a unified design paradigm for approximate and quality configurable circuits. Swagath Venkataramani, Kaushik Roy, Anand Raghunathan |
| 2013 | Sufficient real-time analysis for an engine control unit with constant angular velocities. Victor Pollex, Timo Feld, Frank Slomka, Ulrich Margull, Ralph Mader, Gerhard Wirrer |
| 2013 | Supervisor synthesis for controller upgrades. Johannes Kloos, Rupak Majumdar |
| 2013 | Support for dynamic issue width in VLIW processors using generic binaries. Anthony Brandon, Stephan Wong |
| 2013 | Sustainable energy policies: research challenges and opportunities. Michela Milano |
| 2013 | Switch folding: network-on-chip routers with time-multiplexed output ports. Giorgos Dimitrakopoulos, N. Georgiadis, Chrysostomos Nicopoulos, Emmanouil Kalligeros |
| 2013 | Synchronizing code execution on ultra-low-power embedded multi-channel signal analysis platforms. Ahmed Yasir Dogan, Rubén Braojos, Jeremy Constantin, Giovanni Ansaloni, Andreas Burg, David Atienza |
| 2013 | System and circuit level power modeling of energy-efficient 3D-stacked wide I/O DRAMs. Karthik Chandrasekar, Christian Weis, Benny Akesson, Norbert Wehn, Kees Goossens |
| 2013 | System-level modeling and microprocessor reliability analysis for backend wearout mechanisms. Chang-Chih Chen, Linda Milor |
| 2013 | System-level modeling of energy in TLM for early validation of power and thermal management. Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi |
| 2013 | Systematic design of nanomagnet logic circuits. Indranil Palit, Xiaobo Sharon Hu, Joseph Nahas, Michael T. Niemier |
| 2013 | Test solution for data retention faults in low-power SRAMs. Leonardo Bonet Zordan, Alberto Bosio, Luigi Dilillo, Patrick Girard, Aida Todri, Arnaud Virazel, Nabil Badereddine |
| 2013 | Testing for SoCs with advanced static and dynamic power-management capabilities. Xrysovalantis Kavousianos, Krishnendu Chakrabarty |
| 2013 | The RecoBlock SoC platform: a flexible array of reusable run-time-reconfigurable IP-blocks. Byron Navas, Ingo Sander, Johnny Öberg |
| 2013 | The design of sustainable wireless sensor network node using solar energy and phase change memory. Ping Zhou, Youtao Zhang, Jun Yang |
| 2013 | Thermal-aware datapath merging for coarse-grained reconfigurable processors. Sotirios Xydis, Gianluca Palermo, Cristina Silvano |
| 2013 | Thermomechanical stress-aware management for 3D IC designs. Qiaosha Zou, Tao Zhang, Eren Kursun, Yuan Xie |
| 2013 | Threshold voltage distribution in MLC NAND flash memory: characterization, analysis, and modeling. Yu Cai, Erich F. Haratsch, Onur Mutlu, Ken Mai |
| 2013 | Time- and angle-triggered real-time kernel. Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa |
| 2013 | Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems. Mircea Negrean, Sebastian Klawitter, Rolf Ernst |
| 2013 | Topology-agnostic fault-tolerant NoC routing method. Eduardo Wächter, Augusto Erichsen, Alexandre M. Amory, Fernando Moraes |
| 2013 | Toward polychronous analysis and validation for timed software architectures in AADL. Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz |
| 2013 | Towards a generic verification methodology for system models. Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, Rolf Drechsler |
| 2013 | Towards adaptive test of multi-core RF SoCs. Rajesh Mittal, Lakshmanan Balasubramanian, Y. B. Chethan Kumar, V. R. Devanathan, Mudasir Kawoosa, Rubin A. Parekhji |
| 2013 | Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking. Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg |
| 2013 | TreeFTL: efficient RAM management for high performance of NAND flash-based storage systems. Chundong Wang, Weng-Fai Wong |
| 2013 | Trojan detection via delay measurements: a new approach to select paths and vectors to maximize effectiveness and minimize cost. Byeongju Cha, Sandeep K. Gupta |
| 2013 | Tuning dynamic data flow analysis to support design understanding. Jan Malburg, Alexander Finder, Görschwin Fey |
| 2013 | UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency. Philippe Magarshack, Philippe Flatresse, Giorgio Cesana |
| 2013 | Ultra-low power: an EDA challenge. Christoph Grimm, Javier Moreno, Xiao Pan |
| 2013 | Ultra-wide voltage range designs in fully-depleted silicon-on-insulator FETs. Edith Beigné, Alexandre Valentian, Bastien Giraud, Olivier Thomas, Thomas Benoist, Yvain Thonnart, Serge Bernard, Guillaume Moritz, Olivier Billoint, Y. Maneglia, Philippe Flatresse, Jean-Philippe Noel, Fady Abouzeid, Bertrand Pelloux-Prayer, Anuj Grover, Sylvain Clerc, Philippe Roche, Julien Le Coz, Sylvain Engels, Robin Wilson |
| 2013 | User-aware energy efficient streaming strategy for smartphone based video playback applications. Hao Shen, Qinru Qiu |
| 2013 | Using cubes of non-state variables with property directed reachability. John D. Backes, Marc D. Riedel |
| 2013 | Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors. Yue Gao, Sandeep K. Gupta, Melvin A. Breuer |
| 2013 | Using synchronization stalls in power-aware accelerators. Ali Jooya, Amirali Baniasadi |
| 2013 | Utility-aware deferred load balancing in the cloud driven by dynamic pricing of electricity. Muhammad Abdullah Adnan, Rajesh Gupta |
| 2013 | Utilizing voltage-frequency islands in C-to-RTL synthesis for streaming applications. Xinyu He, Shuangchen Li, Yongpan Liu, Xiaobo Sharon Hu, Huazhong Yang |
| 2013 | Variation-tolerant OpenMP tasking on tightly-coupled processor clusters. Abbas Rahimi, Andrea Marongiu, Paolo Burgio, Rajesh K. Gupta, Luca Benini |
| 2013 | Verifying safety and liveness for the FlexTM hybrid transactional memory. Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu |
| 2013 | Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs. Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Shashikanth Bobba, Michele De Marchi, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli |
| 2013 | What designs for coming supercomputers? Xavier Vigouroux |
| 2013 | Wireless interconnect for board and chip level. Gerhard P. Fettweis, Najeeb ul Hassan, Lukas Landau, Erik Fischer |
| 2013 | Wireless sensor network simulation for security and performance analysis. Álvaro Díaz Suárez, Pablo Sánchez Espeso, Juan Sancho, Juan Rico |
| 2013 | e-Mobility the next frontier for automotive industry. Roberto Zafalon, Giovanni Coppola, Ovidiu Vermesan |