Resultado da Busca
Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein US-amerikanischer Informatiker und Turing-Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. [1] Emerson ist Informatik-Professor an der University of Texas at Austin . Dort machte er 1976 auch seinen Bachelor in Mathematik, und ...
Ernest Allen Emerson. Es un científico de la computación y profesor en la Universidad de Texas, Austin, Estados Unidos. Él ganó el 2007 el Premio Turing, junto con Edmund M. Clarke y Joseph Sifakis por su trabajo pionero sobre El Chequeo Modelo (Model Checking en inglés). Ganó en 1998 el premio ACM Paris Kanellakis por Teoría y Práctica ...
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.
mund A. Clarke, E. Allen Emerson, and Joseph Sifakis received the 2007 ACM Turing Award. With hindsight of 30 years, it seems that De Millo, Lipton, and Perlis arti-cle has proven to be rather misguided. In fact, it is interesting to read it now and see how arguments that seemed so compelling in 1979 seem so off the mark today.
维基百科，自由的 encyclopedia. 艾伦·爱默生 （英语： Ernest Allen Emerson ，1954年6月2日 — ）是一名 美国 德克萨斯州大学奥斯汀分校 计算机科学家 和荣誉 教授 。. 2007年，他与 爱德蒙·克拉克 和 约瑟夫·斯发基斯 一起因在 model checking（英语：Model checking） 取得的 ...
Ernest Allen Emerson (* 2. jún 1954, Dallas, Texas, USA) je americký informatik. Je známy najmä vďaka svojmu prínosu pri vývoji metódy overovania modelov ( model checking ), za ktorý dostal spoločne s Edmundom Clarkeom a Josephom Sifakisom Turingovu cenu (v roku 2007 ).
Edmund M. Clarke. Ernest Allen Emerson (born June 2, 1954) is a computer scientist and endowed professor at the University of Texas, Austin, United States. He won the 2007 A.M. Turing Award along with Edmund M. Clarke and Joseph Sifakis for the invention and development of Model checking. [1] He is also the recipient of the 1998 ACM Paris ...
