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.
program analysis
analysis of programs
programme analysis
Les contributions de cette thèse incluent des techniques d'analyse de programmes pour le contrôle de flux d'information tant qualitatif que quantitatif.
The contributions of this thesis include program analysis techniques for qualitative and quantitative information flow control.
Les groupes peuvent être des abstractions sur des données de profils qui ont une signification du point de vue de l'analyse de programmes informatiques.
The groups can be abstractions over profile data that are meaningful for computer program analysis.
Nous nous concentrons sur l'analyse de programmes écrits dans des langages de bas niveau.
Le service facilite la solution de problèmes, l'analyse de programmes et l'amélioration des conditions dans notre société en mettant les connaissances universitaires au service d'intérêts communautaires.
Service facilitates the resolution of problems, the analysis of programs and the improvement of conditions in our society by focusing university expertise on community issues.
Gestion et analyse de programmes (travailleurs assimilés)
Au cours du projet PADECL récemment achevé, l'équipe s'est consacrée au développement d'algorithmes efficaces d'analyse de programmes basés sur le langage de programmation Datalog.
During the recently concluded project, PADECL placed its focus on developing effective programme analysis algorithms using the Datalog programming language.
Leurs conclusions s'appuient sur une revue de la littérature, ainsi que sur une analyse de programmes proposés dans les pays concernés.
Their conclusions are based on a literature review, as well as on a program analysis within the countries concerned by the study.
Une combinaison de techniques d'analyse de programmes globales et inter-procédurales construit des synthèses sémantiques de programme malveillant qui détectent et ignorent automatiquement des bruits introduits par des transformations et capturent l'essence des calculs sous-jacents dans une forme succincte.
A combination of global, inter-procedural program analysis techniques constructs semantic summaries of malware which automatically detect and discard any noise introduced by transformations and capture the essence of the underlying computations in a succinct form.
Nos abstractions modélisent finement les détails de l'encodage en mémoire des données afin de permettre l'analyse de programmes qui en dépendent (par exemple, ceux utilisant le type-punning).
We design abstractions that are aware of the low-level memory representation of data-types, to support the analysis of programs that rely on assumptions about this representation (such as "type punning" constructions in C).
La recherche de Wilhelm se concentre sur les langages de programmation, la construction de compilateurs, l'analyse de programmes statiques et les systèmes temps réel embarqués, mais comprend également l'animation et la visualisation d'algorithmes et de structures de données.
Wilhelm's research focuses on programming languages, compiler construction, static program analysis and embedded real time systems, but also includes animation and visualization of algorithms and data structures.
Présentation stratégique de tendances pertinentes, analyse de programmes, analyse de la voix du client, informations sur les optimisations mises en œuvre et nouveaux domaines d'opportunités.
Business review Strategic presentation of meaningful trends, program analysis, voice of the customer analysis, implemented optimization insights and new areas of opportunity.
Environnement Canada s'occupe de l'analyse de programmes, particulièrement dans les domaines de la certification des produits d'énergie verte et du calcul des crédits liés à la réduction des émissions de gaz à effet de serre.
Environment Canada provides program analysis, particularly in the areas of green power certification and the calculation of credits for reductions in greenhouse gas emissions.
A l'issue du développement de l'ETCS, Frama-C, outil d'analyse de programmes en langage C, démontrera formellement que les codes répondent bien aux propriétés attendues, notamment en termes de sûreté et de sécurité.
And, once the ETCS development process has been completed, another CEA LIST tool, the Frama-C C-language program analysis software, will be used to provide formal proof that the code aligns with specifications, particularly in terms of safety and security.
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.
