Search
Search Results
-
Software system comparison with semantic source code embeddings
This paper presents a novel approach for comparing software systems by calculating the robust Hausdorff distance between semantic source code...
-
Hyperparameter autotuning of programs with HybridTuner
Algorithms must often be tailored to a specific architecture and application in order to fully harness the capabilities of sophisticated computer...
-
From P systems to morphogenetic systems: an overview and open problems
Morphogenetic (M) systems are an abstract model of computation inspired by morphogenetic processes in living cells and organisms. They were created...
-
A GPU optimization workflow for real-time execution of ultra-high frame rate computer vision applications
This work proposes a GPU optimization methodology for real-time execution of ultra high frame rate applications with small frame sizes. While the use...
-
Design possibilities and challenges of DNN models: a review on the perspective of end devices
Deep Neural Network (DNN) models for both resource-rich environments and resource-constrained devices have become abundant in recent years. As of...
-
Rec2Poly: Converting Recursions to Polyhedral Optimized Loops Using an Inspector-Executor Strategy
In this paper, we propose Rec2Poly, a framework which detects automatically if recursive programs may be transformed into affine loops that are... -
Schematic Program Proofs with Abstract Execution
We propose Abstract Execution , a static verification framework based on symbolic execution and dynamic frames for proving properties of schematic ...
-
Genetic Algorithm Augmented Inception-Net based Image Classifier Accelerated on FPGA
Deep learning models for computer vision applications specifically and for machine learning generally are now the state of the art. The growth of...
-
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties
Functional languages allow rewrite-rule systems that aggressively generate a multitude of semantically-equivalent but differently-optimized code... -
Learning from similarity and information extraction from structured documents
The automation of document processing has recently gained attention owing to its great potential to reduce manual work. Any improvement in...
-
Confluence of the Chinese Monoid
The Chinese monoid, related to Knuth’s Plactic monoid, is of great interest in algebraic combinatorics. Both are ternary monoids, generated by... -
Virtual Worlds
Virtual worlds, the contents of VR environments, consist of 3D objects with dynamic behavior that react in real time to user input. After a brief... -
Parallel Optimization of Stencil Computation Base on Sunway TaihuLight
Stencil computation is a kind of memory intensive computing core widely used in image and video processing, large-scale science and engineering... -
The minimum description length principle for pattern mining: a survey
Mining patterns is a core task in data analysis and, beyond issues of efficient enumeration, the selection of patterns constitutes a major challenge....
-
GVLE: a highly optimized GPU-based implementation of variable-length encoding
Nowadays, the massive use of multimedia data gives to data compression a fundamental role in reducing the storage requirements and communication...
-
Graph-Grammars to Specify Dynamic Changes in Topology for Spatial-Temporal Processes
The present paper first offers an overview of the basic approaches available for the dynamic specification of spatio-temporal geo-objects from the... -
Higher Education Teaching Material on Machine Learning in the Domain of Digital Pathology
Machine learning (ML) and especially deep learning (DL) are doubtless one of the key technologies of the last couple of years and future decades.... -
Implementing a Theoretician’s Toolkit for Self-Assembly with DNA Components
A diverse array of theoretical models of DNA-based self-assembling systems have been proposed and studied. Beyond providing simplified abstractions... -
Compute Accelerators and Other GPUs
As GPUs got more powerful and took on more tasks, they transcended the roles they were originally designed to do and were sometimes called... -
Performance of the RI-MP2 Fortran Kernel of GAMESS on GPUs via Directive-Based Offloading with Math Libraries
The US Department of Energy (DOE) started operating two GPU-based pre-exascale supercomputers in 2018 and plans to deploy another pre-exascale in...