Name
Abstract | ||
|---|---|---|
In recent years, cloud service providers have sold computation in increasingly granular units. Most recently, “serverless” executors run a single executable with restricted network access and for a limited time. The benefit of these restrictions is scale: thousand-way parallelism can be allocated in seconds, and CPU time is billed with sub-second granularity. To exploit these executors, we introdu... |
Year | DOI | Venue |
|---|---|---|
2021 | 10.34727/2021/isbn.978-3-85448-046-4_33 | 2021 Formal Methods in Computer Aided Design (FMCAD) |
Keywords | DocType | ISBN |
Design automation,Parallel processing,Hardware,Servers | Conference | 978-3-85448-046-4 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alex Ozdemir | 1 | 0 | 1.01 |
| Haoze Wu | 2 | 13 | 1.93 |
| Clark Barrett | 3 | 1268 | 108.65 |