Search: inf.ethz.ch | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf] (files.sri.inf.ethz.ch)

1 point

9 months ago

92.

DeepPoly: An abstract domain for certifying neural networks (2019) (sri.inf.ethz.ch)

1 point

a year ago

93.

Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf] (files.sri.inf.ethz.ch)

1 point

a year ago

94.

"Writing reviews for systems conferences" Timothy Roscoe (2007) [pdf] (people.inf.ethz.ch)

1 point

2 years ago

95.

Predicting Program Properties from Big Code (sri.inf.ethz.ch)

1 point

2 years ago

96.

LASER 2012: Summer School on Innovative Languages for Software Engineering (laser.inf.ethz.ch)

1 point

14 years ago

97.

A Plea for Lean Software [pdf] (people.inf.ethz.ch)

1 point

3 years ago

98.

A Brief History of Software Engineering [pdf] (inf.ethz.ch)

1 point

15 years ago

99.

Small Guide to Making Nice Tables [pdf] (people.inf.ethz.ch)

1 point

4 years ago

100.

Computers and Computing – Niklaus Wirth 12/2015 [pdf] (people.inf.ethz.ch)

1 point

6 years ago

101.

“one person's constant is another person's variable” (lists.inf.ethz.ch)

1 point

6 years ago

102.

History of Modula-2 and Oberon (2006) [pdf] (inf.ethz.ch)

1 point

6 years ago

103.

Leveraging Rust Types for Modular Specification and Verification [pdf] (pm.inf.ethz.ch)

1 point

7 years ago

104.

It is possible to have both precise and robust neural networks (sri.inf.ethz.ch)

1 point

7 years ago

105.

Embedding Functions into Reversible Circuits (spcl.inf.ethz.ch)

1 point

7 years ago

106.

Using Commodity DRAM Devices to Generate Random Numbers [pdf] (people.inf.ethz.ch)

1 point

7 years ago

107.

Memory Systems and Memory-Centric Computing Systems (people.inf.ethz.ch)

1 point

8 years ago

108.

Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks [pdf] (people.inf.ethz.ch)

1 point

8 years ago

109.

Runahead execution – An effective alternative to large scale execution windows [pdf] (people.inf.ethz.ch)

1 point

8 years ago

110.

Examining the Expert Gap in Parallel Programming (2013) [pdf] (se.inf.ethz.ch)

1 point

11 years ago