What's Decidable for Asynchronous Programs?

Seminar

Speaker:

Rupak Mazumdar University of California Department of Computer Science 4531E Boelter Hall Los Angeles, CA 9

Time:

Thursday, 14 January 2010 (All day)

Venue:

A-212 (STCS Seminar Room)

An asynchronous or ``event-driven program is one that contains procedure calls which are not directly executed from the callsite, but stored and executed later by an external scheduler.

Capacity Planning in Service Systems with Arrival Rate Uncertainty: Safety Staffing Principles Revisited

Seminar

Speaker:

Ramandeep S. Randhawa University of Southern California University Park Campus Los Angeles , CA 90089 http://w

Time:

Tuesday, 5 January 2010 (All day)

Venue:

A-212 (STCS Seminar Room)

We study a capacity sizing problem in service systems with uncertain arrival rates telephone call centers are canonical examples of such systems.

Universal Coding Theory in Quantum Systems

Seminar

Speaker:

Masahito Hayashi Graduate School of Information Sciences Tohoku University Aoba-ku, Sendai 980-8579 Japan<br/

Time:

Thursday, 24 December 2009 (All day)

Venue:

A-212 (STCS Seminar Room)

We construct a universal code for stationary and memoryless classical-quantum channel as a quantum version of the universal coding by Csisz\\'{a}r and K\\ {o}rner.

Wireless Scheduling with Limited Information

Seminar

Speaker:

Aditya Gopalan The University of Texas at Austin Department of Electrical and Computer Engineering Austin 7

Time:

Wednesday, 23 December 2009 (All day)

Venue:

A-212 (STCS Seminar Room)

We consider the problem of scheduling with incomplete and/or local information in wireless environments.

Introduction to MetaMathematics

Student Seminar

Speaker:

N.V. Narendra Kumar School of Technology and Computer Science Tata Institute of Fundamental Research Homi Bhabha R

Time:

Friday, 18 December 2009 (All day)

Venue:

A-212 (STCS Seminar Room)

Option Pricing and Hedging in the Incomplete Market

Seminar

Speaker:

Rituparna Sen University of California, Davis Statistics 4218 Math Sciences Building Davis, CA 95616 Uni

Time:

Thursday, 21 January 2010 (All day)

Venue:

A-212 (STCS Seminar Room)

An important aspect of the stock price process, which has often been ignored in the financial literature, is that prices on organized exchanges are restricted to lie on a grid.

Optimal Policies for Large Queueing Networks Through Diffusion Limits

Seminar

Speaker:

Adam Shwartz Electrical Engineering, Technion Israel Institute of Technology Haifa, 32000 Israel http://w

Time:

Friday, 8 January 2010 (All day)

Venue:

A-212 (STCS Seminar Room)

Queueing networks are ubiquitous, serving as models of computer networks, service stations, dams, etc. Their performance depends on their structure, parameters and on the service rules.

SHRUTI: An Industrial Strength Formally Certified SAT Solver

Seminar

Speaker:

Ashish Darbari School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ Uni

Time:

Thursday, 10 December 2009 (All day)

Venue:

A-212 (STCS Seminar Room)

Boolean satisfiability (SAT) solvers are not only routinely used in the formal verification of large industrial problems, but also applied in safety-critical domains such as the railways, avionics, and automotive industries.

Search form

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Speaker:

Time:

Venue:

Pages