The following pages link to Abhik Roychoudhury (Q842735):
Displaying 20 items.
- Cache-aware timing analysis of streaming applications (Q842736) (← links)
- Modeling out-of-order processors for WCET analysis (Q853636) (← links)
- Modeling control speculation for timing analysis (Q1780176) (← links)
- Timing analysis of concurrent programs running on shared cache multi-cores (Q2251349) (← links)
- Scalable and precise refinement of cache timing analysis via path-sensitive verification (Q2251379) (← links)
- Static analysis of multi-core TDMA resource arbitration delays (Q2251402) (← links)
- Memory model sensitive bytecode verification (Q2461564) (← links)
- Chronos: A timing analyzer for embedded software (Q2463546) (← links)
- (Q2754127) (← links)
- Efficient algorithms for vertex arboricity of planar graphs (Q2956672) (← links)
- BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS (Q3021960) (← links)
- (Q4412529) (← links)
- (Q4494372) (← links)
- (Q4501591) (← links)
- (Q4518894) (← links)
- (Q4551131) (← links)
- (Q5190779) (← links)
- Lectures on Concurrency and Petri Nets (Q5712292) (← links)
- Program Development in Computational Logic (Q5712550) (← links)
- Replication Package for "Trust Enhancement Issues in Program Repair" (Q6704734) (← links)
