Search
Search Results
-
Parallel programming models for heterogeneous many-cores: a comprehensive survey
Heterogeneous many-cores are now an integral part of modern computing systems ranging from embedding systems to supercomputers. While heterogeneous...
-
On the Complexity of Graded Modal Logics with Converse
A complete classification of the complexity of the local and global satisfiability problems for graded modal language over traditional classes of... -
A review of computer graphics approaches to urban modeling from a machine learning perspective
Urban modeling facilitates the generation of virtual environments for various scenarios about cities. It requires expertise and consideration, and...
-
A Survey of Algorithmic and Hardware Optimization Techniques for Vision Convolutional Neural Networks on FPGAs
In today’s world, the applications of convolutional neural networks (CNN) are limitless and are employed in numerous fields. The CNNs get wider and...
-
Role-Value Maps and General Concept Inclusions in the Minimal Description Logic with Value Restrictions or Revisiting Old Skeletons in the DL Cupboard
We investigate the impact that general concept inclusions and role-value maps have on the complexity and decidability of reasoning in the description...
-
A Self-certifying Compilation Framework for WebAssembly
A self-certifying compiler is designed to generate a correctness proof for each optimization performed during compilation. The generated proofs are... -
Building High-Performance, Easy-to-Use Polymorphic Parallel Memories with HLS
With the increased interest in energy efficiency, a lot of application domains experiment with Field Programmable Gate Arrays (FPGAs), which promise... -
Standardization
This chapter contains a detailed presentation of the geomatics standards of the ISO/TC 211 Geographic information/Geomatics and the Open Geospatial... -
Survey of Methods for Automated Code-Reuse Exploit Generation
AbstractThis paper provides a survey of methods and tools for automated code-reuse exploit generation. Such exploits use code that is already...
-
Meta-heuristics and Artificial Intelligence
Meta-heuristics are generic search methods that are used to solve challenging combinatorial problems. We describe theseHao, **-Kao methods and... -
Types of Questions in Computer Science Education
As presented in the previous chapters of this Guide, teachers are expected to vary their teaching methods. This chapter focuses on how to achieve... -
Building User Interfaces with Piu
This chapter elaborates on Piu, the object-oriented user interface framework that uses the Poco renderer to draw and simplifies the process of... -
Combinatorial Properties of Fibonacci Arrays
The non-trivial extension of Fibonacci words to Fibonacci arrays was proposed by Apostolico and Brimkov in order to study repetitions in arrays. In... -
Rewrites and Optimization
Similar to optimizing compilers for programming languages and high-performance computing (HPC), or query optimization in database systems, many ML... -
Crowd analytics: literature and technological assessment
In previous years, the world has gone through several natural disasters like Tsunami, earthquakes, floods, tornadoes, hurricanes, cyclones, etc., and...
-
Reasoning About XML Constraints Based on XML-to-Relational Map**s
The article introduces a simple framework for the specification of constraints for XML documents in which constraints are specified by (1) a map**...
-
A Survey on Performance Optimization of High-Level Synthesis Tools
Field-programmable gate arrays (FPGAs) have recently evolved as a valuable component of the heterogeneous computing. The register transfer level...
-
Deep Learning Approaches in Food Recognition
Automatic image-based food recognition is a particularly challenging task. Traditional image analysis approaches have achieved low classification... -
On the relationship between similar requirements and similar software
Recommender systems for requirements are typically built on the assumption that similar requirements can be used as proxies to retrieve similar...
-
\(+\omega \) -Picture Languages Recognizable by Büchi-Tiling Systems
We consider \(+\omega \)...