1![arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING](https://www.pdfsearch.io/img/d87515599c3af2a962cc8eb3134555e4.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-05-02 20:35:50
|
---|
2![Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and](https://www.pdfsearch.io/img/11054ae5ce03c8b174b33c9483470781.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-07-21 04:42:46
|
---|
3![Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute](https://www.pdfsearch.io/img/83214a688d109a4bbef9b0b187b989ba.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:52:45
|
---|
4![Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif](https://www.pdfsearch.io/img/8da7d27ea823ea7df1f44986f4087512.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:44:04
|
---|
5![Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif](https://www.pdfsearch.io/img/09b2903a6150e07cbcd5c8425d14a418.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:01
|
---|
6![A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,](https://www.pdfsearch.io/img/3c8e26f8821123cc2821a133545363fd.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:50:05
|
---|
7![Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute](https://www.pdfsearch.io/img/dec8423e8a1ab5c539ee0e4c55e7c5d5.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-08-23 11:21:22
|
---|
8![2018 IL SETTORE DEI PF IN BREVE 2018 IL SETTORE DEI PF IN BREVE](https://www.pdfsearch.io/img/9bf2894dd7ac1f3fe24f93d236a501f7.jpg) | Add to Reading ListSource URL: www.ethrat.chLanguage: Italian - Date: 2018-05-23 07:51:26
|
---|
9![Obiettivi strategici del Consiglio federale per il settore dei PF per gli anni 2017–2020 Obiettivi strategici del Consiglio federale per il settore dei PF per gli anni 2017–2020](https://www.pdfsearch.io/img/5bd3bc64552f01c89381d1b0b5eaae56.jpg) | Add to Reading ListSource URL: www.ethrat.chLanguage: Italian - Date: 2017-10-24 10:47:30
|
---|
10![Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering](https://www.pdfsearch.io/img/589a64ada453996747bd731eced23db2.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:48:58
|
---|