Search: assets.amazon.science | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Millions of Tiny Databases [pdf]

assets.amazon.science

6 years ago

173 points

2.

Amazon Redshift Reinvented [pdf]

assets.amazon.science

4 years ago

11 points

3.

Using Lightweight Formal Methods to Validate Services in Amazon S3 [pdf]

assets.amazon.science

5 years ago

3 points

4.

Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]

assets.amazon.science

5 years ago

3 points

5.

Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 [pdf]

assets.amazon.science

3 months ago

2 points

6.

Why TPC is not enough: an Analysis of the Amazon Redshift Fleet [pdf]

assets.amazon.science

2 years ago

2 points

7.

Forecasting with Trees [pdf]

assets.amazon.science

2 years ago

2 points

8.

Using Lightweight Formal Methods to Validate S3 [pdf]

assets.amazon.science

3 years ago

2 points

9.

Using Lightweight Formal Methods to Validate a Key-Value Storage Node in AWS S3 [pdf]

assets.amazon.science

5 years ago

2 points

10.

Using Lightweight Formal Methods to Validate a KV Storage Node in Amazon S3 [pdf]

assets.amazon.science

2 years ago

1 points

11.

A Cloud-Optimized Transport Protocol for Elastic and Scalable HPC (2020) [pdf]

assets.amazon.science

2 years ago

1 points

12.

SOSP 2021 best paper award reveals internals of AWS S3 storage back end [pdf]

assets.amazon.science

5 years ago

1 points