Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joxan Jaffar
Symbolic Simulation on Complicated Loops for WCET Path Analysis
Two Processor Scheduling With Real Release Times and Deadlines
Related publications
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
