The article discusses the security in cprogramminglanguage. critics claim that the decades-old cprogramminglanguage is inherently insecure. The author disagrees. Programmers just have to use security tools to fix ...
详细信息
The article discusses the security in cprogramminglanguage. critics claim that the decades-old cprogramminglanguage is inherently insecure. The author disagrees. Programmers just have to use security tools to fix software *** in recent years has identified the root cause of many of the vulnerabilities typically found in c/c++ code. coding standards such as the cERT c Secure coding Standard help programmers avoid the associated pitfalls. However, without automated tools to check for non-compliance, it is, arguably, more or less impossible for a programmer to deliver fault-free code. Software analysis tools for staticcode analysis are available to enforce compliance with the guidelines recommended by these established coding standards. They can perform in-depth, systemwide analysis of the code, and can utilise formal methods to ensure that system security is not compromised. Software tools enforce compliance with the guidelines recommended by established coding standards.
It is important for personalised e-learning environment to have computational learning status information of individual learners. This article proposes a method to describe syntax-knowledge-point (SKP for short)-based...
详细信息
It is important for personalised e-learning environment to have computational learning status information of individual learners. This article proposes a method to describe syntax-knowledge-point (SKP for short)-based learning status of individual learners for personalised cprogramming e-learning environment. This method utilises syntactic knowledge information extracted from c program source code. Firstly, it gathers all offered SKP from example source codes and exercises' model answers in teaching materials;Then, for each learner, it collects his SKP-based learning activities by extracting SKP information from the source code the learner has read or been taught or submitted;Finally, for each learner, his understanding of every SKP can be estimated from the collected data. And individual learners learning status is described by the set of his understanding of each SKP. Experiments show that the proposed method is effective and feasible to get individual learners learning status in detail level by the computer system.
The paper presents the use of the Red Pitaya development system in a secondary vocational education programme for electrical engineering. In the introduction, the Red Pitaya hardware and software are shortly described...
详细信息
The paper presents the use of the Red Pitaya development system in a secondary vocational education programme for electrical engineering. In the introduction, the Red Pitaya hardware and software are shortly described. In part one, integration of Red Pitaya into a school computer network and ways of accessing the command on Red Pitaya using SSH are shown. Red Pitaya can be used as a measuring system and can replace certain measuring instruments, such as oscilloscope, spectrum analyser, LcR metre and signal generator. The focus of the paper is on operation of a free-access web app of a signal generator and oscilloscope as well as development of own apps in the cprogramminglanguage for Red Pitaya, such as LED-diode pulsation in the Red Pitaya development system, activation of a LED diode in Red Pitaya using an external button, measuring of an analogue voltage at slow analogue outputs and setting of an analogue voltage at slow analogue outputs. An insight is given in the development of own app for measuring the characteristics of the semiconductor elements like a diode, bipolar transistor and MOS FET transistor. The characteristics are measured at several phases, such as conception and setting-up a measuring system, development of the programme code in the cprogramminglanguage, transfer of the programme to Red Pitaya, execution of the programme and processing of the measurement results in the diagram drawing-software gnuplot.
In modern industrial applications there is a great need for reliable regulators that satisfy many different system requirements. This paper addresses the problem of using Dc electrical motors to drive both linear and ...
详细信息
In modern industrial applications there is a great need for reliable regulators that satisfy many different system requirements. This paper addresses the problem of using Dc electrical motors to drive both linear and non-linear mechanical loads using a PID regulator. A graphical interface has also been developed, to present the results and confirm the system's reliability.
ISAAcS (interactive structure analysis of amorphous and crystalline systems) is a cross-platform program developed to analyze the structural characteristics of three-dimensional structure models built by computer simu...
详细信息
ISAAcS (interactive structure analysis of amorphous and crystalline systems) is a cross-platform program developed to analyze the structural characteristics of three-dimensional structure models built by computer simulations. The models may have any degree of periodicity (i.e. crystallinity) and local symmetry. The following structural information is computed from the models: total and partial radial distribution functions and structure factors for X-ray or neutron scattering, coordination numbers, bond-angle and near atomic neighbor distributions, bond-valence sums, ring statistics, and spherical harmonics invariants. The information may be visualized conveniently and stored for further use.
contents include Graphs and Linear Algebra The GraphBLAS API and Adjacency Matrices GraphBLAS Operations Pygraphblas and modifying the behavior of operations Graph Algorithms expressed with GraphBLAS, Breadth-First Tr...
详细信息
contents include Graphs and Linear Algebra The GraphBLAS API and Adjacency Matrices GraphBLAS Operations Pygraphblas and modifying the behavior of operations Graph Algorithms expressed with GraphBLAS, Breadth-First Traversal, connected components.
Rust is a programminglanguage that simultaneously offers high performance and strong security guarantees. However, these guarantees come at the cost of strict compiler checks that sometimes prevent necessary code pat...
详细信息
Rust is a programminglanguage that simultaneously offers high performance and strong security guarantees. However, these guarantees come at the cost of strict compiler checks that sometimes prevent necessary code patterns. The unsafe keyword allows developers to bypass these compiler checks, and is used in both pure Rust and mixed-language applications. But the use of unsafe undermines the security guarantees of Rust that make it an attractive option in the first *** first demonstrate that within a real-world pure Rust application, many uses of unsafe can be eliminated,or reduced to formally verifiable standard libraries. We then present Galeed, a system for isolating and protecting the Rust heap from access by other programminglanguages using Intels Memory Protection Key (MPK) technology. We demonstrate both the effectiveness and efficiency of Galeed on Firefox, a web browser written in Rust and c .
contrary to predictions of its demise, c remains a dominant programminglanguage, especially in embedded systems. Speed and transparency dictate that it will be so for the next decade, despite its supposed unsuitabili...
详细信息
ISBN:
(纸本)9781450320856
contrary to predictions of its demise, c remains a dominant programminglanguage, especially in embedded systems. Speed and transparency dictate that it will be so for the next decade, despite its supposed unsuitability for programming parallel architectures. A flexible compiler development system is a unique vehicle to bend the clanguage and its implementation to the developers' will. Using hard-won experience in applying extended versions of c to diverse parallel architectures, c's potential in the dark ages of multi-core programming is examined.
暂无评论