| 2012 | 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012 Wolfgang Rosenstiel, Lothar Thiele |
| 2012 | 3D-FlashMap: A physical-location-aware block mapping strategy for 3D NAND flash memory. Yi Wang, Luis Angel D. Bathen, Zili Shao, Nikil D. Dutt |
| 2012 | 3DHLS: Incorporating high-level synthesis in physical planning of three-dimensional (3D) ICs. Yibo Chen, Guangyu Sun, Qiaosha Zou, Yuan Xie |
| 2012 | A GPU-accelerated envelope-following method for switching power converter simulation. Xuexin Liu, Sheldon X.-D. Tan, Hai Wang, Hao Yu |
| 2012 | A Network-on-Chip-based turbo/LDPC decoder architecture. Carlo Condo, Maurizio Martina, Guido Masera |
| 2012 | A SAT-based fitness function for evolutionary optimization of polymorphic circuits. Lukás Sekanina, Zdenek Vasícek |
| 2012 | A TDM NoC supporting QoS, multicast, and fast connection set-up. Radu Andrei Stefan, Anca Mariana Molnos, Jude Angelo Ambrose, Kees Goossens |
| 2012 | A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems. Duo Liu, Tianzheng Wang, Yi Wang, Zhiwei Qin, Zili Shao |
| 2012 | A case study on the application of real phase-change RAM to main memory subsystem. Suknam Kwon, Dongki Kim, Youngsik Kim, Sungjoo Yoo, Sunggu Lee |
| 2012 | A closed-loop system for artifact mitigation in ambulatory electrocardiogram monitoring. Mohammed Shoaib, Gene Marsh, Harinath Garudadri, Somdeb Majumdar |
| 2012 | A clustering-based scheme for concurrent trace in debugging NoC-based multicore systems. Jianliang Gao, Jianxin Wang, Yinhe Han, Lei Zhang, Xiaowei Li |
| 2012 | A complexity adaptive channel estimator for low power. Zhibin Yu, C. H. van Berkel, Hong Li |
| 2012 | A compression-based area-efficient recovery architecture for nonvolatile processors. Yiqun Wang, Yongpan Liu, Yumeng Liu, Daming Zhang, Shuangchen Li, Baiko Sai, Mei-Fang Chiang, Huazhong Yang |
| 2012 | A cross-layer approach for new reliability-performance trade-offs in MLC NAND flash memories. Cristian Zambelli, Marco Indaco, Michele Fabiano, Stefano Di Carlo, Paolo Prinetto, Piero Olivo, Davide Bertozzi |
| 2012 | A cyberphysical synthesis approach for error recovery in digital microfluidic biochips. Yan Luo, Krishnendu Chakrabarty, Tsung-Yi Ho |
| 2012 | A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture. Timo Stripf, Ralf König, Jürgen Becker |
| 2012 | A divide and conquer based distributed run-time mapping methodology for many-core platforms. Iraklis Anagnostopoulos, Alexandros Bartzas, Georgios Kathareios, Dimitrios Soudris |
| 2012 | A fast analog circuit yield estimation method for medium and high dimensional problems. Bo Liu, Jarir Messaoudi, Georges G. E. Gielen |
| 2012 | A fast, source-synchronous ring-based network-on-chip design. Ayan Mandal, Sunil P. Khatri, Rabi N. Mahapatra |
| 2012 | A flexible and fast software implementation of the FFT on the BPE platform. Teo Cupaiuolo, Daniele Lo Iacono |
| 2012 | A flit-level speedup scheme for network-on-chips using self-reconfigurable bi-directional channels. Zhiliang Qian, Ying Fei Teh, Chi-Ying Tsui |
| 2012 | A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach. Georgios Panagopoulos, Charles Augustine, Kaushik Roy |
| 2012 | A guiding coverage metric for formal verification. Finn Haedicke, Daniel Große, Rolf Drechsler |
| 2012 | A high performance split-radix FFT with constant geometry architecture. Joyce Kwong, Manish Goel |
| 2012 | A high-performance dense block matching solution for automotive 6D-vision. Henning Sahlbach, Sean Whitty, Rolf Ernst |
| 2012 | A hybrid HW-SW approach for intermittent error mitigation in streaming-based embedded systems. Mohamed M. Sabry, David Atienza, Francky Catthoor |
| 2012 | A methodology for automated design of hard-real-time embedded streaming systems. Mohamed Bamakhrama, Jiali Teddy Zhai, Hristo Nikolov, Todor P. Stefanov |
| 2012 | A multi-parameter bio-electric ASIC sensor with integrated 2-wire data transmission protocol for wearable healthcare system. Geng Yang, Jian Chen, Fredrik Jonsson, Hannu Tenhunen, Li-Rong Zheng |
| 2012 | A new SBST algorithm for testing the register file of VLIW processors. Davide Sabena, Matteo Sonza Reorda, Luca Sterpone |
| 2012 | A probabilistic analysis method for functional qualification under Mutation Analysis. Hsiu-Yi Lin, Chun-Yao Wang, Shih-Chieh Chang, Yung-Chih Chen, Hsuan-Ming Chou, Ching-Yi Huang, Yen-Chi Yang, Chun-Chien Shen |
| 2012 | A resilient architecture for low latency communication in shared-L1 processor clusters. Mohammad Reza Kakoee, Igor Loi, Luca Benini |
| 2012 | A scalable GPU-based approach to accelerate the multiple-choice knapsack problem. Bharath Suri, Unmesh D. Bordoloi, Petru Eles |
| 2012 | A scan pattern debugger for partial scan industrial designs. Kameshwar Chandrasekar, Supratik K. Misra, Sanjay Sengupta, Michael S. Hsiao |
| 2012 | A sensor-assisted self-authentication framework for hardware trojan detection. Min Li, Azadeh Davoodi, Mohammad Tehranipoor |
| 2012 | AFRA: A low cost high performance reliable routing for 3D mesh NoCs. Sara Akbari, Ali Shafiee, Mahmood Fathy, Reza Berangi |
| 2012 | AIR (Aerial Image Retargeting): A novel technique for in-fab automatic model-based retargeting-for-yield. Ayman Yehia Hamouda, Mohab Anis, Karim S. Karim |
| 2012 | ASIC implementations of five SHA-3 finalists. Xu Guo, Meeta Srivastav, Sinan Huang, Dinesh Ganta, Michael B. Henry, Leyla Nazhandali, Patrick Schaumont |
| 2012 | Accelerators and emulators: Can they become the platform of choice for hardware verification? Bashir M. Al-Hashimi, Ronny Morad |
| 2012 | Accurate source-level simulation of embedded software with respect to compiler optimizations. Zhonglei Wang, Jörg Henkel |
| 2012 | Accurately timed transaction level models for virtual prototyping at high abstraction level. Kun Lu, Daniel Mueller-Gritschneder, Ulf Schlichtmann |
| 2012 | Advances in variation-aware modeling, verification, and testing of analog ICs. Dimitri de Jonghe, Elie Maricau, Georges G. E. Gielen, Trent McConaghy, Bratislav Tasic, Haralampos-G. D. Stratigopoulos |
| 2012 | Agglomerative-based flip-flop merging with signal wirelength optimization. Shih-Ying Liu, Chieh-Jui Lee, Hung-Ming Chen |
| 2012 | Almost every wire is removable: A modeling and solution for removing any circuit wire. Xiaoqing Yang, Tak-Kei Lam, Wai-Chung Tang, Yu-Liang Wu |
| 2012 | Amplitude demodulation-based EM analysis of different RSA implementations. Guilherme Perin, Lionel Torres, Pascal Benoit, Philippe Maurine |
| 2012 | An FPGA-based accelerator for cortical object classification. Mi Sun Park, Srinidhi Kestur, Jagdish Sabarad, Vijaykrishnan Narayanan, Mary Jane Irwin |
| 2012 | An FPGA-based parallel processor for Black-Scholes option pricing using finite differences schemes. Georgios Chatziparaskevas, Andreas Brokalakis, Ioannis Papaefstathiou |
| 2012 | An MILP-based aging-aware routing algorithm for NoCs. Kshitij Bhardwaj, Koushik Chakraborty, Sanghamitra Roy |
| 2012 | An accurate Single Event Effect digital design flow for reliable system level design. Julian J. H. Pontes, Ney Calazans, Pascal Vivet |
| 2012 | An adaptive approach for online fault management in many-core architectures. Cristiana Bolchini, Antonio Miele, Donatella Sciuto |
| 2012 | An analytical technique for characterization of transceiver IQ imbalances in the loop-back mode. Afsaneh Nassery, Sule Ozev |
| 2012 | An architecture-level approach for mitigating the impact of process variations on extensible processors. Mehdi Kamal, Ali Afzali-Kusha, Saeed Safari, Massoud Pedram |
| 2012 | An efficient framework for passive compact dynamical modeling of multiport linear systems. Zohaib Mahmood, Roberto Suaya, Luca Daniel |
| 2012 | An energy efficient DRAM subsystem for 3D integrated SoCs. Christian Weis, Igor Loi, Luca Benini, Norbert Wehn |
| 2012 | An hybrid architecture to detect transient faults in microprocessors: An experimental validation. Salvatore Campagna, Massimo Violante |
| 2012 | An instruction scratchpad memory allocation for the precision timed architecture. Aayush Prakash, Hiren D. Patel |
| 2012 | An integrated test generation tool for enhanced coverage of Simulink/Stateflow models. Prakash Mohan Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh |
| 2012 | An operational matrix-based algorithm for simulating linear and fractional differential circuits. Yuanzhe Wang, Haotian Liu, Grantham K. H. Pang, Ngai Wong |
| 2012 | An out-of-order superscalar processor on FPGA: The ReOrder Buffer design. Mathieu Rosiere, Jean Lou Desbarbieux, Nathalie Drach, Franck Wajsbürt |
| 2012 | Analysis and design of sub-harmonically injection locked oscillators. Arkosnato Neogy, Jaijeet S. Roychowdhury |
| 2012 | Analysis and runtime management of 3D systems with stacked DRAM for boosting energy efficiency. Jie Meng, Ayse K. Coskun |
| 2012 | Analysis of instruction-level vulnerability to dynamic voltage and temperature variations. Abbas Rahimi, Luca Benini, Rajesh K. Gupta |
| 2012 | Analysis of multi-domain scenarios for optimized dynamic power management strategies. Jochen Zimmermann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2012 | Application-specific memory partitioning for joint energy and lifetime optimization. Haroon Mahmood, Massimo Poncino, Mirko Loghi, Enrico Macii |
| 2012 | Application-specific power-efficient approach for reducing register file vulnerability. Hamed Tabkhi, Gunar Schirner |
| 2012 | Approximating checkers for simulation acceleration. Biruk Mammo, Debapriya Chatterjee, Dmitry Pidan, Amir Nahir, Avi Ziv, Ronny Morad, Valeria Bertacco |
| 2012 | Architecting a common-source-line array for bipolar non-volatile memory devices. Bo Zhao, Jun Yang, Youtao Zhang, Yiran Chen, Hai Li |
| 2012 | Area efficient asynchronous SDM routers using 2-stage Clos switches. Wei Song, Doug A. Edwards, Jim D. Garside, William J. Bainbridge |
| 2012 | Asymmetry of MTJ switching and its implication to STT-RAM designs. Yaojun Zhang, Xiaobin Wang, Yong Li, Alex K. Jones, Yiran Chen |
| 2012 | Automated construction of a cycle-approximate transaction level model of a memory controller. Vladimir Todorov, Daniel Mueller-Gritschneder, Helmut Reinig, Ulf Schlichtmann |
| 2012 | Automated critical device identification for configurable analogue transistors. Robert Rudolf, Pouya Taatizadeh, Reuben Wilcock, Peter R. Wilson |
| 2012 | Automated generation of directed tests for transition coverage in cache coherence protocols. Xiaoke Qin, Prabhat Mishra |
| 2012 | Automatic design of low-power encoders using reversible circuit synthesis. Robert Wille, Rolf Drechsler, Christof Osewold, Alberto García Ortiz |
| 2012 | Automatic generation of functional models for embedded processor extensions. Fei Sun |
| 2012 | Automatic transition between structural system views in a safety relevant embedded systems development process. Christian Ellen, Christoph Etzien, Markus Oertel |
| 2012 | Batteries and battery management systems for electric vehicles. M. Brandl, Harald Gall, Martin M. Wenger, Vincent R. H. Lorentz, Martin Giegerich, Federico Baronti, Gabriele Fantechi, Luca Fanucci, Roberto Roncella, Roberto Saletti, Sergio Saponara, Alexander Thaler, Martin Cifrain, W. Prochazka |
| 2012 | Benefits of green energy and proportionality in high speed wide area networks connecting data centers. Baris Aksanli, Tajana Simunic Rosing, Inder Monga |
| 2012 | Beyond CMOS - benchmarking for future technologies. Clivia M. Sotomayor Torres, Jouni Ahopelto, Mart W. M. Graef, R. M. Popp, Wolfgang Rosenstiel |
| 2012 | Bloom filter-based dynamic wear leveling for phase-change RAM. Joosung Yun, Sunggu Lee, Sungjoo Yoo |
| 2012 | Bounding WCET of applications using SDRAM with Priority Based Budget Scheduling in MPSoCs. Hardik Shah, Andreas Raabe, Alois C. Knoll |
| 2012 | CACTI-3DD: Architecture-level modeling for 3D die-stacked DRAM main memory. Ke Chen, Sheng Li, Naveen Muralimanohar, Jung Ho Ahn, Jay B. Brockman, Norman P. Jouppi |
| 2012 | CATRA- congestion aware trapezoid-based routing algorithm for on-chip networks. Masoumeh Ebrahimi, Masoud Daneshtalab, Pasi Liljeberg, Juha Plosila, Hannu Tenhunen |
| 2012 | Challenges and emerging solutions in testing TSV-based 2 1 over 2D- and 3D-stacked ICs. Erik Jan Marinissen |
| 2012 | Challenges and new trends in probabilistic timing analysis. Sophie Quinton, Rolf Ernst, Dominique Bertrand, Patrick Meumeu Yomsi |
| 2012 | Challenges in verifying an integrated 3D design. Tsunwai Gary Yip, Chuan Yung Hung, Venu Iyengar |
| 2012 | Characterization of the bistable ring PUF. Qingqing Chen, György Csaba, Paolo Lugli, Ulf Schlichtmann, Ulrich Rührmair |
| 2012 | Clock skew scheduling for timing speculation. Rong Ye, Feng Yuan, Hai Zhou, Qiang Xu |
| 2012 | Co-design techniques for distributed real-time embedded systems with communication security constraints. Ke Jiang, Petru Eles, Zebo Peng |
| 2012 | Combining module selection and replication for throughput-driven streaming programs. Jason Cong, Muhuan Huang, Bin Liu, Peng Zhang, Yi Zou |
| 2012 | Comparative analysis of SRAM memories used as PUF primitives. Geert Jan Schrijen, Vincent van der Leest |
| 2012 | Comparison of Self-Timed Ring and Inverter Ring Oscillators as entropy sources in FPGAs. Abdelkarim Cherkaoui, Viktor Fischer, Alain Aubert, Laurent Fesquet |
| 2012 | Complexity, quality and robustness - the challenges of tomorrow's automotive electronics. Ulrich Abelein, Helmut Lochner, Daniel Hahn, Stefan Straube |
| 2012 | Component-based and aspect-oriented methodology and tool for Real-Time Embedded Control Systems Design. Rédha Hamouche, Rémy Kocik |
| 2012 | Compositional system-level design exploration with planning of high-level synthesis. Hung-Yi Liu, Michele Petracca, Luca P. Carloni |
| 2012 | Congestion-aware scheduling for NoC-based reconfigurable systems. Hung-Lin Chao, Yean-Ru Chen, Sheng-Ya Tong, Pao-Ann Hsiung, Sao-Jie Chen |
| 2012 | Correct-by-construction multi-component SoC design. Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu |
| 2012 | CrashTest'ing SWAT: Accurate, gate-level evaluation of symptom-based resiliency solutions. Andrea Pellegrini, Robert Smolinski, Lei Chen, Xin Fu, Siva Kumar Sastry Hari, Junhao Jiang, Sarita V. Adve, Todd M. Austin, Valeria Bertacco |
| 2012 | Cross entropy minimization for efficient estimation of SRAM failure rate. Mohammed Abdul Shahid |
| 2012 | Current source modeling for power and timing analysis at different supply voltages. Christoph Knoth, Hela Jedda, Ulf Schlichtmann |
| 2012 | Custom on-chip sensors for post-silicon failing path isolation in the presence of process variations. Min Li, Azadeh Davoodi, Lin Xie |
| 2012 | Cyber-physical cloud computing: The binding and migration problem. Christoph M. Kirsch, Eloi Pereira, Raja Sengupta, Hao Chen, Robert Hansen, Jiangchuan Huang, Florian Landolt, Michael Lippautz, Andreas Rottmann, Ryan Swick, Rainer Trummer, D. Vizzini |
| 2012 | DRAM selection and configuration for real-time mobile systems. Manil Dev Gomony, Christian Weis, Benny Akesson, Norbert Wehn, Kees Goossens |
| 2012 | Debugging of inconsistent UML/OCL models. Robert Wille, Mathias Soeken, Rolf Drechsler |
| 2012 | Design and analysis of via-configurable routing fabrics for structured ASICs. Hsin-Pei Tsai, Rung-Bin Lin, Liang-Chi Lai |
| 2012 | Design for test and reliability in ultimate CMOS. Michael Nicolaidis, Lorena Anghel, Nacer-Eddine Zergainoh, Yervant Zorian, Tanay Karnik, Keith A. Bowman, James W. Tschanz, Shih-Lien Lu, Carlos Tokunaga, Arijit Raychowdhury, Muhammad M. Khellah, Jaydeep P. Kulkarni, Vivek De, Dimiter Avresky |
| 2012 | Design of a collective communication infrastructure for barrier synchronization in cluster-based nanoscale MPSoCs. José L. Abellán, Juan Fernández Peinador, Manuel E. Acacio, Davide Bertozzi, Daniele Bortolotti, Andrea Marongiu, Luca Benini |
| 2012 | Design of a low-energy data processing architecture for WSN nodes. Cedric Walravens, Wim Dehaene |
| 2012 | Design of an intrinsically-linear double-VCO-based ADC with 2 Peng Gao, Xinpeng Xing, Jan Craninckx, Georges G. E. Gielen |
| 2012 | Design of low-complexity digital finite impulse response filters on FPGAs. Levent Aksoy, Eduardo Costa, Paulo F. Flores, José Monteiro |
| 2012 | Design of streaming applications on MPSoCs using abstract clocks. Abdoulaye Gamatié |
| 2012 | Design space pruning through hybrid analysis in system-level design space exploration. Roberta Piscitelli, Andy D. Pimentel |
| 2012 | Designing FlexRay-based automotive architectures: A holistic OEM approach. Paul Milbredt, Michael Glaß, Martin Lukasiewycz, Andreas Steininger, Jürgen Teich |
| 2012 | DfT schemes for resistive open defects in RRAMs. Nor Zaidi Haron, Said Hamdioui |
| 2012 | Double-patterning friendly grid-based detailed routing with online conflict resolution. Islam S. Abed, Amr G. Wassal |
| 2012 | Dual Greedy: Adaptive garbage collection for page-mapping solid-state disks. Wen-Huei Lin, Li-Pin Chang |
| 2012 | Dynamic Directories: A mechanism for reducing on-chip interconnect power in multicores. Abhishek Das, Matthew Schuchhardt, Nikos Hardavellas, Gokhan Memik, Alok N. Choudhary |
| 2012 | Dynamic cache management in multi-core architectures through run-time adaptation. Fazal Hameed, Lars Bauer, Jörg Henkel |
| 2012 | Dynamic-priority arbiter and multiplexer soft macros for on-chip networks switches. Giorgos Dimitrakopoulos, Emmanouil Kalligeros |
| 2012 | Dynamically reconfigurable hybrid cache: An energy-efficient last-level cache design. Yu-Ting Chen, Jason Cong, Hui Huang, Bin Liu, Chunyue Liu, Miodrag Potkonjak, Glenn Reinman |
| 2012 | EDA solutions to new-defect detection in advanced process technologies. Erik Jan Marinissen, Gilbert Vandling, Sandeep Kumar Goel, Friedrich Hapke, Jason Rivers, Nikolaus Mittermaier, Swapnil Bahl |
| 2012 | Efficiency evaluation of parametric failure mitigation techniques for reliable SRAM operation. Elena I. Vatajelu, Joan Figueras |
| 2012 | Efficient Gröbner basis reductions for formal verification of galois field multipliers. Jinpeng Lv, Priyank Kalla, Florian Enescu |
| 2012 | Efficient variation-aware EM-semiconductor coupled solver for the TSV structures in 3D IC. Yuanzhe Xu, Wenjian Yu, Quan Chen, Lijun Jiang, Ngai Wong |
| 2012 | Eliminating invariants in UML/OCL models. Mathias Soeken, Robert Wille, Rolf Drechsler |
| 2012 | Embedded systems and software challenges in electric vehicles. Samarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib A. Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier, Hans Adlkofer |
| 2012 | Enabling advanced inference on sensor nodes through direct use of compressively-sensed signals. Mohammed Shoaib, Niraj K. Jha, Naveen Verma |
| 2012 | Enabling dynamic assertion-based verification of embedded software through model-driven design. Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2012 | Energy-efficient branch prediction with Compiler-guided History Stack. Mingxing Tan, Xianhua Liu, Zichao Xie, Dong Tong, Xu Cheng |
| 2012 | Enhancing non-linear kernels by an optimized memory hierarchy in a High Level Synthesis flow. Stéphane Mancini, Frédéric Rousseau |
| 2012 | Error patterns in MLC NAND flash memory: Measurement, characterization, and analysis. Yu Cai, Erich F. Haratsch, Onur Mutlu, Ken Mai |
| 2012 | Estimation based power and supply voltage management for future RF-powered multi-core smart cards. Norbert Druml, Christian Steger, Reinhold Weiss, Andreas Genser, Josef Haid |
| 2012 | Evaluation of a new RFID system performance monitoring approach. Gilles Fritz, Vincent Beroulle, Oum-El-Kheir Aktouf, David Hély |
| 2012 | Experimentally driven verification of synthetic biological circuits. Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore |
| 2012 | Exploiting area/delay tradeoffs in high-level synthesis. Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2012 | Exploiting binary translation for fast ASIP design space exploration on FPGAs. Sebastiano Pomata, Paolo Meloni, Giuseppe Tuveri, Luigi Raffo, Menno Lindwer |
| 2012 | Exploring pausible clocking based GALS design for 40-nm system integration. Xin Fan, Milos Krstic, Eckhard Grass, Birgit Sanders, Christoph Heer |
| 2012 | Extending the lifetime of NAND flash memory by salvaging bad blocks. Chundong Wang, Weng-Fai Wong |
| 2012 | FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. Nicola Bombieri, Franco Fummi, Valerio Guarnieri |
| 2012 | Fair energy resource allocation by minority game algorithm for smart buildings. Chun Zhang, Wei Wu, Hantao Huang, Hao Yu |
| 2012 | Fast and lightweight support for nested parallelism on cluster-based embedded many-cores. Andrea Marongiu, Paolo Burgio, Luca Benini |
| 2012 | Fast cycle estimation methodology for instruction-level emulator. David Thach, Yutaka Tamiya, Shinya Kuwamura, Atsushi Ike |
| 2012 | Fast isomorphism testing for a graph-based analog circuit synthesis framework. Markus Meissner, Oliver Mitea, Linda Luy, Lars Hedrich |
| 2012 | Fixed origin corner square inspection layout regularity metric. Marc Pons, Marc-Nicolas Morgan, Christian Piguet |
| 2012 | Formal analysis of sporadic overload in real-time systems. Sophie Quinton, Matthias Hanke, Rolf Ernst |
| 2012 | Formal methods for ranking counterexamples through assumption mining. Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta |
| 2012 | Generating instruction streams using abstract CSP. Yoav Katz, Michal Rimon, Avi Ziv |
| 2012 | Genetic/bio design automation for (re-)engineering biological systems. Soha Hassoun |
| 2012 | Guidelines for model based systems engineering. Dierk Steinbach |
| 2012 | Harmonic semi-partitioned scheduling for fixed-priority real-time tasks on multi-core platform. Ming Fan, Gang Quan |
| 2012 | Hazard driven test generation for SMT processors. Padmaraj Singh, Vijaykrishnan Narayanan, David L. Landis |
| 2012 | Hierarchical analog circuit reliability analysis using multivariate nonlinear regression and active learning sample selection. Elie Maricau, Dimitri de Jonghe, Georges G. E. Gielen |
| 2012 | Hierarchical propagation of geometric constraints for full-custom physical design of ICs. Maximilian Mittag, Andreas Krinke, Göran Jerke, Wolfgang Rosenstiel |
| 2012 | High performance reliable variable latency carry select addition. Kai Du, Peter J. Varman, Kartik Mohanram |
| 2012 | Holistic modeling of embedded systems with multi-discipline feedback: Application to a Precollision Mitigation Braking System. Antoine Lévêque, François Pêcheux, Marie-Minerve Louërat, Hassan Aboushady, Fabio Cenni, Serge Scotti, Abdelbasset Massouri, Laurent Clavier |
| 2012 | Hybrid simulation for extensible processor cores. Jovana Jovic, Sergey Yakoushkin, Luis Gabriel Murillo, Juan Fernando Eusse, Rainer Leupers, Gerd Ascheid |
| 2012 | Hybrid source-level simulation of data caches using abstract cache models. Stefan Stattelmann, Gernot Gebhard, Christoph Cullmann, Oliver Bringmann, Wolfgang Rosenstiel |
| 2012 | IR-drop analysis of graphene-based power distribution networks. Sandeep Miryala, Andrea Calimera, Enrico Macii, Massimo Poncino |
| 2012 | ITRS 2011 Analog EDA Challenges and Approaches. Helmut Graeb |
| 2012 | Impact of TSV area on the dynamic range and frame rate performance of 3D-integrated image sensors. Adi Xhakoni, David San Segundo Bello, Georges G. E. Gielen |
| 2012 | Impact of resistive-open defects on the heat current of TAS-MRAM architectures. Joao Azevedo, Arnaud Virazel, Alberto Bosio, Luigi Dilillo, Patrick Girard, Aida Todri-Sanial, Guillaume Prenat, Jérémy Alvarez-Herault, Ken Mackay |
| 2012 | Input vector monitoring on line concurrent BIST based on multilevel decoding logic. Ioannis Voyiatzis |
| 2012 | Intelligent and collaborative embedded computing in automation engineering. Mohammad Abdullah Al Faruque, Arquimedes Canedo |
| 2012 | Investigating the effects of Inverted Temperature Dependence (ITD) on clock distribution networks. Alessandro Sassone, Andrea Calimera, Alberto Macii, Enrico Macii, Massimo Poncino, Richard Goldman, Vazgen Melikyan, Eduard Babayan, Salvatore Rinaudo |
| 2012 | Large signal simulation of integrated inductors on semi-conducting substrates. Wim Schoenmaker, Michael Matthes, Bart De Smedt, Sascha Baumanns, Caren Tischendorf, Rick Janssen |
| 2012 | Layout-Driven Robustness Analysis for misaligned Carbon Nanotubes in CNTFET-based standard cells. Matthias Beste, Mehdi Baradaran Tahoori |
| 2012 | Layout-aware optimization of stt mrams. Sumeet Kumar Gupta, Sang Phill Park, Niladri Narayan Mojumder, Kaushik Roy |
| 2012 | Leveraging reconfigurability to raise productivity in FPGA functional debug. Zissis Poulos, Yu-Shen Yang, Jason Helge Anderson, Andreas G. Veneris, Bao Le |
| 2012 | Logic encryption: A fault analysis perspective. Jeyavijayan Rajendran, Youngok K. Pino, Ozgur Sinanoglu, Ramesh Karri |
| 2012 | Low power aging-aware register file design by duty cycle balancing. Shuai Wang, Tao Jin, Chuanlei Zheng, Guangshan Duan |
| 2012 | Low-cost implementations of on-the-fly tests for random number generators. Filip Veljkovic, Vladimir Rozic, Ingrid Verbauwhede |
| 2012 | Low-power embedded system for real-time correction of fish-eye automotive cameras. Mauro Turturici, Sergio Saponara, Luca Fanucci, Emilio Franchi |
| 2012 | MAPG: Memory access power gating. Kwangok Jeong, Andrew B. Kahng, Seokhyeong Kang, Tajana Simunic Rosing, Richard D. Strong |
| 2012 | MEDS: Mockup Electronic Data Sheets for automated testing of cyber-physical systems using digital mockups. Bailey Miller, Frank Vahid, Tony Givargis |
| 2012 | MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco |
| 2012 | Mach-Zehnder interferometer based design of all optical reversible binary adder. Saurabh Kotiyal, Himanshu Thapliyal, Nagarajan Ranganathan |
| 2012 | Mapping into LUT structures. Sayak Ray, Alan Mishchenko, Niklas Eén, Robert K. Brayton, Stephen Jang, Chao Chen |
| 2012 | Measuring and improving the robustness of automotive smart power microelectronics. Thomas Nirmaier, Volker Meyer zu Bexten, Markus Tristl, Manuel Harrant, Matthias Kunze, Monica Rafaila, Julia Lau, Georg Pelz |
| 2012 | Mechatronic system for energy efficiency in bus transport. Monica Donno, Aleck Ferrari, Annalisa Scarpelli, Pietro Perlo, Alberto Bocca |
| 2012 | Memory-map selection for firm real-time SDRAM controllers. Sven Goossens, Tim Kouters, Benny Akesson, Kees Goossens |
| 2012 | Memristor technology in future electronic system design. Ronald Tetzlaff, Andreas Bruening |
| 2012 | Middleware services for network interoperability in smart energy efficient buildings. Edoardo Patti, Andrea Acquaviva, Francesco Abate, Anna Osello, A. Cocuccio, Marco Jahn, Marc Jentsch, Enrico Macii |
| 2012 | Minimizing the latency of quantum circuits during mapping to the ion-trap circuit fabric. Mohammad Javad Dousti, Massoud Pedram |
| 2012 | Mitigating lifetime underestimation: A system-level approach considering temperature variations and correlations between failure mechanisms. Kai-Chiang Wu, Ming-Chao Lee, Diana Marculescu, Shih-Chieh Chang |
| 2012 | Model checking of Scenario-Aware Dataflow with CADP. Bart D. Theelen, Joost-Pieter Katoen, Hao Wu |
| 2012 | Model driven resource usage simulation for critical embedded systems. Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura |
| 2012 | Modeling and design exploration of FBDRAM as on-chip memory. Guangyu Sun, Cong Xu, Yuan Xie |
| 2012 | Modeling and testing of interference faults in the nano NAND Flash memory. Jin Zha, Xiaole Cui, Chung Len Lee |
| 2012 | Modeling static-order schedules in synchronous dataflow graphs. Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
| 2012 | Monitoring active filters under automotive aging scenarios with embedded instrument. Jinbo Wan, Hans G. Kerkhoff |
| 2012 | Moore meets maxwell. Raul Camposano, Dipanjan Gope, Stefano Grivet-Talocia, Vikram Jandhyala |
| 2012 | Multi-core architecture design for ultra-low-power wearable health monitoring systems. Ahmed Yasir Dogan, Jeremy Constantin, Martino Ruggiero, Andreas Burg, David Atienza |
| 2012 | Multi-objective aware extraction of task-level parallelism using genetic algorithms. Daniel Cordes, Peter Marwedel |
| 2012 | Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction. Kai-Fu Tang, Po-Kai Huang, Chun-Nan Chou, Chung-Yang Huang |
| 2012 | Multi-token resource sharing for pipelined asynchronous systems. John Hansen, Montek Singh |
| 2012 | Multiple-source and multiple-destination charge migration in hybrid electrical energy storage systems. Yanzhi Wang, Qing Xie, Massoud Pedram, Younghyun Kim, Naehyuck Chang, Massimo Poncino |
| 2012 | NBTI mitigation by optimized NOP assignment and insertion. Farshad Firouzi, Saman Kiamehr, Mehdi Baradaran Tahoori |
| 2012 | NOCEVE: Network on chip emulation and verification environment. Omar Hammami, Xinyu Li, Jean-Marc Brault |
| 2012 | Nano-Electro-Mechanical relays for FPGA routing: Experimental demonstration and a design technique. Chen Chen, W. Scott Lee, Roozbeh Parsa, Soogine Chong, J. Provine, Jeff Watt, Roger T. Howe, H.-S. Philip Wong, Subhasish Mitra |
| 2012 | Neighbor-aware dynamic thermal management for multi-core platform. Guanglei Liu, Ming Fan, Gang Quan |
| 2012 | New foundry models - accelerations in transformations of the semiconductor industry. Mojy Chian |
| 2012 | Non-solution implications using reverse domination in a modern SAT-based debugging environment. Bao Le, Hratch Mangassarian, Brian Keng, Andreas G. Veneris |
| 2012 | Off-path leakage power aware routing for SRAM-based FPGAs. Keheng Huang, Yu Hu, Xiaowei Li, Bo Liu, Hongjin Liu, Jian Gong |
| 2012 | On ESL verification of memory consistency for system-on-chip multiprocessing. Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos |
| 2012 | On demand dependent deactivation of automotive ECUs. Christoph Schmutzler, Martin Simons, Jürgen Becker |
| 2012 | On effective TSV repair for 3D-stacked ICs. Li Jiang, Qiang Xu, Bill Eklow |
| 2012 | On effective flip-chip routing via pseudo single redistribution layer. Hsin-Wu Hsu, Meng-Ling Chen, Hung-Ming Chen, Hung-Chun Li, Shi-Hao Chen |
| 2012 | On the optimality of K longest path generation algorithm under memory constraints. Jie Jiang, Matthias Sauer, Alexander Czutro, Bernd Becker, Ilia Polian |
| 2012 | On-chip source synchronous interface timing test scheme with calibration. HyunJin Kim, Jacob A. Abraham |
| 2012 | On-line scheduling of target sensitive periodic tasks with the gravitational task model. Raphael Guerra, Gerhard Fohler |
| 2012 | Online scheduling for multi-core shared reconfigurable fabric. Liang Chen, Thomas Marconi, Tulika Mitra |
| 2012 | Optimal energy management and recovery for FEV. Kosmas Knoedler, Jochen Steinmann, Sylvain Laversanne, Stephen Jones, Arno Huss, Emre Kural, David Sanchez, Oliver Bringmann, Jochen Zimmermann |
| 2012 | Optimization intensive energy harvesting. Mahsan Rofouei, Mohammad Ali Ghodrat, Miodrag Potkonjak, Alfonso Martinez-Nova |
| 2012 | Optimizing performance analysis for synchronous dataflow graphs with shared resources. Daniel Thiele, Rolf Ernst |
| 2012 | Out-of-order parallel simulation for ESL design. Weiwei Chen, Xu Han, Rainer Dömer |
| 2012 | P2012: Building an ecosystem for a scalable, modular and high-efficiency embedded computing accelerator. Luca Benini, Eric Flamand, Didier Fuin, Diego Melpignano |
| 2012 | PCASA: Probabilistic control-adjusted Selective Allocation for shared caches. Konstantinos Aisopos, Jaideep Moses, Ramesh Illikkal, Ravishankar R. Iyer, Donald Newell |
| 2012 | PUF-based secure test wrapper design for cryptographic SoC testing. Amitabh Das, Ünal Koçabas, Ahmad-Reza Sadeghi, Ingrid Verbauwhede |
| 2012 | Panel: What is EDA doing for trailing edge technologies? Marco Casale-Rossi, Pierluigi Rolandi, Andreas Bruening, Antun Domic, Rainer Kress, Joseph Sawicki, Christian Sebeke |
| 2012 | Parallel probing: Dynamic and constant time setup procedure in circuit switching NoC. Shaoteng Liu, Axel Jantsch, Zhonghai Lu |
| 2012 | Parallel statistical analysis of analog circuits by GPU-accelerated graph-based approach. Xuexin Liu, Sheldon X.-D. Tan, Hai Wang |
| 2012 | Partial online-synthesis for mixed-grained reconfigurable architectures. Artjom Grudnitsky, Lars Bauer, Jörg Henkel |
| 2012 | Pathways to servers of the future. Gerhard P. Fettweis, Wolfgang E. Nagel, Wolfgang Lehner |
| 2012 | Performance-reliability tradeoff analysis for multithreaded applications. Isil Öz, Haluk Rahmi Topcuoglu, Mahmut T. Kandemir, Oguz Tosun |
| 2012 | Playing games with scenario- and resource-aware SDF graphs through policy iteration. Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal |
| 2012 | Post-deployment trust evaluation in wireless cryptographic ICs. Yier Jin, Dzmitry Maliuk, Yiorgos Makris |
| 2012 | Post-synthesis leakage power minimization. Mohammad Rahman, Carl Sechen |
| 2012 | Power management of multi-core chips: Challenges and pitfalls. Pradip Bose, Alper Buyuktosunoglu, John A. Darringer, Meeta Sharma Gupta, Michael B. Healy, Hans M. Jacobson, Indira Nair, Jude A. Rivers, Jeonghee Shin, Augusto Vega, Alan J. Weger |
| 2012 | Power-efficient calibration and reconfiguration for on-chip optical communication. Yan Zheng, Peter Lisherness, Ming Gao, Jock Bovington, Shiyuan Yang, Kwang-Ting Cheng |
| 2012 | Power-efficient error-resiliency for H.264/AVC Context-Adaptive Variable Length Coding. Muhammad Shafique, Bruno Zatt, Semeen Rehman, Florian Kriebel, Jörg Henkel |
| 2012 | PowerAdviser: An RTL power platform for interactive sequential optimizations. Nainala Vyagrheswarudu, Subrangshu Das, Abhishek Ranjan |
| 2012 | Predicting best design trade-offs: A case study in processor customization. Marcela Zuluaga, Edwin V. Bonilla, Nigel P. Topham |
| 2012 | Predictive control of networked control systems over differentiated services lossy networks. Riccardo Muradore, Davide Quaglia, Paolo Fiorini |
| 2012 | Preemption delay analysis for floating non-preemptive region scheduling. José Marinho, Vincent Nélis, Stefan M. Petters, Isabelle Puaut |
| 2012 | Probabilistic response time bound for CAN messages with arbitrary deadlines. Philip Axer, Maurice Sebastian, Rolf Ernst |
| 2012 | Programmability and performance portability aspects of heterogeneous multi-/manycore systems. Christoph W. Kessler, Usman Dastgeer, Samuel Thibault, Raymond Namyst, Andrew Richards, Uwe Dolinsky, Siegfried Benkner, Jesper Larsson Träff, Sabri Pllana |
| 2012 | QBf-based boolean function bi-decomposition. Huan Chen, Mikolás Janota, João Marques-Silva |
| 2012 | Quantifying the impact of frequency scaling on the energy efficiency of the single-chip cloud computer. Andrea Bartolini, MohammadSadegh Sadri, John-Nicholas Furst, Ayse Kivilcim Coskun, Luca Benini |
| 2012 | RAG: An efficient reliability analysis of logic circuits on graphics processing units. Min Li, Michael S. Hsiao |
| 2012 | RSM: A small and fast countermeasure for AES, secure against 1st and 2nd-order zero-offset SCAs. Maxime Nassar, Youssef Souissi, Sylvain Guilley, Jean-Luc Danger |
| 2012 | RTL analysis and modifications for improving at-speed test. Kai-Hui Chang, Hong-Zu Chou, Igor L. Markov |
| 2012 | Real-time implementation and performance optimization of 3D sound localization on GPUs. Yun Liang, Zheng Cui, Shengkui Zhao, Kyle Rupnow, Yihao Zhang, Douglas L. Jones, Deming Chen |
| 2012 | Reducing the energy cost of computing through efficient co-scheduling of parallel workloads. Can Hankendi, Ayse K. Coskun |
| 2012 | Refinement of UML/MARTE models for the design of networked embedded systems. Emad Samuel Malki Ebeid, Franco Fummi, Davide Quaglia, Francesco Stefanni |
| 2012 | Reli: Hardware/software Checkpoint and Recovery scheme for embedded processors. Tuo Li, Roshan G. Ragel, Sri Parameswaran |
| 2012 | Research and innovation on Advanced Computing - an EU perspective. Thierry Van der Pyl |
| 2012 | Response-surface-based design space exploration and optimisation of wireless sensor nodes with tunable energy harvesters. Leran Wang, Tom J. Kazmierski, Bashir M. Al-Hashimi, Mansour Aloufi, Joseph Wenninger |
| 2012 | Revealing side-channel issues of complex circuits by enhanced leakage models. Annelie Heuser, Werner Schindler, Marc Stöttinger |
| 2012 | Robust and flexible mapping for real-time distributed applications during the early design phases. Junhe Gan, Paul Pop, Flavius Gruian, Jan Madsen |
| 2012 | Row-shift decompositions for index generation functions. Tsutomu Sasao |
| 2012 | Run-time power-gating in caches of GPUs for leakage energy savings. Yue Wang, Soumyaroop Roy, Nagarajan Ranganathan |
| 2012 | Runtime power estimator calibration for high-performance microprocessors. Hai Wang, Sheldon X.-D. Tan, Xuexin Liu, Ashish Gupta |
| 2012 | S/DC: A storage and energy efficient data prefetcher. Xianglei Dang, Xiaoyin Wang, Dong Tong, Junlin Lu, Jiangfang Yi, Keyi Wang |
| 2012 | SAFER PATH: Security architecture using fragmented execution and replication for protection against trojaned hardware. Mark R. Beaumont, Bradley D. Hopkins, Tristan Newby |
| 2012 | SCFIT: A FPGA-based fault injection technique for SEU fault model. Abbas Mohammadi, Mojtaba Ebrahimi, Alireza Ejlali, Seyed Ghassem Miremadi |
| 2012 | SPDF: A schedulable parametric data-flow MoC. Pascal Fradet, Alain Girault, Peter Poplavko |
| 2012 | SURF algorithm in FPGA: A novel architecture for high demanding industrial applications. Niccolò Battezzati, Stefano Colazzo, M. Maffione, L. Senepa |
| 2012 | Salvaging chips with caches beyond repair. Hsunwei Hsiung, Byeongju Cha, Sandeep K. Gupta |
| 2012 | Scalable progress verification in credit-based flow-control systems. Sayak Ray, Robert K. Brayton |
| 2012 | Scheduling for register file energy minimization in explicit datapath architectures. Dongrui She, Yifan He, Bart Mesman, Henk Corporaal |
| 2012 | Selective flexibility: Breaking the rigidity of datapath merging. Mirjana Stojilovic, David Novo, Lazar Saranovac, Philip Brisk, Paolo Ienne |
| 2012 | Side channel analysis of the SHA-3 finalists. Michael Zohner, Michael Kasper, Marc Stöttinger, Sorin A. Huss |
| 2012 | Simulation of the steady state of oscillators in the time domain. Hans Georg Brachtendorf, Kai Bittner, Rainer Laur |
| 2012 | Sliding-Mode Control to Compensate PVT Variations in dual core systems. Hamid Reza Pourshaghaghi, Hamed Fatemi, José Pineda de Gyvez |
| 2012 | Smart power unit with ultra low power radio trigger capabilities for wireless sensor networks. Michele Magno, Stevan Jovica Marinkovic, Davide Brunelli, Emanuel M. Popovici, Brendan O'Flynn, Luca Benini |
| 2012 | Spintronic memristor based temperature sensor design with CMOS current reference. Xiuyuan Bi, Chao Zhang, Hai Li, Yiran Chen, Robinson E. Pino |
| 2012 | Stability and yield-oriented ultra-low-power embedded 6T SRAM cell design optimization. Adam Makosiej, Olivier Thomas, Andrei Vladimirescu, Amara Amara |
| 2012 | State of health aware charge management in hybrid electrical energy storage systems. Qing Xie, Xue Lin, Yanzhi Wang, Massoud Pedram, Donghwa Shin, Naehyuck Chang |
| 2012 | State-based full predication for low power coarse-grained reconfigurable architecture. Kyuseung Han, Seongsik Park, Kiyoung Choi |
| 2012 | State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans |
| 2012 | Static analysis of asynchronous clock domain crossings. Shubhyant Chaturvedi |
| 2012 | Static scheduling of a Time-Triggered Network-on-Chip based on SMT solving. Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl, Alois C. Knoll |
| 2012 | Statistical thermal modeling and optimization considering leakage power variations. Da-Cheng Juan, Yi-Lin Chuang, Diana Marculescu, Yao-Wen Chang |
| 2012 | TagTM - accelerating STMs with hardware tags for fast meta-data access. Srdjan Stipic, Sasa Tomic, Ferad Zyulkyarov, Adrián Cristal, Osman S. Ünsal, Mateo Valero |
| 2012 | Task implementation of synchronous finite state machines. Marco Di Natale, Haibo Zeng |
| 2012 | TempoMP: Integrated prediction and management of temperature in heterogeneous MPSoCs. Shervin Sharifi, Raid Zuhair Ayoub, Tajana Simunic Rosing |
| 2012 | Test generation for clock-domain crossing faults in integrated circuits. Naghmeh Karimi, Krishnendu Chakrabarty, Pallav Gupta, Srinivas Patil |
| 2012 | Test pin count reduction for NoC-based Test delivery in multicore SOCs. Michael Richter, Krishnendu Chakrabarty |
| 2012 | Testing RF circuits with true non-intrusive built-in sensors. Louay Abdallah, Haralampos-G. D. Stratigopoulos, Salvador Mir, Josep Altet |
| 2012 | The mobile society - chances and challenges for micro- and power electronics. Klaus Meder |
| 2012 | Thermal balancing of liquid-cooled 3D-MPSoCs using channel modulation. Mohamed M. Sabry, Arvind Sridhar, David Atienza |
| 2012 | Time analysable synchronisation techniques for parallelised hard real-time applications. Mike Gerdes, Florian Kluge, Theo Ungerer, Christine Rochange, Pascal Sainrat |
| 2012 | Time-triggered implementations of mixed-criticality automotive software. Dip Goswami, Martin Lukasiewycz, Reinhard Schneider, Samarjit Chakraborty |
| 2012 | Timing Modeling with AUTOSAR - Current state and future directions. Marie-Agnès Peraldi-Frati, Hans Blom, Daniel Karlsson, Stefan Kuntz |
| 2012 | Timing analysis of cyber-physical applications for hybrid communication protocols. Alejandro Masrur, Dip Goswami, Samarjit Chakraborty, Jian-Jia Chen, Anuradha Annaswamy, Ansuman Banerjee |
| 2012 | Toward virtualizing branch direction prediction. Maryam Sadooghi-Alvandi, Kaveh Aasaraai, Andreas Moshovos |
| 2012 | Towards a wireless medical smart card. Stefan Krone, Bjoern Almeroth, Falko Guderian, Gerhard P. Fettweis |
| 2012 | Towards accurate hardware stereo correspondence: A real-time FPGA implementation of a segmentation-based adaptive support weight algorithm. Christos Ttofis, Theocharis Theocharides |
| 2012 | Towards improving simulation of analog circuits using model order reduction. Henda Aridhi, Mohamed H. Zaki, Sofiène Tahar |
| 2012 | Towards new applications of multi-function logic: Image multi-filtering. Lukás Sekanina, Vojtech Salajka |
| 2012 | Towards parallel execution of IEC 61131 industrial cyber-physical systems applications. Arquimedes Canedo, Mohammad Abdullah Al Faruque |
| 2012 | Transistor-level gate model based statistical timing analysis considering correlations. Qin Tang, Amir Zjajo, Michel Berkelaar, Nick van der Meijs |
| 2012 | UPaRC - Ultra-fast power-aware reconfiguration controller. Robin Bonamy, Hung-Manh Pham, Sébastien Pillement, Daniel Chillet |
| 2012 | UWB: Innovative architectures enable disruptive low power wireless applications. Dominique Morche, Michaël Pelissier, Gilles Masson, Pierre Vincent |
| 2012 | Ultra low power litho friendly local assist circuitry for variability resilient 8T SRAM. Vibhu Sharma, Stefan Cosemans, Maryam Ashouei, Jos Huisken, Francky Catthoor, Wim Dehaene |
| 2012 | Using multi-objective design space exploration to enable run-time resource management for reconfigurable architectures. Giovanni Mariani, Vlad Mihai Sima, Gianluca Palermo, Vittorio Zaccaria, Cristina Silvano, Koen Bertels |
| 2012 | Using timing analysis for the design of future switched based Ethernet automotive networks. Jonas Rox, Rolf Ernst, Paolo Giusto |
| 2012 | VLSI legalization with minimum perturbation by iterative augmentation. Ulrich Brenner |
| 2012 | VaMV: Variability-aware Memory Virtualization. Luis Angel D. Bathen, Nikil D. Dutt, Alex Nicolau, Puneet Gupta |
| 2012 | Variation-aware leakage power model extraction for system-level hierarchical power analysis. Yang Xu, Bing Li, Ralph Hasholzner, Bernhard Rohfleisch, Christian Haubelt, Jürgen Teich |
| 2012 | Verification coverage of embedded multicore applications. Etem Deniz, Alper Sen, Jim Holt |
| 2012 | Verification of partial designs using incremental QBF solving. Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker |
| 2012 | Verifying jitter in an analog and mixed signal design using dynamic time warping. Rajeev Narayanan, Alaeddine Daghar, Mohamed H. Zaki, Sofiène Tahar |
| 2012 | Verifying timing synchronization constraints in distributed embedded architectures. A. C. Rajeev, Swarup Mohalik, S. Ramesh |
| 2012 | Virtual platforms: Breaking new grounds. Rainer Leupers, Grant Martin, Roman Plyaskin, Andreas Herkersdorf, Frank Schirrmeister, Tim Kogel, Martin Vaupel |
| 2012 | Virtualized on-chip distributed computing for heterogeneous reconfigurable multi-core systems. Stephan Werner, Oliver Oey, Diana Göhringer, Michael Hübner, Jürgen Becker |
| 2012 | Voltage propagation method for 3-D power grid analysis. Cheng Zhang, Vasilis F. Pavlidis, Giovanni De Micheli |
| 2012 | Weighted area technique for electromechanically enabled logic computation with cantilever-based NEMS switches. Shruti Patil, Min-Woo Jang, Chia-Ling Chen, Dongjin Lee, Zhijang Ye, Walter E. Partlo, David J. Lilja, Stephen A. Campbell, Tianhong Cui |
| 2012 | Workload-aware voltage regulator optimization for power efficient multi-core processors. Abhishek A. Sinkar, Hao Wang, Nam Sung Kim |
| 2012 | Worst-case delay analysis of Variable Bit-Rate flows in network-on-chip with aggregate scheduling. Fahimeh Jafari, Axel Jantsch, Zhonghai Lu |
| 2012 | Yield optimization for radio frequency receiver at system level. Sergey A. Nazin, Dominique Morche, Alexandre Reinhardt |