Felix Rauch

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried
Some Assembly Required - Program Analysis of Embedded System Code. SCAM (2008)
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
Model Checking Software at Compile Time. TASE (2007)
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch
Goanna - A Static Model Checker. FMICS/PDMC (2006)
Felix Rauch, Thomas Stricker
OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems. ADC (2005)
Christian Kurmann, Felix Rauch, Thomas Stricker
Cost/Performance Tradeoffs in Network Interconnects for Clusters of Commodity PCs. IPDPS (2003)
Felix Rauch, Thomas Stricker
Comments on "transparent user-level process checkpoint and restore for migration" by Bozyigit and Wasiq. ACM SIGOPS Oper. Syst. Rev. 36 (3) (2002)
Felix Rauch, Christian Kurmann, Thomas Stricker
Optimizing the distribution of large data sets in theory and practice. Concurr. Comput. Pract. Exp. 14 (3) (2002)
Christian Kurmann, Felix Rauch, Thomas Stricker
Speculative Defragmentation - Leading Gigabit Ethernet to True Zero-Copy Communication. Clust. Comput. 4 (1) (2001)
Felix Rauch, Christian Kurmann, Thomas Stricker
Partition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper). Euro-Par (2000)
Felix Rauch, Christian Kurmann, Thomas Stricker
Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs. CLUSTER (2000)
Christian Kurmann, Michael Müller, Felix Rauch, Thomas Stricker
Speculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet. HPDC (2000)