Performance analysis of embedded software using implicit path enumeration

No abstract is available for this paper.

• Publication year

  1995

• Venue

  Design Automation Conference

• Publication date

  1995-11-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/217474.217570
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Performance estimation of embedded software with instruction cache modeling

  1995cited by this paper
• Performing estimation of embed-ded software within instruction cache modeling

  1995cited by this paper
• Issues of advanced architectural features in the design of a timing tool

  1994cited by this paper
• Bounding worst-case instruction cache performance

  1994cited by this paper
• Computation of floating mode delay in combinational circuits: theory and algorithms

  1993cited by this paper
• Linear Programming: An Introduction with Applications

  1993cited by this paper
• Predicting deterministic execution times of real-time programs

  1992influential reference
• Foundations of Real-Time Computing: Scheduling and Resource Management

  1991cited by this paper
• Reasoning About Time in Higher-Level Language Software

  1989cited by this paper
• Evaluating tight execution time bounds of programs by annotations

  1989cited by this paper
• Real-Time Euclid: A language for reliable real-time systems

  1989cited by this paper
• Timing Verification and the Timing Analysis Program

  1982cited by this paper

• Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation

  2025cites this paper
• Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers

  2025cites this paper
• Watwaos: A Framework for Worst-Case-Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time Systems

  2025cites this paper
• Pfip: A Udp/ip Transactional Network Stack for Power-Failure Resilience in Embedded Systems

  2025cites this paper
• PrETi: Predicting Execution Time in Early Stage with LLVM and Machine Learning

  2025cites this paper
• Hardware/Software Co-Analysis for Worst Case Execution Time Bounds

  2025cites this paper
• Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

  2025cites this paper
• WORTEX: Worst-Case Execution Time and Energy Estimation in Low-Power Microprocessors Using Explainable ML

  2024influential citation
• EarlyBird: Energy belongs to those who wake up early

  2024cites this paper
• ESOMICS: ML-Based Timing Behavior Analysis for Efficient Mixed-Criticality System Design

  2024cites this paper
• Timing-aware analysis of shared cache interference for non-preemptive scheduling

  2024cites this paper
• Parametric WCET as a function of procedure arguments: Analysis and applications

  2024cites this paper
• Towards Analysing Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies

  2024cites this paper
• Research on WCET assessment method of airborne display software

  2024cites this paper
• On Hybrid Nanogrids Energy Management Systems—An Insight into Embedded Systems

  2024influential citation
• WCET Analysis Based on Micro-Architecture Modeling for Embedded System Security

  2024cites this paper
• Precise Scheduling of DAG Tasks with Dynamic Power Management

  2023cites this paper
• Predictable GPU Wavefront Splitting for Safety-Critical Systems

  2023influential citation
• Timing Analysis of Embedded Software Updates

  2023influential citation
• Analysis of Shared Cache Interference in Multi-Core Systems using Event-Arrival Curves

  2023cites this paper
• Software Fault Tolerance in Real-Time Systems: Identifying the Future Research Questions

  2023cites this paper
• Constraint-Aware Multi-Technique Approximate High-Level Synthesis for FPGAs

  2023cites this paper
• System Auditing for Real-Time Systems

  2023cites this paper
• Abstract Interpretation in Industry - Experience and Lessons Learned

  2023cites this paper
• Sotware Fault Tolerance in Real-Time Systems: Identifying the Future Researchuestions

  2023cites this paper
• CUDAsap: Statically-Determined Execution Statistics as Alternative to Execution-Based Profiling

  2023cites this paper
• Checkpoint Placement for Systematic Fault-Injection Campaigns

  2023cites this paper
• PEPA: Performance Enhancement of Embedded Processors through HW Accelerator Resource Sharing

  2023cites this paper
• Toward Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms

  2022cites this paper
• Research on Real-time Analysis Method for Real-time Operating System

  2022cites this paper
• Ellipsis: Towards Efficient System Auditing for Real-Time Systems

  2022cites this paper
• A Framework for Calculating WCET Based on Execution Decision Diagrams

  2022cites this paper
• 20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, Modena, Italy, July 5, 2022

  2022cites this paper
• Static prediction of parallel computation graphs

  2022cites this paper
• StAMP: Static Analysis of Memory Access Profiles for Real-Time Tasks

  2022cites this paper
• LLVMTA: An LLVM-Based WCET Analysis Tool

  2022cites this paper
• Computing Execution Times With Execution Decision Diagrams in the Presence of Out-of-Order Resources

  2022cites this paper
• Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures

  2022cites this paper
• Feasibility Analysis of Conditional DAG Tasks

  2021cites this paper
• Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation

  2021influential citation
• Precise, efficient, and context-sensitive cache analysis

  2021cites this paper
• A Processor Extension for Time-Predictable Code Execution

  2021cites this paper
• Statically Analyzing the Energy Efficiency of Software Product Lines

  2021cites this paper
• Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions

  2021influential citation
• WE-HML: hybrid WCET estimation using machine learning for architectures with caches

  2021cites this paper
• Improving the Performance of WCET Analysis in the Presence of Variable Latencies

  2020cites this paper
• High-level synthesis of throughput-optimized and energy-efficient approximate designs

  2020cites this paper
• Determining Reliable and Precise Execution Time Bounds of Real-Time Software

  2020cites this paper
• Worst-Case Energy Consumption Aware Compile-Time Checkpoint Placement for Energy Harvesting Systems

  2020cites this paper
• Probabilistic Models for the Execution Time in Stochastic Scheduling

  2020cites this paper
• En-Route: on enabling resource usage testing for autonomous driving frameworks

  2020cites this paper
• Real Time Spent on Real Time

  2020cites this paper
• Complexity vulnerability analysis using symbolic execution

  2020cites this paper
• Compiler Optimizations for Safe Insertion of Checkpoints in Intermittently Powered Systems

  2020cites this paper
• Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets

  2020cites this paper
• A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

  2020cites this paper
• Optimizing Energy in Non-Preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information

  2020cites this paper
• Compilation for Real-Time Systems a Decade After Predator

  2020cites this paper
• Throughput-Oriented Spatio-Temporal Optimization in Approximate High-Level Synthesis

  2020cites this paper
• COBRA-HPA: a block generating tool to perform hybrid program analysis

  2019cites this paper
• Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources. (High-level programming models for microcontrollers with scarce resources)

  2019cites this paper
• Improving WCET Evaluation using Linear Relation Analysis

  2019cites this paper
• Code-Inherent Traffic Shaping for Hard Real-Time Systems

  2019cites this paper
• Reconciling Compiler Optimizations and WCET Estimation Using Iterative Compilation

  2019cites this paper
• Cache Persistence Analysis: Finally Exact

  2019cites this paper
• i-Core: A Runtime-Reconfigurable Processor Platform for Cyber-Physical Systems

  2019cites this paper
• Number : WUCSE-2008-4 2008-0101 Partial Program Admission by Path Enumeration

  2019cites this paper
• Cache-conscious off-line real-time scheduling for multi-core platforms: algorithms and implementation

  2019cites this paper
• Type-Driven Verification of Non-functional Properties

  2019cites this paper
• High-Level Synthesis of Approximate Designs under Real-Time Constraints

  2019influential citation
• INVITED Time-Predictable Computing by Design: Looking Back, Looking Forward

  2019cites this paper
• Impact of DM-LRU on WCET: A Static Analysis Approach

  2019cites this paper
• Towards WCET Estimation of Graph Queries@Run.time

  2019influential citation
• Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis

  2019influential citation
• A time-predictable branch predictor

  2019cites this paper
• Number : WUCSE-2009-1 2009 Partial Program Admission

  2019cites this paper
• Symbolic path cost analysis for side-channel detection

  2018cites this paper
• Using execution graphs to model a prefetch and write buffers and its application to the Bostan MPPA

  2018cites this paper
• An extensible framework for multicore response time analysis

  2018influential citation
• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs

  2018cites this paper
• 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, Barcelona, Spain, July 3-6, 2018

  2018cites this paper
• Design and analysis of SIC: a provably timing-predictable pipelined processor core

  2018cites this paper
• Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads

  2018cites this paper
• Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction

  2018cites this paper
• High-Performance Predictable NVM-Based Instruction Memory for Real-Time Embedded Systems

  2018cites this paper
• Time-Critical Systems Design: A Survey

  2018influential citation
• Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking

  2018cites this paper
• Estimating the Volume of the Solution Space of SMT(LIA) Constraints by a Flat Histogram Method

  2018cites this paper
• Static Flow Analysis of the Action Language for Foundational UML

  2018cites this paper
• PSO based optimization of worst-case execution time for ASIP application

  2018cites this paper
• Reducing Timing Interferences in Real-Time Applications Running on Multicore Architectures

  2018cites this paper
• Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)

  2018cites this paper
• Analysis of preemption costs for the stack cache

  2018cites this paper
• Timing Analysis of Parallel Software Applications for Multi-core Embedded Systems

  2018cites this paper
• Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

  2018cites this paper
• Assessing Software Abstractions in WCET Analysis of Reactive Programs

  2018cites this paper
• Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

  2017cites this paper
• EMSBench: Benchmark and Testbed for Reactive Real-Time Systems

  2017cites this paper
• Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas. (Lookup of data flow properties to improve worst-case execution time estimations)

  2017cites this paper
• Translation validation for verified, efficient and timely operating systems

  2017cites this paper