We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
portant un code
Carrying Code
Also disclosed is a program product carrying code for the upgrade method.
L'invention concerne également un produit de programme portant un code pour le procédé d'extension.
a method and a carrier medium carrying code to execute a method of designing a carton
un procédé et un support portant un code destiné à l'exécution d'un procédé pour concevoir un carton
In a still more particular embodiment, the combined media/procedure data stream may be fractured into portions while still carrying code appropriate to the portion removed from the whole.
Selon une variante plus spécifique, le flux de données de procédure/support combiné peut être scindé en différentes parties tout en conservant un code approprié à la partie séparée de l'ensemble.
A method for operating the system, and a computer readable medium carrying code segments for carrying out the method is also provided.
L'invention porte également sur un procédé de fonctionnement du système, et sur un support lisible par ordinateur portant des segments de code pour mettre en œuvre le procédé.
an apparatus for, a method of, and a computer carrier medium carrying code to cause a processor to execute a method
un appareil, un procédé et un support informatique contenant un code permettant à un processeur d'exécuter un procédé
The technique, Proof Carrying Code (PCC), consists in deploying code together with a formal proof of its correctness.
Cette technique, Proof Carrying Code (PCC), consiste à déploier le code avec une preuve formelle de sa correction.
The Vallauris project's scientific title is "Integrating Proof Theoretic techniques and Semantic Tools in Proof Carrying Code and Validation and Analysis of Declarative code".
Le titre du projet Vallauris est: intégration de techniques de preuves et d'outils sémantiques dans le "Proof Carrying Code" et validation et analyse de code écrit de manière déclarative.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.