Keyword:acceleration

Publications
Comparative Analysis of Length Deformation in Classical and Relativistic Mechanics Soumendra Nath Thakur EasyChair Preprint 13359
GPU Acceleration in Scientific Computing: Challenges and Opportunities Laib Ghafoor and Fatima Tahir EasyChair Preprint 10989
An Analysis on Scalable GPU Implementation of Minimap2 for Long Read Alignment Smith Milson and Kurez Oroy EasyChair Preprint 10933
Accelerating Minimap2 for Accurate Long Read Mapping on Graphics Cards Robert Thomson, Julia Anderson and Kurez Oroy EasyChair Preprint 10932
Developing Speed-Based Emission Models for Passenger Cars in India Using a Portable Emission Measurement System C Chandrashekar, Pritha Chatterjee and Digvijay S. Pawar EasyChair Preprint 10045
Introducing a New Activity-Based Balance Index Using Accelerometer Data and Evaluate It as a Predictor of Skill Level Among Elite Junior Soccer Players Shahram Lenjannejadian, Jalil Reisi and Mehdi Salimi EasyChair Preprint 3329
Acceleration-based safety decision procedure for programs with arrays Francesco Alberti, Silvio Ghilardi and Natasha Sharygina In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Acceleration For Presburger Petri Nets Jerome Leroux In:VPT 2013. First International Workshop on Verification and Program Transformation
Tool Demonstration of the FLATA Counter Automata Toolset Marius Bozga, Radu Iosif, Filip Konecny and Tomas Vojnar In:WING 2010. Workshop on Invariant Generation 2010