Search: in.tum.de | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Isabelle: Sledgehammer Let Automatic Theorem Provers Write Your Isabelle Scripts (isabelle.in.tum.de)

3 points

8 years ago

32.

Approximate Geospatial Joins with Precision Guarantees [pdf] (db.in.tum.de)

3 points

8 years ago

33.

WebCDN – A Content Distribution Network from Web Browsers Using WebRTC (www11.in.tum.de)

3 points

9 years ago

34.

Direct Sparse Odometry (vision.in.tum.de)

3 points

10 years ago

35.

Ever Had Problems Rounding Off Figures? This Stock Exchange Has [pdf] (www5.in.tum.de)

2 points

a year ago

36.

Evaluating Apple Silicon for Data Processing [pdf] (db.in.tum.de)

2 points

6 days ago

37.

Proteus: Heterogeneous FPGA Virtualization [pdf] (dse.in.tum.de)

2 points

2 months ago

38.

The "Bug" Heard 'Round the World [pdf] (www5.in.tum.de)

2 points

2 months ago

39.

The Path of a Packet Through the Linux Kernel [pdf] (net.in.tum.de)

2 points

a year ago

40.

Writing an NVMe Driver in Rust [pdf] (db.in.tum.de)

2 points

2 years ago

41.

Umbra: A Disk-Based System with In-Memory Performance (2020) [pdf] (db.in.tum.de)

2 points

2 years ago

42.

Dr M. Kleppmann receives Fellowship from Volkswagen for Local-first software (in.tum.de)

2 points

4 years ago

43.

The Case for Writing Network Drivers in High-Level Programming Languages [pdf] (net.in.tum.de)

2 points

7 years ago

44.

Automata theory – An algorithmic approach [pdf] (www7.in.tum.de)

2 points

8 years ago

45.

HyPer: High-Performance Geospatial Analytics in HyPerSpace [pdf] (db.in.tum.de)

2 points

9 years ago

46.

Ever Had Problems Rounding Off Figures? This Stock Exchange Has [pdf] (1983) (www5.in.tum.de)

2 points

10 years ago

47.

The Safety-Critical Real-Time Perspective (2010) (www2.in.tum.de)

2 points

10 years ago

48.

LSD-SLAM: Large-Scale Direct Monocular SLAM (vision.in.tum.de)

2 points

10 years ago

49.

Computer horror stories [1993] [pdf] (www5.in.tum.de)

1 point

11 years ago

50.

VoTUM – framework to implement and visualize data flow analyses (www2.in.tum.de)

1 point

12 years ago

51.

X86 Intrinsics Cheat Sheet (www-db.in.tum.de)

1 point

12 years ago

52.

Jasmin Blanchette’s Little Manual of API Design (www4.in.tum.de)

1 point

13 years ago

53.

Predictive Translation: High-Perf Buffer Management Without the Tradeoffs [pdf] (db.in.tum.de)

1 point

4 months ago

54.

Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework [pdf] (db.in.tum.de)

1 point

8 months ago

55.

The Little Manual of API Design (2008) [pdf] (www21.in.tum.de)

1 point

2 years ago

56.

Tidy Tuples and Flying Start: Fast Compilation and Exec of Rel. Queries in Umbra [pdf] (db.in.tum.de)

1 point

6 years ago

57.

The Safety-Critical Real-Time Perspective (2010) (www2.in.tum.de)

1 point

6 years ago

58.

The Safety-Critical Real-Time Perspective (2010) (www2.in.tum.de)

1 point

7 years ago

59.

Collection of Software Bugs (www5.in.tum.de)

1 point

7 years ago

60.

The Safety-Critical Real-Time Perspective (2010) (www2.in.tum.de)

1 point

7 years ago