Title: Hard Problems along a Trip through Time:  Verifying and Visualizing the Temporal Behavior of Concurrent Systems

Speaker: Tod Amon

Date/Time: Tuesday, August 19, 2008, CSRI/90

Location: CSRI Building, Room 90 (Sandia NM)

Brief Abstract: A look at several interesting problems analyzing the temporal behavioral of concurrent systems.  Applications involve asynchronous circuit optimization, interface verification, manufacturing, and project management.  I'll discuss fun problems such as "The Ice Cream Problem" and how to recognize that two triangles form a square.  Other reflections from a career in which exponential algorithms are run exponential times, and many hard problems are encountered.

CSRI POC: James Ang, (505) 844-0068