No garantizamos la integridad, actualidad y correctitud.
No guarantee for completeness, topicality and correctness.
La certificación confirma la correctitud de la traducción.
The certification officially confirms the correctness of the translation.
El uso arbitrario introduce la posibilidad de indeterminacy in concurrent computation que tiene mayores implicaciones en la práctica, incluyendo la correctitud y el rendimiento.
The use of arbiters introduces the possibility of indeterminacy in concurrent computation which has major implications for practice including correctness and performance.
Las variables locales son fundamentales para describir e implementar algoritmos y para especificar algunas de sus propiedades tales como correctitud, terminación y desempeño.
Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance.
Desafortunadamente, la naturaleza misma de la concurrencia conspira en contra de razonar-ya sea formal o intuitivamente-sobre la correctitud de algoritmos concurrentes.
Unfortunately, the intricacies of concurrency conspire against reasoning-both formally and intuitively-about the correctness of algorithms.
Para chequear la correctitud del archivo smb.conf, se puede usar el comando: testparm
You can test the smb.conf correctness by using this command: testparm
Si los datos son probados por correctitud, verificar que están correctos, no que están incorrectos.
If data are to be checked for correctness, verify that they are correct, not that they are incorrect.
A los efectos de evaluar la correctitud de los sistemas, se ejecutan escenarios de prueba para distintos tipos de discapacidad, simulando la interacción del usuario.
With the purpose of evaluating the system's correctness, test scenarios are executed for different types of disabilities, simulating the user's interaction.
Sin embargo, dicha comunicación ocurre en la práctica y la correctitud de estas interacciones en una memoria compartida depende de un contrato implícito entre la librería y el cliente.
However, such way of communication may be used in a program, and correctness of interactions on a shared memory depends on the implicit contract between the library and the client.
Presentadores de programas de discusión y comentaristas conservadores construyeron sus carreras como tales desenmascarando reportes falsos de racismo, al mismo tiempo que descartaban discusiones legítimas de injusticia y desigualdad social como ejemplos de simple correctitud política o racismo reverso.
Talk show hosts and conservative commentators built entire careers unmasking bogus claims of racism while dismissing legitimate discussions of racial injustice and inequality as mere political correctness or reverse racism.
Sus investigaciones incluyen especificaciones algebraicas y métodos formales de desarrollo de software, correctitud de sistemas modulares, programación funcional, y certificación de recursos para mobile code.
His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.
Tiene más de 15 años de desarrollo activo y una arquitectura probada que le ha ganado una fuerte reputación por confiabilidad, integridad de datos y correctitud.
It has more than 15 years of active development and a proven architecture that has earned it a strong reputation for reliability, data integrity, and correctness.
Las ciencias naturales exactas se denominan exactas porque de principio solo hacen aseveraciones que se pueden falsificar experimentalmente en cualquier lugar o tiempo (vale decir, técnicamente: verificar su correctitud.).
The exact natural sciences are called exact because they only make assertions that can in principle be experimentally falsified in any place or time (technically: can be tested for correctness).
