Results 211 to 220 of about 357,319 (266)

Correction: Integrative omics analysis reveals distinct adaptations of bongkrekic acid producing <i>Burkholderia gladioli pathovar cocovenenans</i> strains. [PDF]

Front Microbiol
He J, Zhao L, Sun Y, Chen Q, Li J, Chen J, Zhang Y, Yang L, Liu Y, Lei L.   +9 more
europepmc   +1 more source

Erratum. [PDF]

Med J Aust
europepmc   +1 more source

Corrigendum for figure-related and funding acknowledgement corrections in previously published articles of <i>Bioactive Materials</i>. [PDF]

Bioact Mater
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A methodology for assessing the correctness of control programs

Computers & Electrical Engineering, 1984
In this paper we first analyze the role of program proofs in estimating the correctness of control programs. Then we develop a fuzzy-set-based measure of the correctness possibility of these programs. The input domain is partitioned into a set of hierarchical fuzzy equivalence classes.
Bastani, F. B., Ramamoorthy, C. V.
openaire   +2 more sources

Checking the serial correctness of control-parallel programs

1994
We study the serial correctness of programs in a subset of Fortran X3H5, a control-parallel extension of Fortran. This property, an equivalence between a parallel program and its sequential version, follows from the preservation of dependences, defined on the sequential version, by the control flow and the synchronizations.
Gilbert Caplain, René Lalement, Thierry Salset   +2 more
openaire   +1 more source

A graphical paradigm facilitating correct programming of complex computer control systems

Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95, 2002
A graphical software development paradigm is presented deviating from classical techniques by enforcing the (re-) use of pre-engineered and a priori verified off-the-shelf application-oriented standard software function blocks. It is based on long established practice in control engineering.
Wolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric   +2 more
openaire   +1 more source

A CORRECTNESS VERIFICATION OF PARALLEL CONTROL PROGRAMS

IFAC Proceedings Volumes, 1986
Abstract An approach to the correctness of parallel programs (systems) is proposed. A model of parallel system is based on the two notions of state and transition relation. The correctness is defined as a relation between the process describing parallel system, and the given, prior defined criterion process, that specifies correctness requirements. A
openaire   +1 more source

Design and Correctness of Program Transformations Based on Control-Flow Analysis

2001
We show how control-flow-based program transformations in functional languages can be proven correct. The method relies upon "defunctionalization," a mapping from a higher-order language to a firstorder language. We first show that defunctionalization is correct; using this proof and common semantic techniques, we then show how two program ...
Anindya Banerjee 0001, Nevin Heintze, Jon G. Riecke   +2 more
openaire   +1 more source

Intelligent PC-based user control interface for on-line correction of robot programs

7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002., 2004
Today the automotive sector is dominated by high variety of types and increasing product diversification. Thus, OEM manufacturers reintegrate key technologies back in the enterprise, due to competitive reason and to stabilize leadership in innovation.
Ulrich Berger 0002, Raffaello Lepratti
openaire   +1 more source