Search results for " Software"
showing 10 items of 1178 documents
Cell-List based Molecular Dynamics on Many-Core Processors: A Case Study on Sunway TaihuLight Supercomputer
2020
Molecular dynamics (MD) simulations are playing an increasingly important role in several research areas. The most frequently used potentials in MD simulations are pair-wise potentials. Due to the memory wall, computing pair-wise potentials on many-core processors are usually memory bounded. In this paper, we take the SW26010 processor as an exemplary platform to explore the possibility to break the memory bottleneck by improving data reusage via cell-list-based methods. We use cell-lists instead of neighbor-lists in the potential computation, and apply a number of novel optimization methods. Theses methods include: an adaptive replica arrangement strategy, a parameter profile data structur…
Unauthorized copying of software
2007
Computer users copy computer software - this is well-known. However, less well-known are the reasons why some computer users choose to make unauthorized copies of computer software. Furthermore, the relationship linking the theory and the practice is unknown, i.e., how the attitudes of ordinary end-users correspond with the theoretical views of computer ethics scholars. In order to fill this gap in the literature, we investigated the moral attitudes of 249 Finnish computing students towards the unauthorized copying of computer software, and we then asked how these results compared with the theoretical reasons offered by computer ethics scholars. The results shed a new light on students' mor…
Attitudes to and factors affecting unauthorized copying of computer software in Finland
2005
Several quantitative studies have sought to determine the factors affecting the unauthorized copying of software, particularly in North America. However, we find no statistically reliable studies on the situation in Europe. In order to address this gap in the literature, we explored the attitudes to and factors affecting the unauthorized copying of computer software of 249 Finnish university students: nine hypotheses derived from the existing research on unauthorized copying of computer software or theories of ethics were tested. A quantitative questionnaire was used as the research instrument. The results shed new light on the characteristics of users and factors affecting the unauthorized…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Lambda+, the renewal of the Lambda Architecture: Category Theory to the rescue
2021
Designing software architectures for Big Data is a complex task that has to take into consideration multiple parameters, such as the expected functionalities, the properties that are untradeable, or the suitable technologies. Patterns are abstractions that guide the design of architectures to reach the requirements. One of the famous patterns is the Lambda Architecture, which proposes real-time computations with correctness and fault-tolerance guarantees. But the Lambda has also been highly criticized, mostly because of its complexity and because the real-time and correctness properties are each effective in a different layer but not in the overall architecture. Furthermore, its use cases a…
A framework for evaluating Internet-of-Things platforms: Application provider viewpoint
2014
Widespread adoption of Internet of Things (IoT) applications assumes a sustainable ecosystem of firms creating, distributing, and using these applications. Such an ecosystem often forms around a platform that implements commonly used functionality and offers it to the members of the ecosystem for creating applications and services. In IoT, such a platform may be materialized in a form of a cloud platform that supports the management of connected devices, and the development and use of the applications based on them. A number of cloud platforms targeting IoT applications are available in the market; to prosper, they need to assist the providers of the IoT applications in designing and develo…
Analyzing big datasets of genomic sequences: fast and scalable collection of k-mer statistics
2019
Abstract Background Distributed approaches based on the MapReduce programming paradigm have started to be proposed in the Bioinformatics domain, due to the large amount of data produced by the next-generation sequencing techniques. However, the use of MapReduce and related Big Data technologies and frameworks (e.g., Apache Hadoop and Spark) does not necessarily produce satisfactory results, in terms of both efficiency and effectiveness. We discuss how the development of distributed and Big Data management technologies has affected the analysis of large datasets of biological sequences. Moreover, we show how the choice of different parameter configurations and the careful engineering of the …
Uncertainty evaluation in power measurements with commercial data acquisition boards
2011
The paper deals with the metrological characterization of a digital wattmeter developed by using a personal computer, a shunt, two commercial data acquisition boards and commercial software. The uncertainty of the active power measurements is assessed individually characterizing the voltage channel, the current channel and the phase displacement measurement between the two channels. In particular, the uncertainty on the voltage and current rms measurements is evaluated by using an already proposed approach based on the Monte Carlo method and on the usage of five parameters, while the uncertainty on the phase angle is experimentally estimated. In order to validate the proposed approach for t…
MATLAB-based educational software for exploratory data analysis (EDA toolkit)
2009
This article presents an educational software developed in order to enable engineering students to gain insight into data sets via the exploratory data analysis (EDA). This software has been developed using the MATLAB GUIDE tool. This article shows the program suitability for learning EDA in different engineering courses related to data analysis such as data mining or data processing courses. © 2009 Wiley Periodicals, Inc. Comput Appl Eng Educ 20: 313–320, 2012
Active learning in a real-world bioengineering problem: A pilot-study on ophthalmologic data processing
2019
Active learning is a format alternative to the conventional lecture/recitation/laboratory; research results have reported that it is suitable to encourage student inquiry and foster peer mentoring. Although the availability of computer-based learning materials in biomedical sciences is increasing, there are relatively few studies aimed to integrate traditional methods of teaching with inquiry-based approaches utilizing these Information and Communication Technologies (ICT) tools. This paper describes a pilot-study on a comprehensive active laboratory course about digital ophthalmologic signal classification, experienced by a group of undergraduates in Bio-Electronic Engineering. During the …