HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
91.
▲
Laws of order: expensive synchronization in concurrent algorithms cannot be elim [pdf]
files.sri.inf.ethz.ch
discuss
9 months ago
fanf2
1 points
92.
▲
DeepPoly: An abstract domain for certifying neural networks (2019)
sri.inf.ethz.ch
discuss
a year ago
teleforce
1 points
93.
▲
Differentiable Abstract Interpretation for Provably Robust Neural Networks [pdf]
files.sri.inf.ethz.ch
discuss
a year ago
harporoeder
1 points
94.
▲
"Writing reviews for systems conferences" Timothy Roscoe (2007) [pdf]
people.inf.ethz.ch
discuss
2 years ago
sandwichsphinx
1 points
95.
▲
Predicting Program Properties from Big Code
sri.inf.ethz.ch
discuss
2 years ago
johnnyballgame
1 points
96.
▲
LASER 2012: Summer School on Innovative Languages for Software Engineering
laser.inf.ethz.ch
discuss
14 years ago
nadia_p
1 points
97.
▲
A Plea for Lean Software [pdf]
people.inf.ethz.ch
discuss
3 years ago
signa11
1 points
98.
▲
A Brief History of Software Engineering [pdf]
inf.ethz.ch
discuss
15 years ago
da02
1 points
99.
▲
Small Guide to Making Nice Tables [pdf]
people.inf.ethz.ch
discuss
4 years ago
Tomte
1 points
100.
▲
Computers and Computing – Niklaus Wirth 12/2015 [pdf]
people.inf.ethz.ch
discuss
6 years ago
pinewurst
1 points
101.
▲
“one person's constant is another person's variable”
lists.inf.ethz.ch
discuss
6 years ago
cxr
1 points
102.
▲
History of Modula-2 and Oberon (2006) [pdf]
inf.ethz.ch
discuss
7 years ago
eaguyhn
1 points
103.
▲
Leveraging Rust Types for Modular Specification and Verification [pdf]
pm.inf.ethz.ch
discuss
7 years ago
matt_d
1 points
104.
▲
It is possible to have both precise and robust neural networks
sri.inf.ethz.ch
discuss
7 years ago
veselin
1 points
105.
▲
Embedding Functions into Reversible Circuits
spcl.inf.ethz.ch
discuss
7 years ago
matt_d
1 points
106.
▲
Using Commodity DRAM Devices to Generate Random Numbers [pdf]
people.inf.ethz.ch
discuss
7 years ago
aburan28
1 points
107.
▲
Memory Systems and Memory-Centric Computing Systems
people.inf.ethz.ch
discuss
8 years ago
ingve
1 points
108.
▲
Google Workloads for Consumer Devices: Mitigating Data Movement Bottlenecks [pdf]
people.inf.ethz.ch
discuss
8 years ago
eaguyhn
1 points
109.
▲
Runahead execution – An effective alternative to large scale execution windows [pdf]
people.inf.ethz.ch
discuss
8 years ago
godelmachine
1 points
110.
▲
Examining the Expert Gap in Parallel Programming (2013) [pdf]
se.inf.ethz.ch
discuss
11 years ago
espeed
1 points