The Colloquium Series of the
            Department of Computer Science,
		  University of Wyoming

			presents

                    Dr. Nathan Fisher

        University of North Carolina at Chapel Hill

"The Multiprocessor Real-Time Scheduling of General Task Systems"
 
                 Thursday, March 29, 2007
                        EN 1062
                    4:00 - 5:00 p.m.

Abstract:
With the current hardware trend towards computer architectures with 
multiple processing cores on a single chip, the next generation of 
embedded and real-time hardware platforms is very likely to have the 
capability for parallel execution.  Real-time applications, meanwhile,
are becoming increasingly complex.  These complex real-time applications
deployed upon multiprocessor platforms require formal validation that 
all temporal constraints (e.g. specific computations must complete by
given deadlines) are satisfied.

In my talk, I will describe research work on developing efficient formal
analysis techniques for validating the temporal properties of complex
real-time systems upon multiprocessors.  I will show that these 
verification techniques have bounded deviation from hypothetical optimal
techniques.  I will discuss how our techniques can be used in automated 
tools for the design of cost-effective multiprocessor real-time systems.

Biography:

Nathan Fisher received the M.S. degree in computer science from Columbia 
University in 2002, and the B.S. degree in computer science from the 
University of Minnesota, Twin Cities in 1999.  He is currently a Ph.D. 
student in computer science at the University of North Carolina at Chapel
Hill.  His research interests are in real-time and embedded computer systems,
parallel and distributed algorithms, resource allocation, and approximation
algorithms.  Prior to entering graduate school, he worked for three years 
as a software engineer.