Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

vérification de la syntaxe

syntactic check

informatique et traitement des données - iate.europa.eu

▷

Formal aspects of computing how to stop time stopping... Some time ago, Tripakis proposed a syntactic check on the structure of timed automata: If a certain condition (called strong non-zenoness) is met by all the loops in a given automaton, then zeno-timelocks are guaranteed...

général - core.ac.uk - PDF: kar.kent.ac.uk

Using alloy in process modellingMany notations and supporting tools are available to be used for describing business processes, but most lack the ability to do more than a syntactic check on the form of the model....

PDF: citeseerx.ist.psu.edu

Integrating topological proofs with model checking to instrument iterative design... Results show that: (i) topological proofs are ≈60% smaller than the original models; (ii) after a revision, in ≈78% of cases, the property can be re-verified by relying on a simple syntactic check

PDF: orbilu.uni.lu

Behavioural types for synchronous software composition 1 abstract... In this work, we show how a complete axiom system for CaSE allows these equivalences to be reduced to a syntactic check, which is more fitting to a type system

PDF: citeseerx.ist.psu.edu

Chase: a static checker for jml's assignable clause... The method that we propose is incomplete, as it only makes a syntactic check and it does not take aliasing or expression evaluation into account, but it provides efficient means to find the most common errors in assignable clauses....

PDF: citeseerx.ist.psu.edu

vérification de la syntaxe

syntax check

informatique et traitement des données - iate.europa.eu

Utilisez la commande rcdhcpd check-syntax pour effectuer une rapide vérification de la syntaxe.

Use the command rcdhcpd check-syntax to perform a brief syntax check.

général - CCMatrix (Wikipedia + CommonCrawl)

Aucune vérification de la syntaxe n'est effectuée, soyez donc prudent lorsque vous apportez des modifications à cette variable.

No syntax checking is done, so be careful when making changes to this variable.

général - CCMatrix (Wikipedia + CommonCrawl)

▷

Xtce govsat tool suite 1.0... The Validation Tool is used to syntax check GOVSAT XML files....

général - core.ac.uk - PDF: hdl.handle.net

Semantic metadata instantiation and consolidation within an ontology-based multimedia document management system... Following the principle of divide-and-conquer, the suggested approach separately addresses the problems of general translation of diverse information sources, syntax check, normalization, and duplication and conflict handling....

PDF: citeseerx.ist.psu.edu

Design of plc sequential function chart based on iec61131-3 standard...realized.The syntax check and logic check of SFC are achieved by traveling recursively and iterating the layers of the nested data structure of SFC....

PDF: www.scientific.net

Performance of watermarking as an error detection mechanism for corrupted h.264/avc video sequences... In order to handle possible decoding desynchronization at the receiver, we implement a syntax check error detection mechanism together with watermarking and evaluate its performance....

PDF: citeseerx.ist.psu.edu

Il nuovo sistema di assegnazione dei nic-handle nel registro del cctld "it"... In particular, the document shows the impact of the new system on the syntax check software as well as the registration forms and the Registry Web site

PDF: puma.isti.cnr.it