71![Scalable Integrated Performance Analysis of Multi-Gigabit Networks ∗ Ezra Kissel∗ , Ahmed El-Hassany† , Guilherme Fernandes† , Martin Swany† , Dan Gunter‡ , Taghrid Samak‡ , Jennifer M. Schopf§ Scalable Integrated Performance Analysis of Multi-Gigabit Networks ∗ Ezra Kissel∗ , Ahmed El-Hassany† , Guilherme Fernandes† , Martin Swany† , Dan Gunter‡ , Taghrid Samak‡ , Jennifer M. Schopf§](https://www.pdfsearch.io/img/37c0583ca66617004eaec4e4c371355c.jpg) | Add to Reading ListSource URL: people.ee.ethz.chLanguage: English - Date: 2017-02-01 15:47:42
|
---|
72![NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology](https://www.pdfsearch.io/img/059df221089b28bf84bede2c7c6e9403.jpg) | Add to Reading ListSource URL: mlq.meLanguage: English - Date: 2018-08-17 12:03:32
|
---|
73![Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011 Termgraph Rewriting Maria Schett Supervisors: Martin Avanzini, Georg Moser November 8, 2011](https://www.pdfsearch.io/img/8c2a5c1106a63be964e3ebb494da4811.jpg) | Add to Reading ListSource URL: www.maria-a-schett.netLanguage: English - Date: 2016-12-11 09:15:55
|
---|
74![Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev](https://www.pdfsearch.io/img/0466afe92d5266b6e8a36d682d6004e3.jpg) | Add to Reading ListSource URL: practicalsynthesis.github.ioLanguage: English - Date: 2018-01-15 09:26:26
|
---|
75![Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener](https://www.pdfsearch.io/img/f06a0d2230c09dd9c0b3cc4f269fb6a6.jpg) | Add to Reading ListSource URL: www.logic.atLanguage: English - Date: 2018-07-19 05:32:19
|
---|
76![SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 , SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 ,](https://www.pdfsearch.io/img/df3c084d64f002faeb6a7dfb52b04071.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:11:06
|
---|
77![Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University](https://www.pdfsearch.io/img/9a04335d7a92dd2037dde916d3fb1703.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2017-07-24 10:20:50
|
---|
78![Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018](https://www.pdfsearch.io/img/9a482109cb046954ed08134eff4aa305.jpg) | Add to Reading ListSource URL: isabelle.in.tum.deLanguage: English - Date: 2018-08-15 07:19:21
|
---|
79![Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1 Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1](https://www.pdfsearch.io/img/30681f77f1c857415c446197b25f47da.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:43
|
---|
80![Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo](https://www.pdfsearch.io/img/7bc9c6a09434696499a5b0b1d9fec708.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 13:24:35
|
---|