Compactly representing parallel program executions
ACM SIGPLAN Notices
Saved in:
Main Authors: | Goel, A., Roychoudhury, A., Mitra, T. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39545 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
Compactly representing parallel program executions
by: Goel, A., et al.
Published: (2013) -
Interpolation Methods for Symbolic Execution
by: CHU DUC HIEP
Published: (2013) -
Efficient detection and exploitation of infeasible paths for software timing analysis
by: Suhendra, V., et al.
Published: (2013) -
On the relationship between the curvature integral and the complexity of path-following methods in linear programming
by: Zhao, G.
Published: (2014) -
Approximating Cartesian free-form curve path in SCARA robot joint space using clothoid curves
by: Moreno, Mary Anne E.
Published: (2003)