Results 21 to 30 of about 942,194 (293)

The study of postural workload in assembly of furniture upholstery

open access: yesMATEC Web of Conferences, 2017
The productivity of the workers is affected by the Work-related Musculoskeletal Disorders (WRMSDs) which common cause of health problems, sick leave and it can result in decreased quality of work and increased absenteeism.
Marek Lasota Andrzej   +1 more
doaj   +1 more source

MEGAHIT: An ultra-fast single-node solution for large and complex metagenomics assembly via succinct de Bruijn graph [PDF]

open access: yes, 2014
MEGAHIT is a NGS de novo assembler for assembling large and complex metagenomics data in a time- and cost-efficient manner. It finished assembling a soil metagenomics dataset with 252Gbps in 44.1 hours and 99.6 hours on a single computing node with and ...
Lam, Tak-Wah   +4 more
core   +2 more sources

A solution for automatic parallelization of sequential assembly code [PDF]

open access: yesSerbian Journal of Electrical Engineering, 2013
Since modern multicore processors can execute existing sequential programs only on a single core, there is a strong need for automatic parallelization of program code.
Kovačević Đorđe   +3 more
doaj   +1 more source

An Experimental Evaluation of Control Flow Checking for Automotive Embedded Applications Compliant With ISO 26262

open access: yesIEEE Access, 2023
Random hardware failures (RHFs) may result in data corruption and Control Flow Errors (CFEs). Hardening strategies are employed to mitigate RHFs in embedded systems, either by adding specialized hardware or using Software-Implemented Hardware Fault ...
Mohammadreza Amel Solouki   +2 more
doaj   +1 more source

A formally verified compiler back-end [PDF]

open access: yes, 2008
This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming ...
A Dold   +85 more
core   +8 more sources

Application of TULIP/STREAM code in 2-D fast reactor core high-fidelity neutronic analysis

open access: yesNuclear Engineering and Technology, 2019
The deterministic MOC code STREAM of the Computational Reactor Physics and Experiment (CORE) laboratory of Ulsan National Institute of Science and Technology (UNIST), was initially designed for the calculation of pressurized water reactor two- and three ...
Xianan Du   +7 more
doaj   +1 more source

Validation of the burnup code MOTIVE with respect to fuel assembly decay heat data

open access: yesFrontiers in Energy Research, 2023
The burn-up code MOTIVE is a 3D code for fuel assembly inventory determination developed at GRS in recent years. It modularly couples an external Monte Carlo neutron transport code to the in-house inventory code VENTINA.
Volker Hannstein   +3 more
doaj   +1 more source

Data dependence analysis of assembly code

open access: yesProceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192), 2000
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has been done in the field of data dependence analysis on assembly language code, but this area will be of growing importance, e.g., for increasing instruction-level parallelism.
Braun, Peter   +3 more
openaire   +2 more sources

COUPLED SIMULATION OF GAS COOLED FAST REACTOR FUEL ASSEMBLY WITH NESTLE CODE SYSTEM

open access: yesActa Polytechnica CTU Proceedings, 2018
The paper is focused on coupled calculation of the Gas Cooled Fast Reactor. The proper modelling of coupled neutronics and thermal-hydraulics is the corner stone for future safety assessment of the control and emergency systems.
Filip Osusky   +4 more
doaj   +1 more source

Measuring the Quality Characteristics of an Assembly Code on Embedded Platforms [PDF]

open access: yesTelfor Journal, 2012
The paper describes the implementation of a programming tool for measuring the quality characteristics of an assembly code. The aim of this paper is to prove the usability of these metrics for evaluation of an assembly code's quality, which is generated ...
M. Krnjetin   +3 more
doaj  

Home - About - Disclaimer - Privacy