Fall 1994 Schedule

Ongoing Research Seminar
Department of Computer Science
State University of New York at Stony Brook


September 16	Yom Kippur

September 23	David Smith,
		"Compiling Hardware"

September 30	Tzi-cker Chiueh, 
		"Compression Domain Volume Visualization 
		from Parallel Disk Arrays"

October    3	Theo Pavlidis, 
		"A Starter Kit for X-Windows"

October   14	Amitabh Varshney, 
		"Scene Realism and Interactivity 
		in Virtual Reality Walkthroughs"

October   21	Bruce McMillin (University of Missouri-Rolla), 
		Formal Derivation of High-Assurance 
		Concurrent Software

October   28	Steve Skiena,
		Why Theory is More Important than Practice:
		Combinatorial Algorithms and Applications

November   4	Arthur Bernstein,
		Using Transaction Semantics in
		Transaction Processing Systems

November  11	Herbert Gelernter,
		The SYNCHEM system

November  18	Scott Smolka,
		The Concurrency Factory -
		Practical Tools for Specification, Simulation, 
		Verification and Implementation of Concurrent Systems 

November  25	Thanksgiving

December   2	Arie Kaufman,
		Volumes as Computational Representation of Geometry

December   9	Prateek Mishra,
		Designing the User Interface:
		A Case Study of Neuroradiology