Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
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.
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
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.
Ne les mélangez pas - javaw.exe sert à l'exécution de programmes java sous Windows, alors que javaws.exe est le JAVA web start.
Don't mix them up - javaw.exe is for running java programs in windows, javaws.exe is JAVA web start.
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.
Ce travail concerne la vérification statique de programmes Java Card annotés formellement, par des méthodes déductives.
This work is about static verification of formally-annotated Java Card programs, by deductive methods.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
