Skip to main content
FM01.1 Session 1
Presentations
FM01.1.1 Networks-on-Chip for Heterogeneous 3D Systems-on-Chip
FM01.1.2 Intelligent Scheduling Algorithms for Energy Optimization in Smart Grid
FM01.1.3 Enhanced Detection and Prevention Techniques to Ensure a Secured Hardware with Improved Performance Metrics
FM01.1.4 QoS-aware Cross-layer Reliability-integrated Design of Heterogeneous Embedded Systems
FM01.1.5 Design and implementation aspects of post-quantum cryptography
FM01.1.6 Security implications of power management systems in multicore devices
FM01.1.7 Towards Sustainable Logic Encryption in an Age of Mistrust
FM01.1.8 Architectures And Automation For Beyond-CMOS Technologies
FM01.1.9 On-chip Thermal Monitoring and Optimization for New-generation Manycore Systems
FM01.1.10 Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification
FM01.1.11 A Formal Approach towards Pattern Guided Scheduling in Embedded Control Systems
FM01.1.12 Design and Evaluation of Ethernet-based E/E-Architectures for Latency- and Safety-critical Applications
FM01.1.13 System-Level Mapping, Analysis, and Management of Real-Time Applications in Many-Core Systems
FM01.1.14 Self Aware Nature Inspired Approaches Ensuring Embedded Security
FM01.1.15 CAD Frameworks for Advancing Design IP Protection
FM01.1.16 Design Automation for Error-Tolerant Sample Preparation with Digital Microfluidic Biochips
FM01.1.17 Automated Test Generation with SystemC Designs for Pre-Silicon Validation
FM01.1.18 Dynamic Energy Management of Mixed-Criticality Real-Time Networks-on-Chip
FM01.1.19 Proving Correctness of Industrial Multipliers using Symbolic Computer Algebra
FM01.1.20 A Holistic Approach to Functional Safety for Networked Cyber-Physical Systems
FM01.1.21 Automated Analysis of Virtual Prototypes at the Electronic System Level–Design Understanding and Applications–
FM01.1.22 A Novel Test Flow for Approximate Digital Circuits
FM01.1.23 Heterogeneous HW/SW Techniques for Reliable Systems
FM01.1.24 Efficient Scale-Up and Scale-Out of Beam Longitudinal Dynamics Simulations
FM01.1.25 On Improving Statistical Model Checking by Qualitative Verification
FM01.1.26 Verifying Multipliers using Computer Algebra
FM01.1.27 Energy-efficient Photonic Architectures for Large-scale Computing
FM01.1.28 Energy Efficient and Reliable Deep Learning Accelerator Design
FM01.1.29 Connecting the Dots: From Theory to Application of IP Protection
FM01.1.30 Realistic Scheduling Models and Analyses for Advanced Real-Time Embedded Systems
FM01.1.31 Energy-efficient and Performance-driven Implementation of Computational Pipelines of Whole Genome Sequencing on Embedded Platforms
FM01.1.32 Complexity Reduction for Embedded System-Level Design
