Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Rejoignez Reverso, c'est gratuit et rapide !
of Java programs
Traduction de "of Java programs" en français
de programmes Java
We propose a technique that allows flexible and efficient dynamic analysis of the execution of Java programs.
Nous proposons une technique souple et efficace qui effectue une analyse dynamique de l'exécution 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.
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.
A solution (403-481) is proposed for metering the usage of Java programs.
Une solution (403-481) est proposée pour mesurer l'utilisation 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.
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.
During this work, we were interested in the validation of Java programs by means of its associated modelling language, named JML.
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.
In verification of Java programs using tree automata completion, this explosion may be due to the use of Peano numbers.
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.
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.
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'.
method for platform specific efficiency enhancement of java programs and software product therefor
procédé servant à améliorer l'efficacité spécifique à une plate-forme de programmes java et produit logiciel correspondant
The second one, targets the deadlock analysis of Java programs.
Le second, cible l'analyse de blocage des programmes Java.
Finally, all the proposals of this thesis have been integrated into the Tom language in the form of new statements or improvements of existing ones. This language proposal has been applied to the analysis of Java programs.
Enfin, l'ensemble des propositions de cette thèse a été intégré au langage Tom sous la forme de nouvelles constructions syntaxiques ou d'améliorations de constructions existantes et a ainsi pu être appliqué à l'analyse du langage Java.
Strobe delivers valuable insight about Java Virtual Machine (JVM) jobs and specialty processor usage, while Topaz for Java Performance gives an inside view of the JVM for targeted tuning of Java programs.
Stobe offre une perspective sur l'activité des JVM et la consommation des processeurs spécialisés, tandis que Topaz for Java Performance fournit un analyse de ce qu'exécutent les JVM pour permettre un tuning ciblé des programmes Java.
Sun Java JRE is designed to allow the execution of Java programs, not for developing them and does not contain any development tools like compilers and debuggers.
Java JRE de Sun n'est pas un environnement de développement et ne contient pas les outils de développement tels que des compilateurs ou des débogueurs.
Synonymes et analogies de "of Java programs" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 12. Exacts: 12. Temps écoulé: 47 ms.
