Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Instalar
¡Más rápido que el navegador!
 

E. Allen Emerson

Índice 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.

11 relaciones: Association for Computing Machinery, Barbara Liskov, Edmund Clarke, Frances Elizabeth Allen, Informática, Informático teórico, Joseph Sifakis, Premio Turing, Profesor, Universidad de Texas en Austin, Verificación de modelos.

Association for Computing Machinery

ACM es el acrónimo de Association for Computing Machinery (Asociación de Maquinaria Computacional).

¡Nuevo!!: E. Allen Emerson 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!!: E. Allen Emerson y Barbara Liskov · Ver más »

Edmund Clarke

Edmund Melson Clarke, Jr. (Newport News, 27 de julio de 1945 - 22 de diciembre de 2020) fue un informático teórico, profesor universitario, investigador, ingeniero y matemático estadounidense.

¡Nuevo!!: E. Allen Emerson y Edmund Clarke · 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!!: E. Allen Emerson y Frances Elizabeth Allen · Ver más »

Informática

La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.

¡Nuevo!!: E. Allen Emerson e Informática · 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!!: E. Allen Emerson 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!!: E. Allen Emerson y Joseph Sifakis · 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!!: E. Allen Emerson y Premio Turing · Ver más »

Profesor

Los términos profesor/a, docente y enseñante hacen referencia a quien se dedica profesionalmente a la enseñanza, ya sea con carácter general o especializado en una determinada área de conocimiento, asignatura, disciplina académica, ciencia o arte.

¡Nuevo!!: E. Allen Emerson y Profesor · Ver más »

Universidad de Texas en Austin

La Universidad de Texas en Austin (en idioma inglés University of Texas at Austin), también conocida como UT Austin, UT o Texas, es una universidad pública de investigación en Austin, Texas, y la institución insignia del Sistema Universitario de Texas.

¡Nuevo!!: E. Allen Emerson y Universidad de Texas en Austin · 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!!: E. Allen Emerson y Verificación de modelos · Ver más »

Redirecciona aquí:

E Allen Emerson.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »