|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Jaksic, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nickovic, Dejan | An algebraic framework for runtime verification | Artikel Article  | 2018 |
| 2 | | Wessner, Wilfried ; Cervenka, Johann ; Heitzinger, Clemens ; Hossinger, Andreas ; Selberherr, Siegfried | Anisotropic Mesh Refinement for the Simulation of Three-Dimensional Semiconductor Manufacturing Processes | Artikel Article | 2006 |
| 3 | | Marchisio, Alberto ; Mrazek, Vojtech ; Hanif, Muhammad Abdullah ; Shafique, Muhammad | DESCNet: Developing Efficient Scratchpad Memories for Capsule Network Hardware | Artikel Article | 2020 |
| 4 | | Spevak, Michael ; Grasser, Tibor | Discretization of Macroscopic Transport Equations on Non-Cartesian Coordinate Systems | Artikel Article | 2007 |
| 5 | | Függer, Matthias ; Najvirt, Robert ; Nowak, Thomas ; Schmid, Ulrich | A Faithful Binary Circuit Model | Artikel Article | 2020 |
| 6 | | Khalid, Faiq ; Abbassi, Imran Hafeez ; Rehman, Semeen ; Kamboh, Awais Mehmood ; Hasan, Osman ; Shafique, Muhammad | ForASec: Formal Analysis of Hardware Trojan-based Security Vulnerabilities in Sequential Circuits | Artikel Article | Apr-2022 |
| 7 | | Putra, Rachmad Vidya Wicaksana ; Shafique, Muhammad | FSpiNN: An Optimization Framework for Memory-Efficient and Energy-Efficient Spiking Neural Networks | Artikel Article | 2020 |
| 8 | | Cervenka, J. ; Wessner, W. ; Al-Ani, E. ; Grasser, T. ; Selberherr, S. | Generation of Unstructured Meshes for Process and Device Simulation by Means of Partial Differential Equations | Artikel Article | 2006 |
| 9 | | Ullah, Salim ; Rehman, Semeen ; Shafique, Muhammad ; Kumar, Akash | High-Performance Accurate and Approximate Multipliers for FPGA-based Hardware Accelerators | Artikel Article | Feb-2022 |
| 10 | | Pagani, Santiago ; Pudukotai Dinakarrao, Sai Manoj ; Jantsch, Axel ; Henkel, Jörg | Machine learning for power, energy, and thermal management on multi-core processors: A survey. | Artikel Article | 2018 |
| 11 | | Khalid, Faiq ; Hasan, Syed Rafay ; Zia, Sara ; Hasan, Osman ; Awwad, Falah ; Shafique, Muhammad | MacLeR: Machine Learning-Based Runtime Hardware Trojan Detection in Resource-Constrained IoT Edge Devices | Artikel Article | 2020 |
| 12 | | Heitzinger, Clemens ; Sheikholeslami, Alireza ; Park, Jong Mun ; Selberherr, Siegfried | A Method for Generating Structurally Aligned Grids for Semiconductor Device Simulation | Artikel Article | 2005 |
| 13 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin | Mining Shape Expressions from Positive Examples | Artikel Article | Nov-2020 |
| 14 | | Pathania, Anuj ; Venkataramani, Vanchinathan ; Shafique, Muhammad ; Mitra, Tulika ; Henkel, Jörg | Optimal Greedy Algorithm for Many-Core Scheduling | Artikel Article | Jun-2017 |
| 15 | | Pavlogiannis, Andreas ; Schaumberger, Nico ; Schmid, Ulrich ; Chatterjee, Krishnendu | Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling | Artikel Article | 2020 |
| 16 | | Ahmad, Hazoor ; Arif, Tabasher ; Hanif, Muhammad Abdullah ; Hafiz, Rehan ; Shafique, Muhammad | SuperSlash: A Unified Design Space Exploration and Model Compression Methodology for Design of Deep Learning Accelerators With Reduced Off-Chip Memory Access Volume | Artikel Article | 2020 |
| 17 | | Bukhari, Syed Ali Asadullah ; Khalid, Faiq ; Hasan, Osman ; Shafique, Muhammad ; Henkel, Jorg | Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads | Artikel Article | 2019 |
| 18 | | Wess, Matthias ; Dinakarrao, Sai Manoj Pudukotai ; Jantsch, Axel | Weighted Quantization-Regularization in DNNs for Weight Memory Minimization Toward HW Implementation | Article Artikel | Nov-2018 |
| 19 | | Wess, Matthias ; Dinakarrao, Sai Manoj Pudukotai ; Jantsch, Axel | Weighted Quantization-Regularization in DNNs for Weight Memory Minimization towards HW Implementation | Artikel Article | 2018 |
| 20 | | Akbari, Omid ; Kamal, Mehdi ; Afzali-Kusha, Ali ; Pedram, Massoud ; Shafique, Muhammad | X-CGRA: An Energy-Efficient Approximate Coarse-Grained Reconfigurable Architecture | Artikel Article | 2019 |
