eecs
11William Gould Dow — Infobox Scientist name = William Gould Dow birth date = September 30, 1895 birth place = Faribault, Minnesota, U.S. death date = October 17, 1999 (aged 104) death place = Bellevue, Washington, U.S. alma mater = University of Minnesota University… …
12Lynn Conway — Conway in 2006 Born January 10, 1938 (1938 01 10) (age 73) White Plains, New York, U.S …
13Actor model theory — In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an… …
14Actor model middle history — In computer science, the Actor model, first published in 1973 ref harvard|Hewitt|Hewitt et al. 1973| , is a mathematical model of concurrent computation. This article reports on the middle history of the Actor model in which major themes were… …
15Ernst Guillemin — Infobox Scientist name = Ernst Adolph Guillemin caption = Image Courtesy of MIT Museum image width = 200px nationality = United States birth date = birth date|1898|5|8 birth place = Milwaukee, Wisconsin death date = death date and… …
16Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… …
17Maneesh Agrawala — (born 1973) is an associate professor at the University of California, Berkeley,[1] in the Electrical Engineering and Computer Science Department, where he leads the Visualization Lab.[2][3] He received a MacArthur Foundation Fellowship in… …
18University of California, Berkeley — Seal of the University of California, Berkeley Motto Latin: Fiat Lux Motto in English Let There Be Light …
19Actor model implementation — In computer science, Actor model implementation concerns implementation issues for the Actor model. Cosmic CubeThe Cosmic Cube was developed by Chuck Seitz et al. at Caltech providing architectural support for Actor systems. A significant… …
20Ptolemy Project (computing) — Infobox Software name = Ptolemy II caption = developer = University of California, Berkeley latest release version = 7.0.1 latest release date = 2008 04 04 operating system = Linux, Solaris, Windows genre = Model based design, Visual programming… …
