Search results for "Source code"

showing 10 items of 61 documents

Recursive modeling for completed code generation

2009

Model-Driven Development is promising to software development because it can reduce the complexity and cost of developing large software systems. The basic idea is the use of different kinds of models during the software development process, transformations between them, and automatic code generation at the end of the development. But unlike the structural parts, fully-automated code generation from the behavior parts is still hard, if it works at all, restricted to specific application areas using a domain specific language, DSL.This paper proposes an approach to model the behavior parts of a system and to embed them into the structural models. The underlying idea is recursive refinements …

Theoretical computer scienceSource codeCode reviewbusiness.industryComputer scienceProgramming languagemedia_common.quotation_subjectSoftware developmentStatic program analysiscomputer.software_genreLinear code sequence and jumpSoftware constructionKPI-driven code analysisCode generationbusinesscomputermedia_commonProceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
researchProduct

GPU-accelerated exhaustive search for third-order epistatic interactions in case–control studies

2015

This is a post-peer-review, pre-copyedit version of an article published in Journal of Computational Science. The final authenticated version is available online at: https://doi.org/10.1016/j.jocs.2015.04.001 [Abstract] Interest in discovering combinations of genetic markers from case–control studies, such as Genome Wide Association Studies (GWAS), that are strongly associated to diseases has increased in recent years. Detecting epistasis, i.e. interactions among k markers (k ≥ 2), is an important but time consuming operation since statistical computations have to be performed for each k-tuple of measured markers. Efficient exhaustive methods have been proposed for k = 2, but exhaustive thi…

Theoretical computer scienceSource codeGeneral Computer ScienceComputer scienceComputationmedia_common.quotation_subjectGPUBrute-force searchCUDAMutual informationcomputer.software_genreTheoretical Computer ScienceMutual informationCUDAModeling and SimulationEpistasisGWASNode (circuits)Data miningTupleHeuristicscomputermedia_commonJournal of Computational Science
researchProduct

2010

Research has noticed that imparting TDD-like testing to an early computing curriculum is challenging because it increases technical and cognitive load for the students. This paper addresses the challenge with a software-based solution constructed to facilitate the process of writing tests. The solution allows using a compact while efficient syntax for formulating tests, writing tests into JavaDoc comments, thus close to the source code that implements intended functionalities, and automates the generation of actual test code. The constructed solution -- the ComTest tool -- has now been used in four introductory level programming course offerings. The paper presents the tool and concludes wi…

Unit testingSource codeSyntax (programming languages)Programming languageProcess (engineering)Computer sciencebusiness.industrymedia_common.quotation_subjectJavadoccomputer.software_genreSoftwareSoftware engineeringbusinesscomputerCurriculumCognitive loadmedia_commonProceedings of the fifteenth annual conference on Innovation and technology in computer science education
researchProduct

Supporting Impact Analysis by Program Dependence Graph Based Forward Slicing

2007

Since software must evolve to meet the typically changing requirements, source code modifications can not be avoided. Impact analysis is one of the central and relatively demanding tasks of software maintenance. It is constantly needed while aiming at ensuring the correctness of the made modifications. Due to its importance and challenging nature automated support techniques are required. Theoretically, forward slicing is a very suitable technique for that purpose. Therefore, we have implemented a program dependence graph (PDG) based tool, called GRACE, for it. For example, due to the typical rewritings of Visual Basic programs there is a great need to support their impact analysis. However…

Visual BasicCorrectnessSource codeComputer sciencebusiness.industrymedia_common.quotation_subjectSoftware maintenancecomputer.software_genreSlicingProgram Dependence GraphProgram slicingControl flow graphData miningSoftware engineeringbusinesscomputercomputer.programming_languagemedia_common
researchProduct

OpenMolcas: From Source Code to Insight

2019

In this article we describe the OpenMolcas environment and invite the computational chemistry community to collaborate. The open-source project already includes a large number of new developments realized during the transition from the commercial MOLCAS product to the open-source platform. The paper initially describes the technical details of the new software development platform. This is followed by brief presentations of many new methods, implementations, and features of the OpenMolcas program suite. These developments include novel wave function methods such as stochastic complete active space self-consistent field, density matrix renormalization group (DMRG) methods, and hybrid multico…

Wave functionSource codeField (physics)Computer sciencemedia_common.quotation_subjectInterfacesSemiclassical physics010402 general chemistry0601 Biochemistry and Cell Biology01 natural sciencesComputational scienceNOChemical calculationsMathematical methodschemical calculations ; electron correlation ; interfaces ; mathematical methods ; wave function0103 physical sciences0307 Theoretical and Computational ChemistryPhysical and Theoretical ChemistryWave functionWave function Interfaces Chemical calculations Mathematical methods Electron correlationComputingMilieux_MISCELLANEOUSmedia_commonChemical Physics010304 chemical physicsBasis (linear algebra)business.industryDensity matrix renormalization groupElectron correlationSoftware development0803 Computer Software0104 chemical sciencesComputer Science ApplicationsVisualization[CHIM.THEO]Chemical Sciences/Theoretical and/or physical chemistrybusiness
researchProduct

Modelling heat transfer-controlled cooling and freezing times: a comparison between computational values and experimental results

2013

Modelling of heat transfer-controlled cooling and freezing time predictions are very important for a good preservation of foodstuffs. In that regard, we used a computer code based on the finite-element method that allowed us to analyse the phase-change of various foodstuffs during their freezing. The model was exercised to predict process times. The results can be used to design high efficiency plants. In this work, the results predicted by the FEM program are compared with the experimental values given in technical literature.

Work (thermodynamics)EngineeringFoodstuffSource codeMathematical modelbusiness.industrymedia_common.quotation_subjectNuclear engineeringProcess (computing)Mechanical engineeringFinite-element methodTechnical literatureFinite element methodFood productsFreezingHeat transferSettore ING-IND/10 - Fisica Tecnica IndustrialeCoolingbusinessmedia_commonWIT Transactions on Ecology and The Environment
researchProduct

Embedded multi-spectral image processing for real-time medical application

2016

International audience; The newly introduced Kubelka-Munk Genetic Algorithm (KMGA) is a promising technique for the assessment of skin lesions from multi-spectral images. Using five skin parameter maps such as concentration or epidermis/dermis thickness, this method combines the Kubelka-Munk Light-Tissue interaction model and Genetic Algorithm optimization process to produce a quantitative measure of cutaneous tissue. Up to the present, variant improved KMGA implementations have been successfully realized using the recent parallel computing techniques. However, all these achievements are based on the multi-core CPUs. This results in a quite high cost and low practicability for the hardware …

[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]Digital signal processorSource code[ INFO ] Computer Science [cs]Computer sciencemedia_common.quotation_subject[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]Image processing02 engineering and technologyARCHITECTURESLight-Tissue InteractionGenetic algorithm0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]Embedded SystemField-programmable gate arrayFPGA[ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]media_commonFlexibility (engineering)Multi-spectral image processingGenetic AlgorithmHigh-Level Synthesis FPGA IMPLEMENTATIONbusiness.industryProcess (computing)020206 networking & telecommunicationsTransplantationMODELComputer engineeringHardware and ArchitectureEmbedded system020201 artificial intelligence & image processing[ INFO.INFO-AR ] Computer Science [cs]/Hardware Architecture [cs.AR]businessHigh-Level SynthesisSoftware
researchProduct

CUDA-BLASTP: Accelerating BLASTP on CUDA-enabled graphics hardware

2011

Scanning protein sequence database is an often repeated task in computational biology and bioinformatics. However, scanning large protein databases, such as GenBank, with popular tools such as BLASTP requires long runtimes on sequential architectures. Due to the continuing rapid growth of sequence databases, there is a high demand to accelerate this task. In this paper, we demonstrate how GPUs, powered by the Compute Unified Device Architecture (CUDA), can be used as an efficient computational platform to accelerate the BLASTP algorithm. In order to exploit the GPU's capabilities for accelerating BLASTP, we have used a compressed deterministic finite state automaton for hit detection as wel…

graphics hardwareSource codeComputer sciencemedia_common.quotation_subjectGraphics hardwareGraphics processing unitParallel computingGeneral Purpose Computation on Graphics Processing Unit (GPGPU)Computational scienceInstruction setCUDAGeneticsComputer GraphicsDatabases Proteinmedia_commondynamic programmingFinite-state machineSequence databaseApplied MathematicsProteinsCompute Unified Device Architecture (CUDA)sequence alignmentGeneral-purpose computing on graphics processing unitsAlgorithmsSoftwareBiotechnology
researchProduct

Investigating Novice Developers’ Code Commenting Trends Using Machine Learning Techniques

2023

Code comments are considered an efficient way to document the functionality of a particular block of code. Code commenting is a common practice among developers to explain the purpose of the code in order to improve code comprehension and readability. Researchers investigated the effect of code comments on software development tasks and demonstrated the use of comments in several ways, including maintenance, reusability, bug detection, etc. Given the importance of code comments, it becomes vital for novice developers to brush up on their code commenting skills. In this study, we initially investigated what types of comments novice students document in their source code and further categoriz…

luokitus (toiminta)Numerical Analysismachine learning techniquesohjelmistokehittäjätvasta-alkajatTheoretical Computer Sciencesource code commentsComputational MathematicskoneoppiminenclassificationComputational Theory and Mathematicssource code comments; classification; machine learning techniqueslähdekooditohjelmointiohjelmistokehitysAlgorithms; Volume 16; Issue 1; Pages: 53
researchProduct

Source code of the dissertation "Open sourcing Digital Heritage : digital surrogates, museums and knowledge management in age of open networks"

2012

Sisältää väitöskirjan lähdeaineistot.

resource datalähdekooditsource codestutkimusdata
researchProduct