GSRC demos

   Core Design Technology for Complex Heterogeneous Systems

Author:

Alberto Sangiovanni-Vincentelli

Sep 13, 2006,   GSRC Website

   Welcome to the GSRC Website

Author:

Jan Rabaey

Sep 13, 2006,   GSRC Website

   Adaptive R/F Front End for Wireless Communication

	Authors:	Abhijit Chatterjee, Selim Sermet Akbay, Donghoon Han, Hyun Choi, Soumendu Bhattacharya, Rajarajan Senguttuvan
	Presenters:	Abhijit Chatterjee, Donghoon Han, Hyun Choi, Soumendu Bhattacharya, Rajarajan Senguttuvan

Mar 14, 2006,   GSRC Workshop, March 2006

   Automated Generation of Application-Aware Error Detectors

	Authors:	Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravi Iyer
	Presenter:	Karthik Pattabiraman

Mar 14, 2006,   GSRC Workshop, March 2006

   Design Space Exploration for a Motion-JPEG Encoder in the Metropolis Design Environment

	Authors:	Douglas Densmore, Abhijit Davare, Qi Zhu
	Presenter:	Douglas Densmore

Mar 14, 2006,   GSRC Workshop, March 2006

   Error-Tolerant SRAM Design for Ultra-Low Power Standby

	Author:	Huifang Qin
	Presenter:	Huifang Qin

Mar 14, 2006,   GSRC Workshop, March 2006

   Home Gateway

	Authors:	Yury Markovskiy, John Wawrzynek, Ken Lutz, Daniel Burke, Andrew Schultz, Stanley Yuan-Shih Chen, Kaushik Ravindran, Chris R. Baker, Jan Rabaey, Jana van Greunen
	Presenters:	Chris R. Baker, Yury Markovskiy

Mar 14, 2006,   GSRC Workshop, March 2006

   Hybrid Processor Accellerator Coexecution Environment - Where Does the Compiler Come In?

	Authors:	Sain-Zee Ueng, Wen-mei Hwu, Steven Lumetta, Daniel Burke
	Presenter:	Sain-Zee Ueng

Mar 14, 2006,   GSRC Workshop, March 2006

   Illinois Reliability and Security Architecture

	Author:	Peter Klemperer
	Presenter:	Peter Klemperer

Mar 14, 2006,   GSRC Workshop, March 2006

   MetroSPICE++

	Authors:	Sandeep Dabas, Xiaolue Lai, Jaijeet Roychowdhury, Alessandro Pinto, Alberto Sangiovanni-Vincentelli
	Presenter:	Sandeep Dabas

Mar 14, 2006,   GSRC Workshop, March 2006

   NOC Performance Optimization via Long-Range Link Insertion

	Authors:	Umit Y. Ogras, Radu Marculescu
	Presenter:	Radu Marculescu

Mar 14, 2006,   GSRC Workshop, March 2006

   REVEAL - A Scalable Verification Tool for High-Level Verilog Models

	Authors:	Zaher Andraus, Karem Sakallah
	Presenter:	Zaher Andraus

Mar 14, 2006,   GSRC Workshop, March 2006

   Self-Repairing SRAM

	Authors:	Kaushik Roy, Saibal Mukopadhyay, Hamid Mahmoodi, Animesh Datta, Kunhyuk Kang, Keejong Kim
	Presenter:	Hamid Mahmoodi

Mar 14, 2006,   GSRC Workshop, March 2006

   Streaming Media over an Application Specific Multiprocessor

	Authors:	William Plishker, Kurt Keutzer
	Presenter:	William Plishker

Mar 14, 2006,   GSRC Workshop, March 2006

   Symbolic Reliability Analysis, Vertically-Consistent Spatial Embedding, Tools for Parametric Yield Optimization

	Authors:	Igor Markov, John P. Hayes, Murari Mani
	Presenters:	Igor Markov, Murari Mani

Mar 14, 2006,   GSRC Workshop, March 2006

   UCLA xPilot: a Platform-Based Behavioral Synthesis System

	Authors:	Jason Cong, Yiping Fan, Guoling Han, Wei Jaing, Zhiru Zhang
	Presenter:	Zhiru Zhang

Mar 14, 2006,   GSRC Workshop, March 2006

   VCEGAR: Verilog CounterExample Guided Abstraction and Refinement

	Authors:	Himanshu Jain, Daniel Kroening, Edmund Clarke
	Presenter:	Himanshu Jain

Mar 14, 2006,   GSRC Workshop, March 2006

   Introduction to GSRC, 2005, Richard Newton

Author:

Richard Newton

May 10, 2002,   GSRC Website