Amanote Research
Register
Sign In
Symbolic Simulation on Complicated Loops for WCET Path Analysis
doi 10.1145/2038642.2038692
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2011
Authors
Duc-Hiep Chu
Joxan Jaffar
Publisher
ACM Press
Related search
Path Exploration Based on Symbolic Output
ACM Transactions on Software Engineering and Methodology
Software
Measurement Based WCET Analysis for Multi-Core Architectures
A XML-Based Representation of Timing Information for Wcet Analysis
Journal of Mathematics and Computer Science
Computational Mechanics
Computational Mathematics
Computer Science Applications
Mathematics
A Contribution to Branch Prediction Modeling in WCET Analysis
Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding
A Generic Graph Model for WCET Analysis of Multi-Core Concurrent Applications
Journal of Software Engineering and Applications
SOLߞA Symbolic Language for General-Purpose Systems Simulation
IEEE Transactions on Electronic Computers
Survival Analysis for Complicated Colorectal Cancer
Colorectal Oncology
Branch Target Buffers: WCET Analysis Framework and Timing Predictability
Journal of Systems Architecture
Hardware
Architecture
Software
