Inputs to many application and server programs contain rich and consistent structural information. The propagation of such input in program execution could serve as accurate and reliable signatures for detecting memory corruptions. In this paper, we propose a novel approach to detect memory corruptions at the binary level. The basic insight is that different parts of an input are usually proces...

In this paper, we employ a lifting method introduced by the authors in order to study the structured singular value applied to input/output operators of control systems. We moreover give a new criterion which guarantees that the structured singular value equals its upper bound de ned by D-scalings.

Different tools and methods have been proposed to enhance teaching computer programming (CP). One of them is the traditional teacher-directed instruction, which may be preferred by the majority of CP teachers or learners. However, learning CP remains difficult, especially for beginners. While Problem-Based Learning aims the self-direction and collaboration in learning, it is also believed to ha...

This paper represents a self‐structured organizing single‐input control system based on differentiable cerebellar model articulation controller (CMAC) for an n‐ link robot manipulator to achieve the high‐precision position tracking. In the proposed scheme, the single‐input CMAC controller is solely used to control the plant, so the input space dimension of CMAC can be simplified a...

Recently, a successful extension of Principal Component Analysis for structured input, such as sequences, trees, and graphs, has been proposed. This allows the embedding of discrete structures into vectorial spaces, where all the classical pattern recognition and machine learning methods can be applied. The proposed approach is based on eigenanalysis of extended vectorial representations of the...

This paper presents the formal foundations and architectural design of a credible compiler, or a compiler that, in addition to a transformed program, produces a proof that the transformed program correctly implements the original input program. In our design, programs are represented using a standard low-level intermediate form based on controlow graphs. The compiler is structured as a set of c...