We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
of Java programs
Nous proposons une technique souple et efficace qui effectue une analyse dynamique de l'exécution de programmes Java.
We propose a technique that allows flexible and efficient dynamic analysis of the execution of Java programs.
Reqs résout les systèmes de contraintes sur des réseaux, tandis que l'analyseur lui-même est implémenté à l'aide d'une technique de génération de contraintes modulaire et est conçu pour analyser des fragments de programmes Java.
Reqs solves systems of constraints over lattices, whilst the analyser itself is implemented using a modular constraint generation technique, and is designed to analyse fragments of Java programs.
Une solution (403-481) est proposée pour mesurer l'utilisation de programmes Java.
A solution (403-481) is proposed for metering the usage of Java programs.
Tout en offrant une base sécurisée pour l'étude des composants et interfaces Java, l'analyseur statique orienté contraintes associé à une technique de vérification modulaire analyse des fragments de programmes Java.
Providing a secure basis for studying Java components and interfaces, the constraint-based static analyser coupled with a modular verification technique analyses fragments of Java programs.
Au cours de ces travaux, nous nous sommes intéressés à la validation de programmes Java par l'intermédiaire de son langage de modélisation associé, nommé JML.
During this work, we were interested in the validation of Java programs by means of its associated modelling language, named JML.
Dans la vérification de programmes Java utilisant la complétion d'automates d'arbres, cette explosion peut être due à l'utilisation d'entiers de Peano.
In verification of Java programs using tree automata completion, this explosion may be due to the use of Peano numbers.
En guise d'exemple, une forme de réalisation de l'invention valide la conformité de programmes Java téléchargés depuis un serveur distant à la plateforme normalisée pur Java, pour assurer qu'ils sont conformes à la norme 'pur Java'.
As an example, one embodiment of the present invention validates Pure Java platform standard conformance of Java programs downloaded from a remote server to ensure that they conform to the 'Pure Java' standard.
procédé servant à améliorer l'efficacité spécifique à une plate-forme de programmes java et produit logiciel correspondant
method for platform specific efficiency enhancement of java programs and software product therefor
La présente invention concerne un procédé de protection de programmes Java relevant du domaine de la protection des logiciels.
Disclosed is a method for protecting java programs, which belongs to the field of software protection.
À mon avis, une plus grande puissance vient lorsque nous pouvons automatiser de nombreuses tâches, telles que l'écriture de programmes Java sous forme de scripts, puis leur exécution à partir du shell du système d'exploitation.
In my opinion, greater power comes when we can automate a lot of tasks such as writing Java programs as scripts and then executing them from the operating system shell.
Le chapitre décrit les différents types de boucles et comment ces boucles peuvent être utilisées dans l'élaboration de programmes Java et à quelles fins ils sont utilisés.
The chapter will describe various types of loops and how these loops can be used in Java program development and for what purposes they are being used.
On commence par la modélisation d'une certaine classe de programmes Java, avec des processus concurrents constitués d'une séquence de tâches temps-réel qui se synchronisent et peuvent accéder aux ressources communes.
We give a model for a special class of real time programs, based on dependencies (shared resources and communications).
Cette technique a été expérimentée pour la vérification de protocoles cryptographiques ainsi que pour le prototypage rapide d'analyses statiques de programmes Java byte code.
This technique has been used for the verification of cryptographic protocols (it is part of one of the AVISPA tools) and for the fast prototyping of static analysis of Java bytecode programs.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
