Space and Time Hierarchies for Classes of Control Structures and Data Structures
Journal of the ACM (JACM)
Preserving average proximity in arrays
Communications of the ACM
Interleaving and lock-step semantics for analysis and verification of GPU kernels
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Hi-index | 0.00 |