Logical relations for a logical framework
- 期刊名称ACM Transactions on Computational Logic
- 作者Rabe, Florian; Sojakova, Kristina
- 卷第14卷
- 期第4期
- 印刷ISSN1529-3785
- 文件大小1915.14KB
- 发表时间2013-11-01
- DOI10.1145/2536740.2536741
- 页码1-34
[ACM Press the 8th International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 8th International Workshop on Ultrascale Visualization - UltraVis '13 - GPU-accelerated molecular visualization on petascale supercomputing platformsStone, John E.; Vandivort, Kirby L.; Schulten, Klaus · 2013
[ACM Press the 8th International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 8th International Workshop on Ultrascale Visualization - UltraVis '13 - An analytical framework for particle and volume data of large-scale combustion simulationsSauer, Franz; Yu, Hongfeng; Ma, Kwan-Liu · 2013
[ACM Press the 8th International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 8th International Workshop on Ultrascale Visualization - UltraVis '13 - A model for optimizing file access patterns using spatio-temporal parallelismNouanesengsy, Boonthanome; Patchett, John; Ahrens, James; Bauer, Andrew; Chaudhary, Aashish; Miller, Ross; Geveci, Berk; Shipman, Galen M.; Williams, Dean N. · 2013
[ACM Press the 8th International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 8th International Workshop on Ultrascale Visualization - UltraVis '13 - On-demand unstructured mesh translation for reducing memory pressure during in situ analysisWoodring, Jonathan; Ahrens, James; Tautges, Timothy J.; Peterka, Tom; Vishwanath, Venkatram; Geveci, Berk · 2013
[ACM Press the 8th International Workshop - Denver, Colorado (2013.11.17-2013.11.21)] Proceedings of the 8th International Workshop on Ultrascale Visualization - UltraVis '13 - Ray tracing and volume rendering large molecular data on multi-core and many-core architecturesKnoll, Aaron; Wald, Ingo; Navrátil, Paul A.; Papka, Michael E.; Gaither, Kelly P. · 2013