The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Research on education has indicated that students have different abilities and needs. In other words, they tend to learn in different ways, these ways were called a learning style. Although the learning style in many developed countries has seen a significant amount of research [1, 2], unfortunately, in Arabic region this work is still in its infancy [3–5]. The literature review revealed that there...
High-Level Synthesis (HLS) has emerged as a leading technology to reduce the design time and complexity that is associated with reconfigurable systems. In order to maintain the productivity promised by HLS, it is important that the designer can debug the system in the context of the high-level code. Currently, software simulations offer a quick and familiar method to target logic and syntax bugs,...
Data quality issues pose a significant barrier to operationalizing big data. They pertain to the meaning of the data, the consistency of that meaning, the human interpretation of results, and the contexts in which the results are used. Data quality issues arise after organizations have moved past clear-cut technical solutions to early bottlenecks in using data. Left unaddressed, such issues can and...
Spatial errors (e.g., buffer overflows) continue to be one of the dominant threats to software reliability and security in C/C++ programs. Presently, the software industry typically enforces spatial memory safety by instrumentation. Due to high overheads incurred in bounds checking at runtime, many program inputs cannot be exercised, causing some input-specific spatial errors to go undetected in today's...
Many performance engineering tasks, from long-term performance monitoring to post-mortem analysis and online tuning, require efficient runtime methods for introspection and performance data collection. To understand interactions between components in increasingly modular HPC software, performance introspection hooks must be integrated into runtime systems, libraries, and application codes across the...
Large scale simulation performance is dependent on a number of components, however the task of investigation and optimization has long favored computational and communication elements above I/O. Manually extracting the pattern of I/O behavior from a parent application is a useful way of working to address performance issues on a per-application basis, but developing workflows with some degree of automation...
This tutorial will present two tools that can be integrated into a secure software development approach, as well as describing how custom tools can be built utilizing the same underlying tool platform.
A brief review of Protected Execution Mode (PEM) for user-space applications featured in Elbrus architecture is described first. Then, AddressSanitizer, a well-known utility by Google Inc, is considered as an example of a pure software technique of memory control. Comparative analysis of these solutions is given with performance flaws, applicability and boundary violation detection quality.
In this paper, a software supported DC voltage calibrator is presented, requiring a standard programmable signal generator, a digital voltmeter, and some free software components. After detailed analysis of the programmable signal generator applying an automated process, it is concluded that intrinsic precision is insufficient for the generator to be used as a voltage calibrator. Furthermore, offline...
Knowing which part of a program processes which parts of an input can reveal the structure of the input as well as the structure of the program. In a URL http://www.example.com/path/, for instance, the protocol http, the host www.example.com, and the path path would be handled by different functions and stored in different variables. Given a set of sample inputs, we use dynamic tainting to trace the...
This paper presents a industrial processes simulator compatible with PLC Siemens S7-1200 implemented in LabVIEW software, it consists of two industrial processes (mixer and control level), this system provides help on the practical learning of industrial automation by means of PLC, thanks to its ease of use and performance indicators and existing failures.
Airbus Defence and Space Electronics have developed in last recent years a modular and scalable concept for Instrument Control Units (ICU) which has been used with high success in several missions as EUCLID and MetOp-SG. SpaceWire communication is a key element with this concept. This paper presents the Generic ICU architecture and its application in the MetOp-SG instruments.
The implementation of a low-cost electro pneumatic bank from an existing educational pneumatic equipment is exposed. The proposed bank operates with a PLC. To demonstrate its advantage, a stamping machine is simulated using Ladder and Grafcet language. This demonstration can simulate any machine or process requiring up to four electro pneumatic cylinders.
Experiments have been at the heart of scientific development and education for centuries. From the outburst of Information and Communication Technologies, virtual and remote labs have added to hands-on labs a new conception of practical experience, especially in Science, Technology, Engineering and Mathematics education. This paper aims at describing the features of a remote lab named Virtual Instruments...
Fixing bugs according to bug reports is a labor-intensive work for developers and automatic techniques can effectively decrease the manual efforts. A feasible solution is to fix specific bugs by static analysis and code instrumentation. In this paper, we present a light-weight approach to fixing the resource leak bugs that exist widely in Android apps while guaranteeing the safety that the patches...
MOOC or Massive Open Online Course are a virtual training form present in the current educational landscape. Several authors raise doubts about whether these software products offer quality training, being necessary to establish instruments that certify their characteristics or guide how to approach optimization to ensure success and consolidation of this type of e-learning. This project proposes...
The common DPU platform for ESA JUICE mission instruments is a hardware and software platform developed by Cobham Gaisler for the scientific instrument payloads of the European Space Agency Jupiter Icy Moons spacecraft. The hardware is based around the GR712RC dual-core LEON3-FT processor with GRSPW2 SpaceWire interfaces. To accompany the JUICE instrument hardware, a flight quality SpaceWire software...
It is important for students to solve problems with specific requirements in the programming teaching. Our teaching system is a Moodle-based interactive teaching platform for C programming. Its online judging system can grade students code automatically. It plays an extremely important role in programming language teaching. This paper is devoted to optimizing and improving the system. We firstly analyze...
The main purpose of this study it's to present a web application called EndusCheck as a solution to facilitate the process to determine end user's satisfaction that uses learning objects mainly, but it can be used to measure satisfaction level in another educative modalities and technologies too. In fact, it can be used to determinate satisfaction to any product or service. In this document first...
This document presents information about the analysis, design and development phases for a learning object called “The Bicycle”, which one is part of the virtual course about not mobility urban motorized created by the Virtual Education Program at the University of Cuenca in the framework of an agreement between the Municipal Public Enterprise Mobility, transit and transport of Cuenca and the University...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.