Theoritical Computer Science

34

click to vote

ICS
2010
Tsinghua U.

146views Distributed And Parallel Com...» more ICS 2010»

On the Power of a Unique Quantum Witness

14 years 8 months ago

Download www.itcsc.cuhk.edu.hk

Rahul Jain, Iordanis Kerenidis, Greg Kuperberg, Mi...

claim paper

Read More »

23

click to vote

ICS
2010
Tsinghua U.

153views Distributed And Parallel Com...» more ICS 2010»

Cache Replacement Policies for Multicore Processors

14 years 8 months ago

Download www2.lns.mit.edu

Almost all of the modern computers use multiple cores, and the number of cores is expected to increase as hardware prices go down, and Moore's law fails to hold. Most of the ...

Avinatan Hassidim

claim paper

Read More »

27

click to vote

ICS
2010
Tsinghua U.

179views Distributed And Parallel Com...» more ICS 2010»

Non-Malleable Codes

14 years 8 months ago

Download eprint.iacr.org

We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...

Stefan Dziembowski, Krzysztof Pietrzak, Daniel Wic...

claim paper

Read More »

27

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

14 years 8 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

24

click to vote

ICS
2010
Tsinghua U.

134views Distributed And Parallel Com...» more ICS 2010»

Derandomizing Algorithms on Product Distributions and Other Applications of Order-Based Extraction

14 years 8 months ago

Download www2.lns.mit.edu

Ariel Gabizon, Avinatan Hassidim

claim paper

Read More »

18

click to vote

ICS
2010
Tsinghua U.

138views Distributed And Parallel Com...» more ICS 2010»

Global Alignment of Molecular Sequences via Ancestral State Reconstruction

14 years 8 months ago

Download conference.itcs.tsinghua.edu.cn

Alexandr Andoni, Constantinos Daskalakis, Avinatan...

claim paper

Read More »

27

click to vote

ICS
2010
Tsinghua U.

163views Distributed And Parallel Com...» more ICS 2010»

Effectively Polynomial Simulations

14 years 8 months ago

Download conference.itcs.tsinghua.edu.cn

Toniann Pitassi, Rahul Santhanam

claim paper

Read More »

25

click to vote

ICS
2010
Tsinghua U.

149views Distributed And Parallel Com...» more ICS 2010»

Circuit Lower Bounds, Help Functions, and the Remote Point Problem

14 years 8 months ago

Download conference.itcs.tsinghua.edu.cn

V. Arvind, Srikanth Srinivasan

claim paper

Read More »

48

click to vote

ICS
2010
Tsinghua U.

134views Distributed And Parallel Com...» more ICS 2010»

Proof-Carrying Data and Hearsay Arguments from Signature Cards

14 years 8 months ago

Download people.csail.mit.edu

: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...

Alessandro Chiesa, Eran Tromer

claim paper

Read More »

27

click to vote

ICS
2010
Tsinghua U.

143views Distributed And Parallel Com...» more ICS 2010»

Are Stable Instances Easy?

14 years 8 months ago

Download www.cs.huji.ac.il

We introduce the notion of a stable instance for a discrete optimization problem, and argue that in many practical situations only sufficiently stable instances are of interest. T...

Yonatan Bilu, Nathan Linial

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers