


default search action
DATE 2019: Florence, Italy
- Jürgen Teich, Franco Fummi:
Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. IEEE 2019, ISBN 978-3-9819263-2-3 - Jingyu Pan, Fan Zhang, Kui Ren, Shivam Bhasin:
One Fault is All it Needs: Breaking Higher-Order Masking with Persistent Fault Analysis. 1-6 - Rana Elnaggar, Ramesh Karri
, Krishnendu Chakrabarty
:
Multi-Tenant FPGA-based Reconfigurable Systems: Attacks and Defenses. 7-12 - Wenjie Xiong
, Nikolaos Athanasios Anagnostopoulos
, André Schaller, Stefan Katzenbeisser, Jakub Szefer:
Spying on Temperature using DRAM. 13-18 - Arvind Singh, Monodeep Kar, Nikhil Chawla
, Saibal Mukhopadhyay:
Mitigating Power Supply Glitch based Fault Attacks with Fast All-Digital Clock Modulation Circuit. 19-24 - Florian De Roose, Hikmet Celiker
, Jan Genoe
, Wim Dehaene, Kris Myny
:
Dual-gate self-aligned a-InGaZnO transistor model for flexible circuit applications. 25-29 - Farhan Rasheed, Michael Hefenbrock, Rajendra Bishnoi, Michael Beigl, Jasmin Aghassi-Hagmann
, Mehdi Baradaran Tahoori:
Predictive Modeling and Design Automation of Inorganic Printed Electronics. 30-35 - Tsung-Ching Huang, Ting Lei, Leilai Shao, Sridhar Sivapurapu, Madhavan Swaminathan, Sicheng Li, Zhenan Bao, Kwang-Ting Cheng
, Raymond G. Beausoleil:
Process Design Kit and Design Automation for Flexible Hybrid Electronics. 36-41 - Marco Fattori, Joost A. Fijn, L. Hu, Eugenio Cantatore, Fabrizio Torricelli, M. Charbonneau:
Circuit Design and Design Automation for Printed Electronics. 42-47 - Sheriff Sadiqbatcha, Hengyang Zhao, Hussam Amrouch
, Jörg Henkel, Sheldon X.-D. Tan:
Hot Spot Identification and System Parameterized Thermal Modeling for Multi-Core Processors Through Infrared Thermal Imaging. 48-53 - Wei Ye, Mohamed Baker Alawieh
, Meng Li, Yibo Lin, David Z. Pan:
Litho-GPA: Gaussian Process Assurance for Lithography Hotspot Detection. 54-59 - Scott Reid, Antonio Montoya, Kwabena Boahen:
PinT: Polynomial in Temperature Decode Weights in a Neuromorphic Architecture. 60-65 - Arman Iranfar, Ali Pahlevan, Marina Zapater, David Atienza:
Enhancing Two-Phase Cooling Efficiency through Thermal-Aware Workload Mapping for Power-Hungry Servers. 66-71 - Shuo-Hui Wang, Guan-Hong Liou, Yen-Yu Su, Mark Po-Hung Lin
:
IR-aware Power Net Routing for Multi-Voltage Mixed-Signal Design. 72-77 - Antonio Toro-Frías, Pablo Saraza-Canflanca
, Fábio Passos, Pablo Martín-Lloret, Rafael Castro-López
, Elisenda Roca
, Javier Martín-Martínez, Rosana Rodríguez, Montserrat Nafría
, Francisco V. Fernández
:
Generation of Lifetime-Aware Pareto-Optimal Fronts Using a Stochastic Reliability Simulator. 78-83 - Julian Leonhard, Muhammad Yasin
, Shadi Turk, Mohammed Thari Nabeel, Marie-Minerve Louërat, Roselyne Chotin-Avot, Hassan Aboushady, Ozgur Sinanoglu
, Haralampos-G. D. Stratigopoulos:
MixLock: Securing Mixed-Signal Circuits via Logic Locking. 84-89 - Alwin Zulehner, Robert Wille:
Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. 90-95 - Zdenek Vasícek, Vojtech Mrazek
, Lukás Sekanina:
Automated Circuit Approximation Method Driven by Data Distribution. 96-101 - Paul Detterer
, Cumhur Erdin
, Majid Nabi, José Pineda de Gyvez, Twan Basten, Hailong Jiao:
Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver. 102-107 - Zhuoran Song, Ru Wang
, Dongyu Ru, Zhenghao Peng, Hongru Huang, Hai Zhao, Xiaoyao Liang, Li Jiang:
Approximate Random Dropout for DNN training acceleration in GPGPU. 108-113 - Younghoon Byun
, Minho Ha
, Jeonghun Kim, Sunggu Lee, Youngjoo Lee
:
Low-Complexity Dynamic Channel Scaling of Noise-Resilient CNN for Intelligent Edge Devices. 114-119 - Hao-Ning Wu, Chih-Tsun Huang:
Data Locality Optimization of Depthwise Separable Convolutions for CNN Inference Accelerators. 120-125 - Mohsen Imani, John Messerly, Fan Wu, Wang Pi, Tajana Rosing:
A Binary Learning Framework for Hyperdimensional Computing. 126-131 - Jörg Henkel, Heba Khdr
, Martin Rapp:
Smart Thermal Management for Heterogeneous Multicores. 132-137 - Biresh Kumar Joardar, Ryan Gary Kim, Janardhan Rao Doppa, Partha Pratim Pande:
Design and Optimization of Heterogeneous Manycore Systems Enabled by Emerging Interconnect Technologies: Promises and Challenges. 138-143 - Ganapati Bhat, Suat Gumussoy
, Ümit Y. Ogras
:
Power and Thermal Analysis of Commercial Mobile Platforms: Experiments and Case Studies. 144-149 - Pablo Saraza-Canflanca
, Javier Diaz-Fortuny
, Rafael Castro-López
, Elisenda Roca Moreno
, Javier Martín-Martínez, Rosana Rodríguez, Montserrat Nafría
, Francisco V. Fernández
:
New method for the automated massive characterization of Bias Temperature Instability in CMOS transistors. 150-155 - Keven Feng, Sandeep Vora, Rui Jiang, Elyse Rosenbaum, Shobha Vasudevan:
Guilty As Charged: Computational Reliability Threats Posed By Electrostatic Discharge-induced Soft Errors. 156-161 - Daniel Kraak, Innocent Agbo, Mottaqiallah Taouil, Said Hamdioui, Pieter Weckx, Stefan Cosemans, Francky Catthoor:
Methodology for Application-Dependent Degradation Analysis of Memory Timing. 162-167 - Andrew B. Kahng, Uday Mallappa, Lawrence K. Saul, Shangyuan Tong:
"Unobserved Corner" Prediction: Reducing Timing Analysis Effort for Faster Design Convergence in Advanced-Node Design. 168-173 - Gengjie Chen, Evangeline F. Y. Young:
Dim Sum: Light Clock Tree by Small Diameter Sum. 174-179 - Yu-Hung Huang, Zhiyao Xie, Guan-Qi Fang, Tao-Chun Yu, Haoxing Ren, Shao-Yun Fang, Yiran Chen, Jiang Hu:
Routability-Driven Macro Placement with Embedded CNN-Based Prediction Model. 180-185 - Alex Vidal-Obiols, Jordi Cortadella, Jordi Petit, Marc Galceran Oms, Ferran Martorell:
RTL-Aware Dataflow-Driven Macro Placement. 186-191 - Mingye Song, Zhezhao Xu, Wenjian Yu, Lei Yin:
Realizing Reproducible and Reusable Parallel Floating Random Walk Solvers for Practical Usage. 192-197 - Povilas Marcinkevicius, Ibrahim Ethem Bagci
, Nema M. Abdelazim, Christopher S. Woodhead
, Robert J. Young
, Utz Roedig
:
Optically Interrogated Unique Object with Simulation Attack Prevention. 198-203 - Mahmoud Khalafalla, Catherine H. Gebotys:
PUFs Deep Attacks: Enhanced modeling attacks using deep learning techniques to break the security of double arbiter PUFs. 204-209 - Mohammed Shayan, Sukanta Bhattacharjee, Yong-Ak Song
, Krishnendu Chakrabarty
, Ramesh Karri
:
Desieve the Attacker: Thwarting IP Theft in Sieve-Valve-based Biochips. 210-215 - Jing Chen, Yi Wang
, Amelie Chi Zhou, Rui Mao, Tao Li:
PATCH: Process-Variation-Resilient Space Allocation for Open-Channel SSD with 3D Flash. 216-221 - Fateme S. Hosseini, Chengmo Yang:
Compiler-Directed and Architecture-Independent Mitigation of Read Disturbance Errors in STT-RAM. 222-227 - Wei Li, Ziqi Shuai
, Chun Jason Xue, Mengting Yuan, Qingan Li:
A Wear Leveling Aware Memory Allocator for Both Stack and Heap Management in PCM-based Main Memory Systems. 228-233 - Leslie Maldonado, Wanli Chang, Debayan Roy, Anuradha Annaswamy, Dip Goswami, Samarjit Chakraborty
:
Exploiting System Dynamics for Resource-Efficient Automotive CPS Design. 234-239 - Róbinson Medina Sánchez, Sander Stuijk
, Dip Goswami, Twan Basten:
Implementation-aware design of image-based control with on-line measurable variable-delay. 240-245 - Chanwook Oh
, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo:
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. 246-251 - Johan Laurent, Vincent Beroulle, Christophe Deleuze, Florian Pebay-Peyroula:
Fault Injection on Hidden Registers in a RISC-V Rocket Processor and Software Countermeasures. 252-255 - Haohao Liao, Catherine H. Gebotys:
Methodology for EM Fault Injection: Charge-based Fault Model. 256-259 - Benjamin Hettwer, Johannes Petersen, Stefan Gehrer, Heike Neumann, Tim Güneysu:
Securing Cryptographic Circuits by Exploiting Implementation Diversity and Partial Reconfiguration on FPGAs. 260-263 - Ben Perach
, Shahar Kvatinsky:
STT-ANGIE: Asynchronous True Random Number GEnerator Using STT-MTJ. 264-267 - Chao Zhang
, Milan Mihajlovic, Vasilis F. Pavlidis:
Adaptive Transient Leakage-Aware Linearised Model for Thermal Analysis of 3-D ICs. 268-271 - Lokesh Siddhu, Preeti Ranjan Panda:
FastCool: Leakage Aware Dynamic Thermal Management of 3D Memories. 272-275 - Manuel J. Barragán, Gildas Léger, Florent Cilici, Estelle Lauga-Larroze, Sylvain Bourdel, Salvador Mir:
On the use of causal feature selection in the context of machine-learning indirect test. 276-279 - Alwin Zulehner, Philipp Niemann, Rolf Drechsler
, Robert Wille:
Accuracy and Compactness in Decision Diagrams for Quantum Computation. 280-283 - Saman Fröhlich, Daniel Große
, Rolf Drechsler
:
One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing. 284-287 - Giulia Meuli, Mathias Soeken, Martin Roetteler
, Nikolaj S. Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. 288-291 - Petr Rek, Lukás Sekanina:
TypeCNN: CNN Development Framework With Flexible Data Types. 292-295 - Sebastian Vogel, Christoph Schorn, Andre Guntoro
, Gerd Ascheid:
Guaranteed Compression Rate for Activations in CNNs using a Frequency Pruning Approach. 296-299 - Chih-Hong Cheng, Georg Nührenberg, Hirotoshi Yasuoka:
Runtime Monitoring Neuron Activation Patterns. 300-303 - Hadi Ahmadi Balef, Kees Goossens, José Pineda de Gyvez:
Chip Health Tracking Using Dynamic In-Situ Delay Monitoring. 304-307 - Fritz G. Previlon, Charu Kalra, Devesh Tiwari, David R. Kaeli:
PCFI: Program Counter Guided Fault Injection for Accelerating GPU Reliability Assessment. 308-311 - Weihua Liu, Fei Wu, Meng Zhang, Yifei Wang, Zhonghai Lu, Xiangfeng Lu, Changsheng Xie:
Characterizing the Reliability and Threshold Voltage Shifting of 3D Charge Trap NAND Flash. 312-315 - Giorgio Di Natale, Elena-Ioana Vatajelu, Kalpana Senthamarai Kannan, Lorena Anghel:
Hidden-Delay-Fault Sensor for Test, Reliability and Security. 316-319 - Wooseok Yi, Yulhwa Kim
, Jae-Joon Kim:
Effect of Device Variation on Mapping Binary Neural Network to Memristor Crossbar Array. 320-323 - Daijoon Hyun, Yuepeng Fan, Youngsoo Shin:
Accurate Wirelength Prediction for Placement-Aware Synthesis through Machine Learning. 324-327 - Yi-Cheng Zhao, Yu-Chieh Lin, Ting-Chi Wang, Ting-Hsiung Wang, Yun-Ru Wu, Hsin-Chang Lin, Shu-Yi Kao:
A Mixed-Height Standard Cell Placement Flow for Digital Circuit Blocks*. 328-331 - Simon Rokicki, Erven Rohou
, Steven Derrien:
Aggressive Memory Speculation in HW/SW Co-Designed Machines. 332-335 - Satyajit Das, Kevin J. M. Martin, Philippe Coussy:
Context-memory Aware Mapping for Energy Efficient Acceleration with CGRAs. 336-341 - Behnam Khaleghi, Tajana Simunic Rosing:
Thermal-Aware Design and Flow for FPGA Performance Improvement. 342-347 - Asmit De, Aditya Basu
, Swaroop Ghosh, Trent Jaeger:
FIXER: Flow Integrity Extensions for Embedded RISC-V. 348-353 - Yangdi Lyu, Alif Ahmed, Prabhat Mishra
:
Automated Activation of Multiple Targets in RTL Models using Concolic Testing. 354-359 - Vladimir Herdt, Daniel Große
, Hoang M. Le, Rolf Drechsler
:
Verifying Instruction Set Simulators using Coverage-guided Fuzzing*. 360-365 - Muhammad Hassan, Daniel Große
, Hoang M. Le, Rolf Drechsler
:
Data Flow Testing for SystemC-AMS Timed Data Flow Models. 366-371 - Valerio Tenace
, Roberto Giorgio Rizzo, Debjyoti Bhattacharjee
, Anupam Chattopadhyay, Andrea Calimera
:
SAID: A Supergate-Aided Logic Synthesis Flow for Memristive Crossbars. 372-377 - Shaahin Angizi, Jiao Sun, Wei Zhang
, Deliang Fan:
GraphS: A Graph Processing Accelerator Leveraging SOT-MRAM. 378-383 - Liang Chang, Xin Ma, Zhaohao Wang, Youguang Zhang, Weisheng Zhao, Yuan Xie:
CORN: In-Buffer Computing for Binary Neural Network. 384-389 - Robert Perricone, Zhaoxin Liang, Meghna G. Mankalale, Michael T. Niemier, Sachin S. Sapatnekar, Jianping Wang, Xiaobo Sharon Hu
:
An Energy Efficient Non-Volatile Flip-Flop based on CoMET Technology. 390-395 - Mohammad Nasim Imtiaz Khan, Karthikeyan Nagarajan, Swaroop Ghosh:
Hardware Trojans in Emerging Non-Volatile Memories. 396-401 - Nicole Fern, Kwang-Ting (Tim) Cheng
:
Evaluating Assertion Set Completeness to Expose Hardware Trojans and Verification Blindspots. 402-407 - Yangdi Lyu, Prabhat Mishra
:
Efficient Test Generation for Trojan Detection using Side Channel Analysis. 408-413 - Abhrajit Sengupta, Mohammed Nabeel, Johann Knechtel, Ozgur Sinanoglu
:
A New Paradigm in Split Manufacturing: Lock the FEOL, Unlock at the BEOL. 414-419 - Taeju Park, Soheil Samii, Kang G. Shin:
Design Optimization of Frame Preemption in Real-Time Switched Ethernet. 420-425 - Emanuel Regnath, Sebastian Steinhorst
:
CUBA: Chained Unanimous Byzantine Agreement for Decentralized Platoon Management. 426-431 - Alexander Lamprecht
, Martin Baumann, Tobias Massier
, Sebastian Steinhorst
:
Decentralized Non-Neighbor Active Charge Balancing in Large Battery Packs. 432-437 - Samuel Isuwa
, Somdip Dey
, Amit Kumar Singh, Klaus D. McDonald-Maier
:
TEEM: Online Thermal- and Energy-Efficiency Management on CPU-GPU MPSoCs. 438-443 - Sourav Sanyal
, Prabal Basu, Aatreyi Bal, Sanghamitra Roy
, Koushik Chakraborty
:
Predicting Critical Warps in Near-Threshold GPGPU Applications using a Dynamic Choke Point Analysis. 444-449 - Xueyuan She, Yun Long, Saibal Mukhopadhyay:
Fast and Low-Precision Learning in GPU-Accelerated Spiking Neural Network. 450-455 - Tobias Seufert
, Christoph Scholl:
fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability. 456-461 - Pritam Roy, Sagar Chaki, Pankaj Chauhan:
High Coverage Concolic Equivalence Checking. 462-467 - Davin Choo, Mate Soos, Kian Ming Adam Chai, Kuldeep S. Meel:
Bosphorus: Bridging ANF and CNF Solvers. 468-473 - Benjamin Ferrell, Jun Duan, Kevin W. Hamlen:
CUDA au Coq: A Framework for Machine-validating GPU Assembly Programs. 474-479 - Roberto Giorgi, Marco Procaccini, Farnam Khalili:
AXIOM: A Scalable, Efficient and Reconfigurable Embedded Platform. 480-485 - Said Hamdioui, Hoang Anh Du Nguyen, Mottaqiallah Taouil, Abu Sebastian
, Manuel Le Gallo
, Sandeep Pande, Siebren Schaafsma, Francky Catthoor, Shidhartha Das, Fernando García-Redondo
, Geethan Karunaratne, Abbas Rahimi
, Luca Benini
:
Applications of Computation-In-Memory Architectures based on Memristive Devices. 486-491 - Alberto Scionti, Simone Ciccia
, Olivier Terzo, Giorgio Giordanengo:
Chip-to-Cloud: an Autonomous and Energy Efficient Platform for Smart Vision Applications. 492-497 - Andrey Sadovykh
, Dragos Truscan
, Pierluigi Pierini, Gunnar Widforss, Adnan Ashraf
, Hugo Bruneliere
, Pavel Smrz
, Alessandra Bagnato
, Wasif Afzal, Alexandra Espinosa Hortelano:
On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects : - A Preliminary Case Study of the MegaM@Rt2 EU Project -. 498-503 - Serzat Safaltin
, Oguz Gencer
, Muhammed Ceylan Morgül, Levent Aksoy
, Sebahattin Gurmen
, Csaba Andras Moritz, Mustafa Altun
:
Realization of Four-Terminal Switching Lattices: Technology Development and Circuit Modeling. 504-509 - Pete Ehrett, Todd M. Austin, Valeria Bertacco:
SiPterposer: A Fault-Tolerant Substrate for Flexible System-in-Package Design. 510-515 - Aditya Narayan
, Yvain Thonnart
, Pascal Vivet, César Fuguet Tortolero
, Ayse K. Coskun:
WAVES: Wavelength Selection for Power-Efficient 2.5D-Integrated Photonic NoCs. 516-521 - Biresh Kumar Joardar, Bing Li, Janardhan Rao Doppa, Hai Li, Partha Pratim Pande, Krishnendu Chakrabarty
:
REGENT: A Heterogeneous ReRAM/GPU-based Architecture Enabled by NoC for Training CNNs. 522-527 - Mustafa M. Shihab, Jingxiang Tian, Gaurav Rajavendra Reddy, Bo Hu, William Swartz, Benjamin Carrión Schäfer
, Carl Sechen, Yiorgos Makris
:
Design Obfuscation through Selective Post-Fabrication Transistor-Level Programming. 528-533 - Kaveh Shamsi, Meng Li, David Z. Pan, Yier Jin
:
KC2: Key-Condition Crunching for Fast Sequential Circuit Deobfuscation. 534-539 - Leon Li, Alex Orailoglu:
Piercing Logic Locking Keys through Redundancy Identification. 540-545 - Priyanka Singla, Shubhankar Suman Singh, Smruti R. Sarangi:
FlexiCheck: An Adaptive Checkpointing Architecture for Energy Harvesting Devices. 546-551 - Florian Glaser, Germain Haugou, Davide Rossi, Qiuting Huang, Luca Benini
:
Hardware-Accelerated Energy-Efficient Synchronization and Communication for Ultra-Low-Power Tightly Coupled Clusters. 552-557 - Luis Costero
, Arman Iranfar, Marina Zapater, Francisco D. Igual
, Katzalin Olcoz
, David Atienza:
MAMUT: Multi-Agent Reinforcement Learning for Efficient Real-Time Multi-User Video Transcoding. 558-563 - Hameeza Ahmed, Paulo C. Santos, João Paulo C. de Lima, Rafael Fão de Moura, Marco A. Z. Alves
, Antonio C. S. Beck, Luigi Carro:
A Compiler for Automatic Selection of Suitable Processing-in-Memory Instructions. 564-569 - Arian Maghazeh, Sudipta Chattopadhyay, Petru Eles, Zebo Peng:
Cache-Aware Kernel Tiling: An Approach for System-Level Performance Optimization of GPU-Based Applications. 570-575 - Younghoon Kim, Swagath Venkataramani, Nitin Chandrachoodan, Anand Raghunathan
:
Data Subsetting: A Data-Centric Approach to Approximate Computing. 576-581 - Marcelo Brandalero
, Muhammad Shafique
, Luigi Carro, Antonio Carlos Schneider Beck:
TransRec: Improving Adaptability in Single-ISA Heterogeneous Systems with Transparent and Reconfigurable Acceleration. 582-585 - Mohsen Imani, Ricardo Garcia, Andrew Huang, Tajana Rosing:
CADE: Configurable Approximate Divider for Energy Efficiency. 586-589 - Hao Chen, Cheng Li, Yubiao Pan, Min Lyu, Yongkun Li, Yinlong Xu:
HCFTL: A Locality-Aware Page-Level Flash Translation Layer. 590-593 - Haitao Zhang, Ayang Tuo, Guoqiang Li:
Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. 594-597 - Junchen Zhao, Ian G. Harris:
Automatic Assertion Generation from Natural Language Specifications Using Subtree Analysis. 598-601 - Hoang M. Le, Daniel Große
, Niklas Bruns, Rolf Drechsler
:
Detection of Hardware Trojans in SystemC HLS Designs via Coverage-guided Fuzzing. 602-605 - Lea Schönberger
, Georg von der Brüggen
, Horst Schirmeier
, Jian-Jia Chen
:
Design Optimization for Hardware-Based Message Filters in Broadcast Buses. 606-609 - Ta-Wei Huang, Yun-Yun Tsai, Chung-Wei Lin, Tsung-Yi Ho
:
Vehicle Sequence Reordering with Cooperative Adaptive Cruise Control. 610-613 - Josef Strnadel
:
Using Statistical Model Checking to Assess Reliability for Bathtub-Shaped Failure Rates. 614-617 - Aman Goel
, Karem A. Sakallah:
Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. 618-621 - Dimosthenis Masouros, Konstantina Koliogeorgi, Georgios Zervakis, Alexandra Kosvyra
, Achilleas Chytas, Sotirios Xydis, Ioanna Chouvarda
, Dimitrios Soudris
:
Co-design Implications of Cost-effective On-demand Acceleration for Cloud Healthcare Analytics: The AEGLE approach. 622-625 - Elias Koromilas, Christoforos Kachris, Dimitrios Soudris, Francisco J. Ballesteros, Patricio Martínez, Ricardo Jiménez-Peris:
Modular FPGA Acceleration of Data Analytics in Heterogenous Computing. 626-629 - Siyuan Xiao, Xiaohang Wang, Maurizio Palesi, Amit Kumar Singh, Terrence S. T. Mak:
ACDC: An Accuracy- and Congestion-aware Dynamic Traffic Control Method for Networks-on-Chip. 630-633 - Lulwah Alhubail, Nader Bagherzadeh
:
Power and Performance Optimal NoC Design for CPU-GPU Architecture Using Formal Models. 634-637 - Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, Massoud Pedram:
Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. 638-641 - Zi Wang, Benjamin Carrión Schäfer
:
Partial Encryption of Behavioral IPs to Selectively Control the Design Space in High-Level Synthesis. 642-645 - Hela Belhadj Amor, Carolynn Bernier
:
Software-Hardware Co-Design of Multi-Standard Digital Baseband Processor for IoT. 646-649 - Björn Forsberg, Luca Benini
, Andrea Marongiu:
Taming Data Caches for Predictable Execution on GPU-based SoCs. 650-653 - Giuseppe Tagliavini, Stefan Mach, Davide Rossi, Andrea Marongiu, Luca Benini
:
Design and Evaluation of SmallFloat SIMD extensions to the RISC-V ISA. 654-657 - Jianmin Qian, Jian Li, Ruhui Ma, Haibing Guan:
vDARM: Dynamic Adaptive Resource Management for Virtualized Multiprocessor Systems. 658-661 - Fabian Schuiki, Michael Schaffner, Luca Benini
:
NTX: An Energy-efficient Streaming Accelerator for Floating-point Generalized Reduction Workloads in 22 nm FD-SOI. 662-667 - Jan van Lunteren, Ronald P. Luijten, Dionysios Diamantopoulos, Florian Auernhammer, Christoph Hagleitner, Lorenzo Chelini, Stefano Corda
, Gagandeep Singh:
Coherently Attached Programmable Near-Memory Acceleration Platform and its application to Stencil Processing. 668-673 - Pascal Vivet
, Gilles Sicard, Laurent Millet, Stéphane Chevobbe
, Karim Ben Chehida, Luis Angel Cubero, Monte Alegre, Maxence Bouvier
, Alexandre Valentian, Maria Lepecq
, Thomas Dombek, Olivier Bichler, Sébastien Thuries, Didier Lattard, Séverine Cheramy, Perrine Batude, Fabien Clermidy:
Advanced 3D Technologies and Architectures for 3D Smart Image Sensors. 674-679 - Burhan Ahmad Mudassar, Priyabrata Saha, Yun Long, Mohammad Faisal Amir, Evan Gebhardt, Taesik Na, Jong Hwan Ko, Marilyn Wolf, Saibal Mukhopadhyay:
A Camera with Brain - Embedding Machine Learning in 3D Sensors. 680-685 - Sechang Oh, Minchang Cho, Xiao Wu, Yejoong Kim, Li-Xuan Chuo, Wootaek Lim, Pat Pannuto
, Suyoung Bang, Kaiyuan Yang
, Hun-Seok Kim, Dennis Sylvester, David T. Blaauw:
IoT2 - the Internet of Tiny Things: Realizing mm-Scale Sensors through 3D Die Stacking. 686-691 - Ning-Chi Huang, Szu-Ying Chen, Kai-Chiang Wu:
Sensor-Based Approximate Adder Design for Accelerating Error-Tolerant and Deep-Learning Applications. 692-697 - Ioannis Tsiokanos, Lev Mukhanov, Georgios Karakonstantis:
Low-Power Variation-Aware Cores based on Dynamic Data-Dependent Bitwidth Truncation. 698-703 - Matteo Biasielli, Cristiana Bolchini, Luca Cassano, Antonio Miele
:
A Smart Fault Detection Scheme for Reliable Image Processing Applications. 704-709 - Jordi Cardona, Carles Hernández
, Jaume Abella
, Francisco J. Cazorla:
Maximum-Contention Control Unit (MCCU): Resource Access Count and Contention Time Enforcement. 710-715 - Mehdi Alipour, Rakesh Kumar, Stefanos Kaxiras, David Black-Schaffer:
FIFOrder MicroArchitecture: Ready-Aware Instruction Scheduling for OoO Processors. 716-721 - Michael Guilherme Jordan, Tiago Knorst, Julio Costella Vicenzi
, Mateus Beck Rutzig
:
Boosting SIMD Benefits through a Run-time and Energy Efficient DLP Detection. 722-727 - Hossein Sayadi, Hosein Mohammadi Makrani, Sai Manoj Pudukotai Dinakarrao
, Tinoosh Mohsenin, Avesta Sasan, Setareh Rafatirad, Houman Homayoun:
2SMaRT: A Two-Stage Machine Learning-Based Approach for Run-Time Specialized Hardware-Assisted Malware Detection. 728-733 - Archanaa S. Krishnan, Charles Suslowicz, Daniel Dinu, Patrick Schaumont
:
Secure Intermittent Computing Protocol: Protecting State Across Power Loss. 734-739 - Dongil Hwang, Myonghoon Yang, Seongil Jeon, Younghan Lee
, Donghyun Kwon, Yunheung Paek:
RiskiM: Toward Complete Kernel Protection with Hardware Support. 740-745 - Jo Vliegen, Md Masoom Rabbani, Mauro Conti, Nele Mentens
:
SACHa: Self-Attestation of Configurable Hardware. 746-751 - Alessio Burrello
, Lukas Cavigelli, Kaspar Schindler
, Luca Benini
, Abbas Rahimi
:
Laelaps: An Energy-Efficient Seizure Detection Algorithm from Long-term Human iEEG Recordings without False Alarms. 752-757 - Daniela De Venuto, Giovanni Mezzina
:
Automatic Time-Frequency Analysis of MRPs for Mind-controlled Mechatronic Devices. 758-763 - Damian Pascual, Amir Aminifar, David Atienza:
A Self-Learning Methodology for Epileptic Seizure Detection with Minimally-Supervised Edge Labeling. 764-769 - Sujit Rokka Chhetri, Anthony Bahadir Lopez, Jiang Wan, Mohammad Abdullah Al Faruque
:
GAN-Sec: Generative Adversarial Network Modeling for the Security Analysis of Cyber-Physical Production Systems. 770-775 - Sai Manoj Pudukotai Dinakarrao
, Hossein Sayadi, Hosein Mohammadi Makrani, Cameron Nowzari, Setareh Rafatirad, Houman Homayoun:
Lightweight Node-level Malware Detection and Network-level Malware Confinement in IoT Networks. 776-781 - Lei Bu
, Shaopeng Xing, Xinyue Ren, Yang Yang, Qixin Wang
, Xuandong Li:
Incremental Online Verification of Dynamic Cyber-Physical Systems. 782-787 - Korosh Vatanparvar, Mohammad Abdullah Al Faruque
:
Self-Secured Control with Anomaly Detection and Recovery in Automotive Cyber-Physical Systems. 788-793 - Jintao Yu
, Hoang Anh Du Nguyen, Muath Abu Lebdeh
, Mottaqiallah Taouil, Said Hamdioui:
Time-division Multiplexing Automata Processor. 794-799 - Alvin Oliver Glova, Itir Akgun
, Shuangchen Li, Xing Hu, Yuan Xie:
Near-Data Acceleration of Privacy-Preserving Biomarker Search with 3D-Stacked Memory. 800-805 - Shangyu Wu, Yi Wang
, Amelie Chi Zhou, Rui Mao, Zili Shao, Tao Li:
Towards Cross-Platform Inference on Edge Devices with Emerging Neuromorphic Architecture. 806-811 - Ron Gabor, Yiannakis Sazeides, Arkady Bramnik, Alexandros Andreou, Chrysostomos Nicopoulos
, Karyofyllis Patsidis, Dimitris Konstantinou, Giorgos Dimitrakopoulos:
Error-Shielded Register Renaming Sub-system for a Dynamically Scheduled Out-of-Order Core. 812-817 - Pedro Benedicte
, Carles Hernández
, Jaume Abella
, Francisco J. Cazorla:
LAEC: Look-Ahead Error Correction Codes in Embedded Processors L1 Data Cache. 818-823 - Sergi Alcaide
, Leonidas Kosmidis
, Carles Hernández
, Jaume Abella
:
High-Integrity GPU Designs for Critical Real-Time Automotive Systems. 824-829 - Sun ik Heo, Andrew B. Kahng, Minsoo Kim, Lutong Wang
, Chutong Yang:
Detailed Placement for IR Drop Mitigation by Power Staple Insertion in Sub-10nm VLSI. 830-835 - Lu Wang, Leilei Wang, Dejia Shang, Cheng Zhuo, Pingqiang Zhou:
Optimizing the Energy Efficiency of Power Supply in Heterogeneous Multicore Chips with Integrated Switched-Capacitor Converters. 836-841 - Andrew B. Kahng, Seokhyeong Kang, Seungwon Kim, Kambiz Samadi, Bangqi Xu:
Power Delivery Pathfinding for Emerging Die-to-Wafer Integration Technology. 842-847 - Luca Mocerino, Valerio Tenace
, Andrea Calimera
:
Energy-Efficient Convolutional Neural Networks via Recurrent Data Reuse. 848-853 - Elham Cheshmikhani
, Hamed Farbeh
, Hossein Asadi:
Enhancing Reliability of STT-MRAM Caches by Eliminating Read Disturbance Accumulation. 854-859 - Yujuan Tan, Baiping Wang, Zhichao Yan, Qiuwei Deng, Xianzhang Chen
, Duo Liu:
UIMigrate: Adaptive Data Migration for Hybrid Non-Volatile Memory Systems. 860-865 - Chaoshu Yang, Duo Liu, Xianzhang Chen
, Runyu Zhang, Wenbin Wang, Moming Duan, Yujuan Tan:
Reducing Write Amplification for Inodes of Journaling File System using Persistent Memory. 866-871 - Alma Pröbstl, Sangyoung Park
, Sebastian Steinhorst
, Samarjit Chakraborty
:
Cost/Privacy Co-optimization in Smart Energy Grids. 872-877 - Kostas Siozios
, Stylianos Siskos:
A Low-Complexity Framework for Distributed Energy Market Targeting Smart-Grid. 878-883 - Daniele Jahier Pagliari
, Sara Vinco, Enrico Macii, Massimo Poncino:
Irradiance-Driven Partial Reconfiguration of PV Panels. 884-889 - Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler
:
Better Late Than Never : Verification of Embedded Systems After Deployment. 890-895 - Kuan-Hsun Chen
, Niklas Ueter, Georg von der Brüggen
, Jian-Jia Chen
:
Efficient Computation of Deadline-Miss Probability and Potential Pitfalls. 896-901 - Faiq Khalid, Muhammad Abdullah Hanif, Semeen Rehman, Junaid Qadir
, Muhammad Shafique
:
FAdeML: Understanding the Impact of Pre-Processing Noise Filtering on Adversarial Machine Learning. 902-907 - Hyunyoung Oh
, Hayoon Yi, Hyeokjun Choe, Yeongpil Cho, Sungroh Yoon, Yunheung Paek:
Real-Time Anomalous Branch Behavior Inference with a GPU-inspired Engine for Machine Learning Models. 908-913 - Imran Hafeez Abbassi, Faiq Khalid, Semeen Rehman, Awais Mehmood Kamboh
, Axel Jantsch
, Siddharth Garg, Muhammad Shafique
:
TrojanZero: Switching Activity-Aware Design of Undetectable Hardware Trojans with Zero Power and Area Footprint. 914-919 - Paolo Bernardi
, Riccardo Cantoro
, Andrea Floridia, Davide Piumatti, C. Pogonea, Annachiara Ruospo
, Ernesto Sánchez, Sergio de Luca, Alessandro Sansonetti:
Non-Intrusive Self-Test Library for Automotive Critical Applications: Constraints and Solutions. 920-923 - Jihee Seo, Dae Hyun Kim:
Dependency-Resolving Intra-Unit Pipeline Architecture for High-Throughput Multipliers. 924-927 - Mohammad Saeed Ansari, Bruce F. Cockburn, Jie Han:
A Hardware-Efficient Logarithmic Multiplier with Improved Accuracy. 928-931 - Alessandro Cilardo, Mirko Gagliardi, Vincenzo Scotti:
Lightweight hardware support for selective coherence in heterogeneous manycore accelerators. 932-935 - Deepak Sirone, Pramod Subramanyan:
Functional Analysis Attacks on Logic Locking. 936-939 - Yuanqi Shen, You Li, Shuyu Kong, Amin Rezaei, Hai Zhou:
SigAttack: New High-level SAT-based Attack on Logic Encryptions. 940-943 - Philipp Mayer
, Raphael Strebel, Michele Magno
:
ZeroPowerTouch: Zero-Power Smart Receiver for Touch Communication and Sensing in Wearable Applications. 944-947 - Lorenzo Ferretti, Giovanni Ansaloni, Laura Pozzi, Amir Aminifar, David Atienza, Leila Cammoun, Philippe Ryvlin:
Tailoring SVM Inference for Resource-Efficient ECG-Based Epilepsy Monitors. 948-951 - Florenc Demrozi
, Vladislav Bragoi, Federico Tramarin
, Graziano Pravadelli
:
An indoor localization system to detect areas causing the freezing of gait in Parkinsonians. 952-955 - Robert Fischbach, Tilman Horst, Jens Lienig:
Assembly-Related Chip/Package Co-Design of Heterogeneous Systems Manufactured by Micro-Transfer Printing. 956-959 - Dipan Kumar Mandal, Srivatsava Jandhyala, Om Ji Omer, Gurpreet S. Kalsi, Biji George, Gopi Neela, Santhosh Kumar Rethinagiri, Sreenivas Subramoney
, Lance Hacking, Jim Radford, Eagle Jones, Belliappa Kuttanna, Hong Wang:
Visual Inertial Odometry At the Edge: A Hardware-Software Co-design Approach for Ultra-low Latency and Power. 960-963 - Alberto Marchisio
, Muhammad Abdullah Hanif, Muhammad Shafique
:
CapsAcc: An Efficient Hardware Accelerator for CapsuleNets with Data Reuse. 964-967 - Jung-Woo Chang
, Keon-Woo Kang, Suk-Ju Kang:
SDCNN: An Efficient Sparse Deconvolutional Neural Network Accelerator on FPGA. 968-971 - Sajjad Hussain, Muhammad Shafique
, Jörg Henkel:
A Fine-Grained Soft Error Resilient Architecture under Power Considerations. 972-975 - Rafail Psiakis, Angeliki Kritikakou
, Olivier Sentieys:
Fine-Grained Hardware Mitigation for Multiple Long-Duration Transients on VLIW Function Units. 976-979 - Eleni Maragkoudaki
, Przemyslaw Mroszczyk, Vasilis F. Pavlidis:
Adaptive Word Reordering for Low-Power Inter-Chip Communication. 980-983 - Ganqu Cui, Wenjian Yu, Xin Li, Zhiyu Zeng, Ben Gu:
Machine-Learning-Driven Matrix Ordering for Power Grid Analysis. 984-987 - Enzo Brignon, Laurence Pierre:
Assertion-Based Verification through Binary Instrumentation. 988-991 - Henry Cox, Harry H. Chen:
Hardware and firmware verification and validation: an algorithm-to-firmware development methodology. 992-993 - Mohammad Rahmani Fadiheh, Dominik Stoffel, Clark W. Barrett, Subhasish Mitra
, Wolfgang Kunz:
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking. 994-999 - Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon, Ralf Schnieder, Karthik Ganesan
, Mohammad Rahmani Fadiheh, Dominik Stoffel, Wolfgang Kunz, Clark W. Barrett, Wolfgang Ecker, Subhasish Mitra
:
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study. 1000-1005 - Georges G. E. Gielen, Nektar Xama, Karthik Ganesan
, Subhasish Mitra
:
Review of Methodologies for Pre- and Post-Silicon Analog Verification in Mixed-Signal SOCs. 1006-1009 - Bo Luo, Yu Li, Lingxiao Wei, Qiang Xu
:
On Functional Test Generation for Deep Neural Network IPs. 1010-1015 - Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Lylina, Hans-Joachim Wunderlich, Bernd Becker
, Matthias Sauer:
On Secure Data Flow in Reconfigurable Scan Networks. 1016-1021 - Naixing Wang, Irith Pomeranz, Sudhakar M. Reddy, Arani Sinha, Srikanth Venkataraman:
Resynthesis for Avoiding Undetectable Faults Based on Design-for-Manufacturability Guidelines. 1022-1027 - Anteneh Gebregiorgis, Mehdi Baradaran Tahoori:
Test Pattern Generation for Approximate Circuits Based on Boolean Satisfiability. 1028-1033 - Maryam Hemmati
, Morteza Biglari-Abhari, Smaïl Niar:
Adaptive Vehicle Detection for Real-time Autonomous Driving System. 1034-1039 - Xin Wei, Changhao Yan, Hai Zhou, Dian Zhou, Xuan Zeng:
An Efficient FPGA-based Floating Random Walk Solver for Capacitance Extraction using SDAccel. 1040-1045 - Mael Gueguen, Olivier Sentieys, Alexandre Termier:
Accelerating Itemset Sampling using Satisfiability Constraints on FPGA. 1046-1051 - Lei Han, Bin Xiao
, Xuwei Dong, Zhaoyan Shen, Zili Shao:
DS-Cache: A Refined Directory Entry Lookup Cache with Prefix-Awareness for Mobile Devices. 1052-1057 - Sheng Ma, Yang Guo, Shenggang Chen, Libo Huang, Zhiying Wang:
Improving the DRAM Access Efficiency for Matrix Multiplication on Multicore Accelerators. 1058-1063 - Hongwei Qin, Dan Feng, Wei Tong, Jingning Liu, Yutong Zhao:
QBLK: Towards Fully Exploiting the Parallelism of Open-Channel SSDs. 1064-1069 - Federica Ferraguti, Andrea Pertosa, Cristian Secchi
, Cesare Fantuzzi, Marcello Bonfè:
A Methodology for Comparative Analysis of Collaborative Robots for Industry 4.0. 1070-1075 - Armin Schoenlieb, Hannes Plank, Christian Steger
, Gerald Holweg, Norbert Druml:
Hybrid Sensing Approach For Coded Modulation Time-of-Flight Cameras. 1076-1081 - Seyyed Ahmad Razavi, Eli Bozorgzadeh, Solmaz S. Kia
:
Communication-Computation co-Design of Decentralized Task Chain in CPS Applications. 1082-1087 - Daisuke Fukutomi, Takuya Azumi, Shinpei Kato, Nobuhiko Nishio:
Resource Manager for Scalable Performance in ROS Distributed Environments. 1088-1093 - Sebastian Vogel, Jannik Springer, Andre Guntoro
, Gerd Ascheid:
Self-Supervised Quantization of Pre-Trained Neural Networks for Multiplierless Acceleration. 1094-1099 - Nhut-Minh Ho, Ramesh Vaddi, Weng-Fai Wong
:
Multi-objective Precision Optimization of Deep Neural Networks for Edge Devices. 1100-1105 - Afzal Ahmad
, Muhammad Adeel Pasha:
Towards Design Space Exploration and Optimization of Fast Algorithms for Convolutional Neural Networks (CNNs) on FPGAs. 1106-1111 - Jeng-Hau Lin, Atieh Lotfi, Vahideh Akhlaghi, Zhuowen Tu, Rajesh K. Gupta:
Accelerating Local Binary Pattern Networks with Software-Programmable FPGAs. 1112-1117 - Hannah Badier, Jean-Christophe Le Lann, Philippe Coussy, Guy Gogniat
:
Transient Key-based Obfuscation for HLS in an Untrusted Cloud Environment. 1118-1123 - Christian Pilato, Kanad Basu, Mohammed Shayan, Francesco Regazzoni
, Ramesh Karri
:
High-Level Synthesis of Benevolent Trojans. 1124-1129 - Jieru Zhao, Tingyuan Liang, Sharad Sinha, Wei Zhang:
Machine Learning Based Routing Congestion Prediction in FPGA High-Level Synthesis. 1130-1135 - Mario Werner, Robert Schilling, Thomas Unterluggauer, Stefan Mangard:
Protecting RISC-V Processors against Physical Attacks. 1136-1141 - Ilia A. Lebedev, Kyle Hogan, Jules Drean, David Kohlbrenner, Dayeol Lee, Krste Asanovic, Dawn Song, Srinivas Devadas:
Sanctorum: A lightweight security monitor for secure enclaves. 1142-1147 - Tim Fritzmann, Uzair Sharif, Daniel Müller-Gritschneder
, Cezar Reinbrecht
, Ulf Schlichtmann
, Johanna Sepúlveda:
Towards Reliable and Secure Post-Quantum Co-Processors based on RISC-V. 1148-1153 - Lukas Auer, Christian Skubich
, Matthias Hiller
:
A Security Architecture for RISC-V based IoT Devices. 1154-1159 - Subodha Charles, Yangdi Lyu, Prabhat Mishra
:
Real-time Detection and Localization of DoS Attacks in NoC based SoCs. 1160-1165 - Ke Wang, Ahmed Louri, Avinash Karanth
, Razvan C. Bunescu:
High-performance, Energy-efficient, Fault-tolerant Network-on-Chip Design Using Reinforcement Learnin. 1166-1171 - Kaiwei Zou, Ying Wang, Huawei Li, Xiaowei Li
:
Learn-to-Scale: Parallelizing Deep Learning Inference on Chip Multiprocessor Architecture. 1172-1177 - Boqian Wang, Zhonghai Lu:
Advance Virtual Channel Reservation. 1178-1183 - Sohan Lal, Jan Lucas, Ben H. H. Juurlink:
SLC: Memory Access Granularity Aware Selective Lossy Compression for GPUs. 1184-1189 - Jingweijia Tan, Kaige Yan, Shuaiwen Leon Song, Xin Fu:
LoSCache: Leveraging Locality Similarity to Build Energy-Efficient GPU L2 Cache. 1190-1195 - Saba Ahmadian, Reza Salkhordeh, Hossein Asadi:
LBICA: A Load Balancer for I/O Cache Architectures. 1196-1201 - Enrico Mezzetti
, Luca Barbina, Jaume Abella
, Stefania Botta, Francisco J. Cazorla:
AURIX TC277 Multicore Contention Model Integration for Automotive Applications. 1202-1203 - Kyungsu Kang, Sangho Park, Byeongwook Bae, Jungyun Choi, SungGil Lee, Byunghoon Lee, Jong-Bae Lee:
Seamless SoC Verification Using Virtual Platforms: An Industrial Case Study. 1204-1205 - Mikel Fernández
, Gabriel Fernandez, Jaume Abella
, Francisco J. Cazorla:
Multicore Early Design Stage Guaranteed Performance Estimates for the Space Domain. 1206-1207 - Timo Lehnigk-Emden, Matthias Alles, Claus Kestel, Norbert Wehn
:
Polar Code Decoder Framework. 1208-1209 - Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer
:
Increasing Accuracy of Timing Models: From CPA to CPA+. 1210-1215 - Martin Schoeberl
, Tórur Biskopstø Strøm, Oktay Baris, Jens Sparsø
:
Scratchpad Memories with Ownership. 1216-1221 - Jiyang Chen, Zhiwei Feng
, Jen-Yang Wen, Bo Liu, Lui Sha:
A Container-based DoS Attack-Resilient Control Framework for Real-Time UAV Systems. 1222-1227 - Beyazit Yalcinkaya, Mitra Nasri
, Björn B. Brandenburg:
An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. 1228-1233 - Robert Wille, Rod Van Meter, Yehuda Naveh:
IBM's Qiskit Tool Chain: Working with and Developing for Real Quantum Computers. 1234-1240 - Wentai Zhang
, Jiaxi Zhang, Minghua Shen, Guojie Luo
, Nong Xiao:
An Efficient Mapping Approach to Large-Scale DNNs on Multi-FPGA Architectures. 1241-1244 - Ning Bao, Yunpeng Chai, Xiao Qin:
A Write-Efficient Cache Algorithm based on Macroscopic Trend for NVM-based Read Cache. 1245-1248 - Alexandra Listl, Daniel Mueller-Gritschneder
, Ulf Schlichtmann
, Sani R. Nassif:
SRAM Design Exploration with Integrated Application-Aware Aging Analysis. 1249-1252 - Stefano Centomo, Enrico Fraccaroli
, Marco Panato:
From Multi-Level to Abstract-Based Simulation of a Production Line. 1253-1256 - Manuel Pencelli, Renzo Villa, Alfredo Argiolas, Gianni Ferretti, Marta Niccolini, Matteo Ragaglia
, Paolo Rocco
, Andrea Maria Zanchettin:
Accurate Dynamic Modelling of Hydraulic Servomechanisms. 1257-1260 - Nicola Piccinelli, Federico Vesentini, Riccardo Muradore
:
Planning with Real-Time Collision Avoidance for Cooperating Agents under Rigid Body Constraints. 1261-1264 - Chen-Ying Hsieh, Ardalan Amiri Sani, Nikil D. Dutt
:
The Case for Exploiting Underutilized Resources in Heterogeneous Mobile Architectures. 1265-1268 - Yufei Cui
, Qiao Li
, Sarana Nutanong, Chun Jason Xue:
Online Rare Category Detection for Edge Computing. 1269-1272 - Yu Huang, Long Zheng, Xiaofei Liao, Hai Jin, Pengcheng Yao
, Chuangyi Gui:
RAGra: Leveraging Monolithic 3D ReRAM for Massively-Parallel Graph Processing. 1273-1276 - Lorenzo Servadei, Elena Zennaro, Keerthikumara Devarajegowda, Martin Manzinger, Wolfgang Ecker, Robert Wille:
Accurate Cost Estimation of Memory Systems Inspired by Machine Learning for Computer Vision. 1277-1280 - Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden:
Practical Causality Handling for Synchronous Languages. 1281-1284 - Yeseong Kim, Ankit More, Emily Shriver, Tajana Rosing:
Application Performance Prediction and Optimization Under Cache Allocation Technology. 1285-1288 - Soheil Hashemi, Sherief Reda:
Generalized Matrix Factorization Techniques for Approximate Logic Synthesis. 1289-1292 - Tianming Yang, Ping Huang, Weiying Zhang, Haitao Wu, Longxin Lin:
CARS: A Multi-layer Conflict-Aware Request Scheduler for NVMe SSDs. 1293-1296 - Robert Wittig, Mattis Hasler, Emil Matús, Gerhard P. Fettweis:
Queue Based Memory Management Unit for Heterogeneous MPSoCs. 1297-1300 - Wolfgang Ecker, Keerthikumara Devarajegowda, Michael Werner, Zhao Han, Lorenzo Servadei:
Embedded Systems' Automation following OMG's Model Driven Architecture Vision. 1301-1306 - Ananth Kalyanaraman, Partha Pratim Pande:
A Brief Survey of Algorithms, Architectures, and Challenges toward Extreme-scale Graph Analytics. 1307-1312 - Vito Giovanni Castellana, Maurizio Drocco, John Feo, Jesun Sahariar Firoz, Thejaka Amila Kanewala, Andrew Lumsdaine
, Joseph B. Manzano
, Andres Marquez
, Marco Minutoli
, Joshua Suetterlein
, Antonino Tumeo, Marcin Zalewski:
A Parallel Graph Environment for Real-World Data Analytics Workflows. 1313-1318 - Alexander van der Grinten, Henning Meyerhenke
:
Scaling up Network Centrality Computations *. 1319-1324 - Gabriel Piscoya Davila, Daniel Oliveira, Philippe O. A. Navaux, Paolo Rech:
Identifying the Most Reliable Collaborative Workload Distribution in Heterogeneous Devices. 1325-1330 - Liying Li, Tongquan Wei, Junlong Zhou, Mingsong Chen, Xiaobo Sharon Hu
:
CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate. 1331-1336 - Zhongsheng Chen, Ying Zhang, Zebo Peng, Jianhui Jiang:
A Deterministic-Path Routing Algorithm for Tolerating Many Faults on Wafer-Level NoC. 1337-1342 - Benjamin J. Fletcher
, Shidhartha Das, Terrence S. T. Mak:
CoDAPT: A Concurrent Data And Power Transceiver for Fully Wireless 3D-ICs. 1343-1348 - Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli:
Compiling Permutations for Superconducting QPUs. 1349-1354 - Hassnaa El-Derhalli, Sébastien Le Beux, Sofiène Tahar:
Stochastic Computing with Integrated Optics. 1355-1360 - Ahmet Turan Erozan, Rajendra Bishnoi, Jasmin Aghassi-Hagmann
, Mehdi Baradaran Tahoori:
Inkjet-Printed True Random Number Generator based on Additive Resistor Tuning. 1361-1366 - Suzhen Wu, Weiwei Zhang, Bo Mao, Hong Jiang:
HotR: Alleviating Read/Write Interference with Hot Read Data Replication for Flash Storage. 1367-1372 - Chenlei Tang, Jiguang Wan, Yifeng Zhu, Zhiyuan Liu, Peng Xu, Fei Wu, Changsheng Xie:
RAFS: A RAID-Aware File System to Reduce the Parity Update Overhead for SSD RAID. 1373-1378 - Shiqing Li, Yixun Wei, Lei Ju:
Automatic data placement for CPU-FPGA heterogeneous multiprocessor System-on-Chips. 1379-1384 - Daniele Angioletti
, Francesco Bertani, Cristiana Bolchini, Francesco Cerizzi, Antonio Miele
:
A Runtime Resource Management Policy for OpenCL Workloads on Heterogeneous Multicores. 1385-1390 - Manolis Katsaragakis, Dimosthenis Masouros, Vasileios Tsoutsouras, Farzad Samie, Lars Bauer, Jörg Henkel, Dimitrios Soudris:
DMRM: Distributed Market-Based Resource Management of Edge Computing Systems. 1391-1396 - Elham Shamsa, Anil Kanduri, Amir M. Rahmani
, Pasi Liljeberg, Axel Jantsch
, Nikil D. Dutt
:
Goal-Driven Autonomy for Efficient On-chip Resource Management: Transforming Objectives to Goals. 1397-1402 - Tianming Jiang
, Ping Huang, Ke Zhou:
Scrub Unleveling: Achieving High Data Reliability at Low Scrubbing Cost. 1403-1408 - Miguel de Prado, Nuria Pazos, Luca Benini
:
Learning to infer: RL-based search for DNN primitive selection on Heterogeneous Embedded Systems. 1409-1414 - Yang Zhao
, Xing Hu, Shuangchen Li, Jing Ye, Lei Deng
, Yu Ji, Jianyu Xu, Dong Wu, Yuan Xie:
Memory Trojan Attack on Neural Network Accelerators. 1415-1420 - Zachariah Carmichael, Hamed Fatemi Langroudi, Char Khazanov, Jeffrey Lillie, John L. Gustafson, Dhireesha Kudithipudi:
Deep Positron: A Deep Neural Network Using the Posit Number System. 1421-1426 - Arash Ardakani, Zhengyun Ji, Warren J. Gross:
Learning to Skip Ineffectual Recurrent Computations in LSTMs. 1427-1432 - Anand Balakrishnan
, Aniruddh Gopinath Puranic
, Xin Qin, Adel Dokhanchi, Jyotirmoy V. Deshmukh, Heni Ben Amor, Georgios Fainekos
:
Specifying and Evaluating Quality Metrics for Vision-based Perception Systems. 1433-1438 - Samarjit Chakraborty
, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar:
Cross-Layer Interactions in CPS for Performance and Certification. 1439-1444 - Jean-Pierre Talpin, Jean-Joseph Marty, Shravan Narayan
, Deian Stefan, Rajesh Gupta
:
Towards verified programming of embedded devices. 1445-1450 - Ahmad Tarraf
, Lars Hedrich:
Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata. 1451-1456 - Carna Zivkovic, Christoph Grimm:
Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models. 1457-1462 - Shuhan Zhang
, Wenlong Lyu, Fan Yang, Changhao Yan, Dian Zhou, Xuan Zeng:
Bayesian Optimization Approach for Analog Circuit Synthesis Using Neural Network. 1463-1468 - Patsy Cadareanu, N. Reddy C, Carmen G. Almudéver
, A. Khanna, Arijit Raychowdhury, Suman Datta
, Koen Bertels, Vijayakrishan Narayanan, Massimiliano Di Ventra, Pierre-Emmanuel Gaillardon:
Rebooting Our Computing Models. 1469-1476 - Weidong Cao
, Xin He, Ayan Chakrabarti, Xuan Zhang
:
NeuADC: Neural Network-Inspired RRAM-Based Synthesizable Analog-to-Digital Conversion with Reconfigurable Quantization Support. 1477-1482 - Weichen Liu
, Wenyang Liu, Yichen Ye, Qian Lou
, Yiyuan Xie, Lei Jiang:
HolyLight: A Nanophotonic Accelerator for Deep Learning in Data Centers. 1483-1488 - Insik Yoon, Malik Aqeel Anwar, Titash Rakshit, Arijit Raychowdhury:
Transfer and Online Reinforcement Learning in STT-MRAM Based Embedded Systems for Autonomous Drones. 1489-1494 - Minwook Ahn, Seok Joong Hwang, Wonsub Kim, Seungrok Jung, Yeonbok Lee, Mookyoung Chung, Woohyung Lim, Young Joon Kim:
AIX: A high performance and energy efficient inference accelerator on FPGA for a DNN-based commercial speech recognition. 1495-1500 - Tae Hyung Lee, Minho Lee, Young Ik Eom:
VM-aware Flush Mechanism for Mitigating Inter-VM I/O Interference. 1501-1506 - Christoph Schorn, Andre Guntoro
, Gerd Ascheid:
An Efficient Bit-Flip Resilience Optimization Method for Deep Neural Networks. 1507-1512 - Lei Mo
, Angeliki Kritikakou
, Olivier Sentieys:
Approximation-aware Task Deployment on Asymmetric Multicore Processors. 1513-1518 - Mohamed Ibrahim, Bhargab B. Bhattacharya, Krishnendu Chakrabarty
:
BioScan: Parameter-Space Exploration of Synthetic Biocircuits Using MEDA Biochips∗. 1519-1524 - Zhisheng Chen, Xing Huang, Wenzhong Guo, Bing Li, Tsung-Yi Ho
, Ulf Schlichtmann
:
Physical Synthesis of Flow-Based Microfluidic Biochips Considering Distributed Channel Storage. 1525-1530 - Yu-Huei Lin, Tsung-Yi Ho
, Bing Li, Ulf Schlichtmann
:
Block-Flushing: A Block-based Washing Algorithm for Programmable Microfluidic Devices. 1531-1536 - Xu Jiang, Nan Guan
, Di Liu, Weichen Liu
:
Analyzing GEDF Scheduling for Parallel Real-Time Tasks with Arbitrary Deadlines. 1537-1542 - Paolo Pazzaglia
, Alessandro Biondi
, Marco Di Natale:
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems. 1543-1548 - Sobhan Niknam, Peng Wang, Todor P. Stefanov
:
Hard Real-Time Scheduling of Streaming Applications Modeled as Cyclic CSDF Graphs. 1549-1554 - Sajjad Hussain, Muhammad Shafique
, Jörg Henkel:
Thermal-Awareness in a Soft Error Tolerant Architecture. 1555-1558 - Hwisoo So, Moslem Didehban, Aviral Shrivastava
, Kyoungwoo Lee:
A software-level Redundant MultiThreading for Soft/Hard Error Detection and Recovery. 1559-1562 - Farah Naz Taher, Matthew Joslin, Anjana Balachandran, Zhiqi Zhu, Benjamin Carrión Schäfer:
Common-Mode Failure Mitigation: Increasing Diversity through High-Level Synthesis. 1563-1566 - Zheng Zhao, Derong Liu, Zhoufeng Ying, Biying Xu, Chenghao Feng, Ray T. Chen, David Z. Pan:
Exploiting Wavelength Division Multiplexing for Optical Logic Synthesis. 1567-1570 - Dimitra Papagiannopoulou, Sungseob Whang, Tali Moreshet, R. Iris Bahar
:
IgnoreTM: Opportunistically Ignoring Timing Violations for Energy Savings using HTM. 1571-1574 - Mahmoud Masadeh
, Osman Hasan
, Sofiène Tahar:
Using Machine Learning for Quality Configurable Approximate Computing. 1575-1578 - Martin Rapp, Anuj Pathania
, Tulika Mitra
, Jörg Henkel:
Prediction-Based Task Migration on S-NUCA Many-Cores. 1579-1582 - Ann Franchesca Laguna, Michael T. Niemier, Xiaobo Sharon Hu
:
Design of Hardware-Friendly Memory Enhanced Neural Networks. 1583-1586 - Seongsik Park
, Jaehee Jang, Sei Joon Kim, Sungroh Yoon:
Energy-Efficient Inference Accelerator for Memory-Augmented Neural Networks on an FPGA. 1587-1590 - Mohsen Imani, Yeseong Kim, Thomas Worley, Saransh Gupta, Tajana Rosing:
HDCluster: An Accurate Clustering Using Brain-Inspired High-Dimensional Computing. 1591-1594 - Itrat A. Akhter, Justin Reiher, Mark R. Greenstreet:
Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms. 1595-1598 - Zhaoyun Chen, Lei Luo, Haoduo Yang, Jie Yu, Mei Wen, Chunyuan Zhang:
GENIE: QoS-guided Dynamic Scheduling for CNN-based Tasks on SME Clusters. 1599-1602 - Sergey Mileiko, Rishad A. Shafik, Alex Yakovlev, Jonathan Edwards:
A Pulse Width Modulation based Power-elastic and Robust Mixed-signal Perceptron Design. 1603-1606 - Alessandro Bernardini, Chunfeng Liu, Bing Li, Ulf Schlichtmann
:
Fault Localization in Programmable Microfluidic Devices. 1607-1610 - Weichen Liu
, Mengquan Li, Wanli Chang, Chunhua Xiao, Yiyuan Xie, Nan Guan
, Lei Jiang:
Thermal Sensing Using Micro-ring Resonators in Optical Network-on-Chip. 1611-1614 - Sachin Maheshwari, Izzet Kale:
Adiabatic Implementation of Manchester Encoding for Passive NFC System. 1615-1618 - Qishen Zhang, Tamás Kecskés, Ted Bapty, Janos Sztipanovits:
Semantic Integration Platform for Cyber-Physical System Design. 1619-1624 - Jakaria Abdullah
, Gaoyang Dai
, Wang Yi:
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. 1625-1630 - Ludovic Apvrille, Letitia W. Li:
Harmonizing Safety, Security and Performance Requirements in Embedded Systems. 1631-1636 - Levent Aksoy
, Mustafa Altun
:
A Satisfiability-Based Approximate Algorithm for Logic Synthesis Using Switching Lattices. 1637-1642 - Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Scalable Boolean Methods in a Modern Synthesis Flow. 1643-1648 - Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken:
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. 1649-1654 - Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
Approximate Logic Synthesis by Symmetrization. 1655-1660 - Ting-You Lin
, Chauchin Su, Chung-Chih Hung, Karuna Nidhi
, Chily Tu, Shao-Chang Huang:
Package and Chip Accelerated Aging Methods for Power MOSFET Reliability Evaluation. 1661-1666 - Dennis D. Weller, Michael Hefenbrock, Mohammad Saber Golanbari, Michael Beigl, Mehdi Baradaran Tahoori:
Bayesian Optimized Importance Sampling for High Sigma Failure Rate Estimation. 1667-1672 - Constantinos Xanthopoulos, Deepika Neethirajan, Sirish Boddikurapati, Amit Nahar, Yiorgos Makris
:
Wafer-Level Adaptive Vmin Calibration Seed Forecasting. 1673-1678 - Aibin Yan, Yuanjie Hu, Jie Song, Xiaoqing Wen:
Single-Event Double-Upset Self-Recoverable and Single-Event Transient Pulse Filterable Latch Design for Low Power Applications. 1679-1684 - Ayobami S. Edun, Ruben Vazquez
, Ann Gordon-Ross, Greg Stitt:
Dynamic Scheduling on Heterogeneous Multicores. 1685-1690 - Sami Salamin, Hussam Amrouch
, Jörg Henkel:
Selecting the Optimal Energy Point in Near-Threshold Computing. 1691-1696 - Maxime Feyerick
, Jaro De Roose, Marian Verhelst
:
Exploration and Design of Low-Energy Logic Cells for 1 kHz Always-on Systems. 1697-1702 - Valentino Peluso
, Antonio Cipolletta, Andrea Calimera
, Matteo Poggi, Fabio Tosi, Stefano Mattoccia
:
Enabling Energy-Efficient Unsupervised Monocular Depth Estimation on ARMv7-Based Platforms. 1703-1708 - Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei:
RDF: Reconfigurable Dataflow. 1709-1714 - Ralf Stemmer, Henning Schlender
, Maher Fakih, Kim Grüttner, Wolfgang Nebel:
Probabilistic State-Based RT-Analysis of SDFGs on MPSoCs with Shared Memory Communication. 1715-1720 - Matthias Jung, Frank Schnicke, Markus Damm, Thomas Kuhn, Norbert Wehn
:
Speculative Temporal Decoupling Using fork(). 1721-1726 - Xiaolong Guo, Huifeng Zhu, Yier Jin
, Xuan Zhang
:
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans. 1727-1732 - Hiromitsu Awano
, Makoto Ikeda:
Fourℚ on ASIC: Breaking Speed Records for Elliptic Curve Scalar Multiplication. 1733-1738 - Song Bian, Masayuki Hiromoto, Takashi Sato
:
DArL: Dynamic Parameter Adjustment for LWE-based Secure Inference. 1739-1744 - Dina Mahmoud, Mirjana Stojilovic
:
Timing Violation Induced Faults in Multi-Tenant FPGAs. 1745-1750 - Shuhang Zhang, Grace Li Zhang
, Bing Li, Hai Helen Li, Ulf Schlichtmann
:
Aging-aware Lifetime Enhancement for Memristor-based Neuromorphic Computing. 1751-1756 - S. Rasoul Faraji, M. Hassan Najafi, Bingzhe Li
, David J. Lilja, Kia Bazargan:
Energy-Efficient Convolutional Neural Networks with Deterministic Bit-Stream Processing. 1757-1762 - Zichen Fan, Ziru Li, Bing Li, Yiran Chen, Hai Helen Li:
RED: A ReRAM-based Deconvolution Accelerator. 1763-1768 - Yun Long, Xueyuan She, Saibal Mukhopadhyay:
Design of Reliable DNN Accelerator with Un-reliable ReRAM. 1769-1774

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.