¡Más rápido que el navegador!
11 relaciones: Association for Computing Machinery, Barbara Liskov, E. Allen Emerson, Estados Unidos, Frances Elizabeth Allen, Informático teórico, Joseph Sifakis, Newport News, Premio Turing, Universidad Carnegie Mellon, Verificación de modelos.
Association for Computing Machinery
ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).
¡Nuevo!!: Edmund Clarke y Association for Computing Machinery · Ver más »
Barbara Liskov
Barbara Jane Huberman (Los Ángeles, California, 7 de noviembre de 1939), conocida como Barbara Liskov o Barbara Jane Liskov, es una prominente científica de la computación estadounidense.
¡Nuevo!!: Edmund Clarke y Barbara Liskov · Ver más »
E. Allen Emerson
Ernest Allen Emerson es un informático teórico más conocido haber desarrollado el método conocido como model checking, para verificar diseños de software o hardware.
¡Nuevo!!: Edmund Clarke y E. Allen Emerson · Ver más »
Estados Unidos
«EUA», «US», «USA» y «United States» redirigen aquí.
¡Nuevo!!: Edmund Clarke y Estados Unidos · Ver más »
Frances Elizabeth Allen
Frances Elizabeth "Fran" Allen (Peru, Nueva York, 4 de agosto de 1932 - Schenectady, Nueva York, 4 de agosto de 2020) fue una informática estadounidense y pionera en el campo de optimizar compiladores.
¡Nuevo!!: Edmund Clarke y Frances Elizabeth Allen · Ver más »
Informático teórico
Un científico de la computación es una persona con conocimientos adquiridos en ciencias de la computación, especializado en el estudio de los fundamentos teóricos de la información y la computación además de su aplicación.
¡Nuevo!!: Edmund Clarke e Informático teórico · Ver más »
Joseph Sifakis
Joseph Sifakis (Heraclión, Creta, 26 de diciembre de 1946) es un científico de la computación griego naturalizado francés, ganador del Premio Turing de 2007 junto con Edmund Clarke y E. Allen Emerson, por su trabajo en el método conocido como model checking.
¡Nuevo!!: Edmund Clarke y Joseph Sifakis · Ver más »
Newport News
Newport News es una ciudad independiente en el área metropolitana de Hampton Roads de Virginia, Estados Unidos.
¡Nuevo!!: Edmund Clarke y Newport News · Ver más »
Premio Turing
El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales.
¡Nuevo!!: Edmund Clarke y Premio Turing · Ver más »
Universidad Carnegie Mellon
La Universidad Carnegie Mellon (en inglés: Carnegie Mellon University, CMU) se ubica en Pittsburgh, Pensilvania, y es uno de los más destacados centros de investigación superior de los Estados Unidos en el área de ciencias de la computación y robótica.
¡Nuevo!!: Edmund Clarke y Universidad Carnegie Mellon · Ver más »
Verificación de modelos
La verificación de modelos (o Model checking) es un método automático de verificación de un sistema formal, en la mayoría de las ocasiones derivado del hardware o del software de un sistema informático.
¡Nuevo!!: Edmund Clarke y Verificación de modelos · Ver más »
Redirecciona aquí:
Edmund M Clarke, Edmund M Clarke Jr, Edmund M. Clarke, Edmund M. Clarke Jr., Edmund M. Clarke, Jr..
