Events: Seminar

Resource Constrained Signal Processing Algorithms and Architectures: A Holistic Approach

Speaker:
Amit Acharyya University of Southampton School of Electronics and Computer Science SO17 1BJ United Kingdom
Date:
Friday, 11 Feb 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Nearly Tight Bounds for Testing Function Isomorphism

Speaker:
Sourav Chakraborty Chennai Mathematical Institute Plot No. H1 SIPCOT IT Park Padur PO Siruseri - 603103
Date:
Wednesday, 2 Feb 2011 (all day)
Venue:
AG-69
Category:

A Unified Framework for Testing Linear-Invariant Properties

Speaker:
Arnab Bhattacharya Massachusetts Institute of Technology 32 Vassar St., Room G696 Cambridge, MA 02139 United
Date:
Monday, 31 Jan 2011 (all day)
Venue:
A-212 (STCS Seminar Room)
Category:

Specification and Verification of Timed and Communicating Systems

Speaker:
S. Akshay National University of Singapore Electrical and Computer Engineering Block E4, Level 8, Room 15 4 E
Date:
Monday, 31 Jan 2011 (all day)
Venue:
AG-80
Category:

Information Flow in Wireless Networks: From Matroids to Cell Phones

Speaker:
Adnan Raja University of Illinois at Urbana-Champaign Coordinated Science Laboratory 1308 West Main Street Ur
Date:
Tuesday, 18 Jan 2011 (all day)
Venue:
AG-69
Category: