Search results for " Soft"
showing 10 items of 1710 documents
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory
2011
The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ‘‘radio- hybrid’’ measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features …
An Agile methodology for Manufacturing Control Systems development
2007
Robotized manufacturing cells are required more and more often to process high variety of short life-cycle product. This increases the need for methods and techniques for easy reconfiguration of software programs running in Programmable Logic Controllers (PLC), i.e., devices able to control manufacturing systems. PLCs run embedded code characterized by a procedural nature that does not make it quite reconfigurable. In this paper we propose an AGIle COntrol System Development (AGICOSD) methodology that uses various practices of Agile software development methodologies and the Design By Contract (DBC) practice for modeling and programming manufacturing control systems. In this context we prop…
An Exploratory Empirical Study of Internal Quality Attributes of Open Source Software Systems
2012
This exploratory empirical study has focused on open source software (OSS). Seven medium-sized OSS systems from the SourceForge repository were analysed. Over 100 internal quality attributes and programming practices were scrutinized by using two semi-automated source code analysis tools (FindBugs and SoftCalc). Many statistically significant relations were revealed by the conducted regression analyses. Seven so-called bad programming practices; as manifested by the measured source code inconsistencies were identified as having significant relations to internal software quality. Additionally we set and tested two hypotheses. That investigation provided mixed results partly supporting some o…
Development of the BCI Device Controlling C++ Software, Based on Existing Open Source Projects
2021
The possibility of using the BCI open source code for building BCI controlled device, based on small AVR or ARM microcontrollers was considered. Some techniques to extract code snippets from other BCI projects were presented in the case of OpenViBE as the code donor. Problem with obtaining driver source codes for factory BCI devices has been pointed out.
Visualization of Parameter Sensitivity of 2D Time-Dependent Flow
2018
In this paper, we present an approach to analyze 1D parameter spaces of time-dependent flow simulation ensembles. By extending the concept of the finite-time Lyapunov exponent to the ensemble domain, i.e., to the parameter that gives rise to the ensemble, we obtain a tool for quantitative analysis of parameter sensitivity both in space and time. We exemplify our approach using 2D synthetic examples and computational fluid dynamics ensembles.
CliffoSor: A Parallel Embedded Architecture for Geometric Algebra and Computer Graphics
2006
Geometric object representation and their transformations are the two key aspects in computer graphics applications. Traditionally, compute-intensive matrix calculations are involved to model and render 3D scenery. Geometric algebra (a.k.a. Clifford algebra) is gaining growing attention for its natural way to model geometric facts coupled with its being a powerful analytical tool for symbolic calculations. In this paper, the architecture of CliffoSor (Clifford Processor) is introduced. ClifforSor is an embedded parallel coprocessing core that offers direct hardware support to Clifford algebra operators. A prototype implementation on an FPGA board is detailed. Initial test results show more …
Alignment-Free Sequence Comparison over Hadoop for Computational Biology
2015
Sequence comparison i.e., The assessment of how similar two biological sequences are to each other, is a fundamental and routine task in Computational Biology and Bioinformatics. Classically, alignment methods are the de facto standard for such an assessment. In fact, considerable research efforts for the development of efficient algorithms, both on classic and parallel architectures, has been carried out in the past 50 years. Due to the growing amount of sequence data being produced, a new class of methods has emerged: Alignment-free methods. Research in this ares has become very intense in the past few years, stimulated by the advent of Next Generation Sequencing technologies, since those…
Design of the CGAL Spherical Kernel and application to arrangements of circles on a sphere
2009
International audience; This paper presents a CGAL kernel for algorithms manipulating 3D spheres, circles, and circular arcs. The paper makes three contributions. First, the mathematics underlying two non trivial predicates are presented. Second, the design of the kernel concept is developed, and the connexion between the mathematics and this design is established. In particular, we show how two different frameworks can be combined: one for the general setting, and one dedicated to the case where all the objects handled lie on a reference sphere. Finally, an assessment about the efficacy of the \sk\ is made through the calculation of the exact arrangement of circles on a sphere. On average …
Kinetics of phase separation in thin films: simulations for the diffusive case.
2005
We study the diffusion-driven kinetics of phase separation of a symmetric binary mixture (AB), confined in a thin-film geometry between two parallel walls. We consider cases where (a) both walls preferentially attract the same component (A), and (b) one wall attracts A and the other wall attracts B (with the same strength). We focus on the interplay of phase separation and wetting at the walls, which is referred to as {\it surface-directed spinodal decomposition} (SDSD). The formation of SDSD waves at the two surfaces, with wave-vectors oriented perpendicular to them, often results in a metastable layered state (also referred to as ``stratified morphology''). This state is reminiscent of th…