Creating Human Readable Path Constraints from Symbolic Execution
Abstract not provided.
Publications
Search results
Jump to search filtersPowerpoint Presentation for NDSS BAR 2020 Workshop
Abstract not provided.
Creating Human Readable Path Constraints from Symbolic Execution
Abstract not provided.
Creating Human Readable Path Constraints from Symbolic Execution
Abstract not provided.
SV3D: From 3D Interrogation to 3D Collaboration
Abstract not provided.
BlueNile Georgia Tech Project Planning
Abstract not provided.
3D IMMERSIVE VISUALIZATION OF MICRO-COMPUTED TOMOGRAPHY AND XRD TEXTURE DATASETS
Abstract not provided.
VISUALIZATION OF MICRO-COMPUTED TOMOGRAPHY AND XRD TEXTURE DATASETS USING VIRTUAL REALITY TOOLS
Abstract not provided.
VISUALIZATION OF MICRO-COMPUTED TOMOGRAPHY AND XRD TEXTURE DATASETS USING VIRTUAL REALITY TOOLS
Abstract not provided.
DEMONSTRATION OF MICRO-COMPUTED TOMOGRAPHY AND XRD TEXTURE DATASETS USING VIRTUAL REALITY TOOLS
Abstract not provided.
3D IMMERSIVE VISUALIZATION OF MICRO-COMPUTED TOMOGRAPHY
Abstract not provided.
A 3D view of a part created using additive manufacturing and imaged using Computer Tomography
Abstract not provided.
A 3D view of a bridge wire with defect
Abstract not provided.
A 3D view of glass polymer beads via Computed Tomography (CT)
Abstract not provided.
Posters for 9500 "Oculus Tour 2016" presentation at Take Your Daughter or Son to Work Day
Abstract not provided.
ASNT 2016 Research Symposium PowerPoint Presentation
Abstract not provided.
Game Development Engines as an Ideal Platform for Exploring 3D Virtual Reality Based Visualizations Constructed from Computed Tomography Data
Abstract not provided.
Championing Measurement of Software Quality and Technical Debt - CrossTalk Submission Revision
CrossTalk: The Journal of Defense Software Engineering
Abstract not provided.
STC 2013 Presentation by Tod Amon
Abstract not provided.
Championing Measurement of Software Quality and Technical Debt
Abstract not provided.
20 Results