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

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.

12 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, 2007.

Association for Computing Machinery

ACM acrónimo de Association for Computing Machinery (Asociación de los Sistemas Informáticos).

¡Nuevo!!: E. Allen Emerson y Association for Computing Machinery · Ver más »

Barbara Liskov

Barbara Jane Huberman (nacida el 7 de noviembre de 1939) 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. (27 de julio de 1945) es un informático teórico estadounidense.

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

Frances Elizabeth Allen

Frances Elizabeth "Fran" Allen (4 de agosto de 1932) es 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 en América latina, es una ciencia que estudia métodos, técnicas, 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, informático teórico o computólogo es una persona con conocimientos adquiridos en ciencias de la computación, y que se especializa en el estudio de los fundamentos teóricos de la información y la computación, para su posterior aplicación en sistemas de informació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

Profesor, docente o enseñante, es quien se dedica profesionalmente a la enseñanza, bien con carácter general, bien 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 (The University of Texas at Austin en inglés), a menudo llamada "UT" o "Texas" simplemente, es la institución principal del sistema universitario público del estado de Texas (Universidad 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 »

2007

2007 (MMVII) fue un año común comenzado en lunes según el calendario gregoriano, y fue designado como.

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

Redirecciona aquí:

E Allen Emerson.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »