Code-reuse attack is a growing threat to computing systems as it can circumvent existing security defenses. Fortunately, control flow integrity (CFI) is promising in defending such attack. However, former implementati...
详细信息
ISBN:
(纸本)9781450349277
Code-reuse attack is a growing threat to computing systems as it can circumvent existing security defenses. Fortunately, control flow integrity (CFI) is promising in defending such attack. However, former implementations generally suffer from two major drawbacks: 1) complex pre-processing to obtain control flow graph;2) high overhead. In this paper, we propose a cross-layer approach that employs basic block information inside the binary code and read-only data to enforce fine-grained control-flow integrity. Our approach demonstrates high applicability and thorough attack detection coverage without static analysis or recompilation. Meanwhile, it can effectively protect even striped programs, while incurring negligible 0.13% performance overhead.
A high precision and novel modeling method, to identify the aerodynamic parameters of the parafoil based on CFD(Computational Fluid Dynamics) is proposed. By solving the governing equations and the k-ε equations, the...
详细信息
ISBN:
(纸本)9781538629185
A high precision and novel modeling method, to identify the aerodynamic parameters of the parafoil based on CFD(Computational Fluid Dynamics) is proposed. By solving the governing equations and the k-ε equations, the effects of leading edge incision of the parafoil on aerodynamic performance and stability are investigated. It is concluded that increasing the length and slope of the leading edge incision can decrease the lift coefficient and increase the drag coefficient, the stall angle of attack and lift to drag ratio are also decreased. The slope angle and the length have different effects on aerodynamic performance of the parafoil. Increasing the length affects the pressure distribution of the upper and lower wing surface. Increasing the slope leads to airflow separation at the trailing edge of the parafoil. Then, the variation of lift coefficients with time is obtained by adding different types of wind into the flow field on the basis of field velocity approach. By comparing the flow field of different models, it can be found that reducing the incision length and the slope are beneficial to enhance the stability of the parafoil.
Pure machine-based solutions usually struggle in the challenging classification tasks such as entity resolution (ER). To alleviate this problem, a recent trend is to involve the human in the resolution process, most n...
详细信息
We propose a variety of batched routines for concurrently processing a large collection of small-size, independent sparse matrixvector products (SpMV) on graphics processing units (GPUs). These batched SpMV kernels ar...
详细信息
The problem of the discovery and marketing of new drugs can be vastly accelerated through highperformance Computing (HPC), molecular modeling techniques, and more specifically by means of the techniques commonly name...
详细信息
ISBN:
(纸本)9781538610442
The problem of the discovery and marketing of new drugs can be vastly accelerated through highperformance Computing (HPC), molecular modeling techniques, and more specifically by means of the techniques commonly named as computational drug discovery (CDD) and in silico high throughput screening. These techniques usually assume a unique interaction site (active site) between potential drugs and a chosen protein target. This can lead to drastic limitations regarding the number and types of novel drugs that can be discovered since allosteric sites and other interaction spots different from active site are not explored. In order to solve this problem in this paper we introduce a technique based on advanced CDD technologies that exploit HPC architectures and called Blind Docking (BD). We also report our business prototyping efforts following Lean Startup principles in order to bring BD technology into the market.
This paper presents an application of a discrete derivative method with a new frequency mapping technique for adaptive-notch-filter (ANF) based resonance suppression in an actual industrial servo system. An ANF includ...
详细信息
performance and consistency play a large role in learning. Decreasing the effort that one invests into course work may have short-term benefits such as reduced stress. However, as courses progress, neglected work accu...
详细信息
The present study examines the differential impact of studying in an innovative learning approach, flipped inquiry-based learning with mobility (FILM) setting, as compared to a hands-on inquiry-based learning (HIL), a...
详细信息
A series of experiments was conducted to investigate the performance characteristics of a heat pipe with a hybrid wick that combined grooves and a wire screen. The heat pipe in this study was designed primarily for th...
详细信息
ISBN:
(纸本)9780791858097
A series of experiments was conducted to investigate the performance characteristics of a heat pipe with a hybrid wick that combined grooves and a wire screen. The heat pipe in this study was designed primarily for the cooling of high-density power electronic elements such as IGBTs, and it had tiny triangular grooves along its entire length. The container was a copper tube which had an outer diameter of 19 mm and length of 0.8 m, and the working fluid was water. To lower the thermal resistance against increased thermal loads, a higher performance was desired for the heat pipe, without changing the external dimensions. A fine mesh wire screen was partially applied to the evaporator to enhance the heat transfer performance. The hybrid wick heat pipe was tested and analyzed from the viewpoints of thermal resistance, effective thermal conductance, and operating temperature. For a 1.6 kW effective thermal load, as a typical result, the heat pipe with the hybrid wick exhibited a 70 % decrease in thermal resistance compared to that with a groove wick only. The paper includes results for various thermal loads and fluid charges. The results herein can be utilized in applications that require an intensive enhancement in heat pipe performance.
To overcome scalability and performance issues for process queries over a web-scale RDF data, various studies have proposed RDF SPARQL query processing algorithm using parallel processing manners. However, it is hard ...
详细信息
暂无评论