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.
When microscopy image data are stored and processed, the corresponding workflow is typically carried out by treating storing and processing separately. In many laboratories, it is common to store data on one computing system and process data on another system. This separation of storing and processing data has a negative impact on the traceability of results, and thus on reproducibility, as information...
Analytical reasoning is central to code correctness, and every computer science curriculum aims to teach students how to achieve this objective in one form or another. With the acceptance of object-based computing and component-based software engineering, the need for analytical reasoning that is based on formal contracts to establish correctness of software across module boundaries has become ever...
The University City of Buea in Cameroon – Africa has been named the Silicon Mountain of Africa due to the growing number of Software-based, technopreneurship activities within the city. The uniqueness in methodological approach used for educating and training graduates from major universities in this city remains undiagnosed, although its impact is already being felt internationally. This paper reports...
We define some of the programming and system-level challenges facing the application of quantum processing to high-performance computing. Alongside barriers to physical integration, prominent differences in the execution of quantum and conventional programs challenges the intersection of these computational models. Following a brief overview of the state of the art, we discuss recent advances in programming...
Physical design tools must handle huge amounts of data in order to solve problems for circuits with millions of cells. Traditionally, Electronic Design Automation tools are implemented using Object-Oriented Design. However, using this paradigm may lead to overly complex objects that result in waste of cache memory space. This memory wasting harms cache locality exploration and, consequently, degrades...
Peer code review is key to ensuring the absence of software defects. To improve the review process, many code review tools provide OSS(Open Source Software) project CI(Continuous Integration) tests that automatically verify code quality issues such as a code convention issues. However, these tests do not cover project policy issues and a code readability issues. In this study, our main goal is to...
The most prominent advantage of software verification over testing is a rigorous check of every possible software behavior. However, large state spaces of concurrent systems, due to non-deterministic scheduling, result in a slow automated verification process. Therefore, verification introduces a large delay between completion and deployment of concurrent software. This paper introduces a novel iterative...
There is a gap between research and practice of automated and algorithmic debugging. In order to close this gap, we claim to search for niches where research techniques and methods can be more easily applied and tested under realworld development conditions. In particular, we discuss the niche of spreadsheet fault localization as one very promising area and present the current state of research in...
To improve the effective utilisation of its supercomputing platforms, the New Zealand eScience Infrastructure (NeSI) offers, in addition to user support and the installation of a comprehensive software stack, a consultancy service to some of its users. Here we present lessons learned from this work and how additional improvements can be made to further enhance productivity of researchers on computing...
Creativity theory states good designs are achieved by having a multitude of these designs [1]. Exploratory Programming is the process of trying out designs while writing software. Programmers have to evaluate these alternative implementations in order to implement new ideas [2]. These alternatives often have multiple objectives which might prompt a programmer to work towards multiple goals in episodes...
Teaching programming using Massive Open Online Courses (MOOCs) is gaining popularity due to their scalability and efficiency of knowledge distribution. However, participating in these courses usually means fully committing to the supplied programming environment in the browser. While this allows a consistent and controllable setup, learners do not gain experience with actual development tools, such...
There have been some social constructivist learning approaches used in computing sciences (CS) education, but none of them has actually validated the student reflection process, which is a critical component of the action learning associated with them. The step of reflection within the social constructivist pedagogy has a crucial role in building the learner's mental model and in refining the existing...
Nowadays there is a worldwide interest in introducing notions of programming in basic schooling. In line with this, different training programs have been proposed to allow the appropriation of these novel contents. This paper presents a proposal for interdisciplinary training in computer programming for primary school teachers, carried out in Argentina. Taking a socio-technical approach and from a...
This design provides a kind of double CPU communication between solution, using PROTUES software structures, basic simulation circuit, the load KEIL software written in HEX file, USES the RS232 interface standard, simple circuit structure, solve the problem of the complicated parallel communication lines, applies to close range, low rate of communication occasions.
This WIP exposes the design and implementation of Midroid, an open mobile platform focused on microcontrollers' education. The platform has been designed with the aim to address both the problems detected as the educational gaps associated to the acquisition of the algorithmic thinking needed in the conceptualization and structuring of a program or algorithm determined. To technical level, the platform...
We present a mobile application for the vowels learning of in children with SD, the methodology of the application design and the description of utilization are explained. The application was used by 4 children for one month (5 sessions per week), the results show that the application is an aid to primary teachers in teaching vowels in children with DS.
Magnetic coupling resonance wireless power transmission is a new technology to realize the wireless transmission of energy by means of high frequency coupling resonance between the coils. The variation of the coupling coil size and the relative position will change the mutual inductance between the windings, which will finally affect the characteristics of the infinite power transmission system. Using...
Partial reconfiguration is a promising technique in the design of embedded systems since it enables an increase in efficiency and flexibility. However, its usage is still challenging due to the constraints of current FPGAs. In this paper, we present an extension of the Xilinx Python package ‘pynq’ to ease the usage of partial reconfigurable bitstreams. The pynq package belongs to Xilinx's open source...
This paper presents ReqCap, an implementation of a new method that articulates hierarchical requirements modeling and test generation to assist in the process of capturing requirements for PLC-based control systems. ReqCap is based on a semi-formal graphical model that supports hierarchical modeling, thus enabling compositional specifications. The tool supports automated generation of test cases according...
Medium frequency transformers are an essential part of new energy conversion systems, and are very often subject to non-sinusoidal excitation. Therefore, usual methods to represent magnetic materials behavior inside transformers with electrical equivalent scheme are very limited in this case. This paper focuses on the development of a new model based on the loss separation method. This model is implemented...
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.