Felix Rauch

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