Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
program analysis
Translation of "program analysis" in Spanish
análisis del programa
análisis de programas
programa de análisis
programar análisis
análisis de los programas
Program Analysis
However, initializing pointers unnecessarily could hinder program analysis, thereby hiding bugs.
Sin embargo, punteros inicializados podría obstaculizar innecesariamente el análisis del programa, ocultando de ese modo los bugs.
One of the novelties of this thesis is the presentation of an optimization version of the SMT problems generated by the constraint-based method in such a way that, even when they turn out to be unsatisfiable, some useful information can be obtained for refining the program analysis.
Una de las novedades de esta tesis es la presentación de una versión de optimización de los problemas SMT generados por el método tal que, incluso cuando son insatisfactibles, se puede obtener cierta información útil para refinar el análisis del programa.
This shows how novel static analyses can be extracted as meta-abstract interpretations to design efficient and precise program analysis algorithms.
De este modo, se pueden extraer análisis estáticos novedosos como interpretaciones meta-abstractas para diseñar algoritmos de análisis de programas eficientes y precisos.
Fisher believes a successful solution will involve contributions from many areas, including statistics and probabilistic modeling, approximation algorithms, machine learning, programming languages, program analysis, compilers, high-performance software, and parallel and distributed computing.
Fisher sostiene que una solución de éxito abarcará contribuciones de diversas áreas, incluyendo modelos de probabilidad y estadística, algoritmos de aproximación, aprendizaje automático, lenguajes de programación, análisis de programas, compiladores, software de alto rendimiento y computación paralela y distributiva.
TACO, an open source program analysis tool that statically checks the compliance of a Java program against its Java Modeling Language specification.
TACO, programa de análisis de código abierto que estáticamente comprueba el cumplimiento de un programa de Java frente a su especificación en JML.
2008: Intercambios, program analysis and discussion of works of art projects, Arte x Arte Gallery, Bs.
2008: Intercambios, programa de análisis de obra y discusión de proyectos artísticos, Galería Arte x Arte, Bs.
Her research interests are primarily in the area of improving the quality of infrastructure software, using a variety of approaches including program analysis, program transformation, and the design of domain-specific languages.
Sus intereses en materia de investigación se encuentran primordialmente en el área de mejora de la calidad del software de infraestructura, utilizando diversos enfoques que incluyen el análisis de programas, la transformación de programas, y la concepción de lenguajes específicos del dominio.
In order to do the reasoning about programs, the approach taken in this thesis follows the constraint-based method used in program analysis.
Para realizar el razonamiento sobre los programas, la aproximación tomada en esta tesis se basa en un conocido método basado en restricciones utilizado en análisis de programas.
Assurant's flexible capabilities are unsurpassed, spanning the full range of the value chain, from research and product development to sales support and program analysis.
Las capacidades flexibles de Assurant son insuperables, puesto que abarcamos toda la gama de la cadena de valores, desde la investigación y el desarrollo de productos hasta el soporte de ventas y el análisis de programas.
Potential users of the CiaoPP may be researchers in abstract interpretation-based program analysis and users that may employ this tool for debugging, verification, optimisation, and certification of their programs.
Entre los usuarios potenciales del CiaoPP se encuentran investigadores que realizan análisis de programas basados en interpretaciones abstractas y usuarios que pueden utilizar esta herramienta para depurar, verificar, optimizar y certificar sus programas.
Ben Schmidt brings over a decade of experience in information security to the table, having led research on automated program analysis, malware reverse engineering, secure software development, cryptography, cryptocurrency, and vulnerability analysis.
Ben Schmidt nos trae más de una década de experiencia en seguridad de información a la escena, habiendo liderado investigaciones en análisis de programas automatizados, ingeniería reversa de malwares, desarrollo de software seguro, criptografía, criptomoneda, y análisis de vulnerabilidades.
Strategic presentation of meaningful trends, program analysis, voice of the customer analysis, implemented optimization insights and new areas of opportunity.
Evaluación del negocio Presentación estratégica de tendencias significativas, análisis de programas, análisis de la voz del cliente, ideas de optimización implementadas y nuevas áreas de oportunidad.
Michael is an ACM Fellow and author of over 100 publications spanning the spectrum from software engineering, to program analysis (both static and dynamic), to programming language design.
Michael es un Fellow de la ACM, y es autor de más de 100 publicaciones, en un espectro que varía desde la ingeniería de software, al análisis de programas (tanto estático como dinámico), o el diseño de lenguajes de programación.
Synonyms and analogies of "program analysis" in English
Word & Expression of the day
Image of the day
Suggestions that contain program analysis
Results: 79. Exact: 79. Elapsed time: 122 ms.
