Felix Rauch

According to our database, Felix Rauch authored at least 12 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Some Assembly Required - Program Analysis of Embedded System Code.

Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

2007

Model Checking Software at Compile Time.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

Goanna - A Static Model Checker.

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch

Proceedings of the Formal Methods: Applications and Technology, 2006

2005

OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems.

Felix Rauch, Thomas Stricker

Proceedings of the Database Technologies 2005, 2005

2003

Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs.

Felix Rauch

PhD thesis, 2003

Cost/Performance Tradeoffs in Network Interconnects for Clusters of Commodity PCs.

Christian Kurmann, Felix Rauch, Thomas Stricker

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Comments on "transparent user-level process checkpoint and restore for migration" by Bozyigit and Wasiq.

Felix Rauch, Thomas Stricker

ACM SIGOPS Oper. Syst. Rev., 2002

Optimizing the distribution of large data sets in theory and practice.

Felix Rauch, Christian Kurmann, Thomas Stricker

Concurr. Comput. Pract. Exp., 2002

2001

Speculative Defragmentation - Leading Gigabit Ethernet to True Zero-Copy Communication.

Christian Kurmann, Felix Rauch, Thomas Stricker

Clust. Comput., 2001

2000

Speculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet.

Christian Kurmann, Michael Müller, Felix Rauch, Thomas Stricker

Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, 2000

Partition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper).

Felix Rauch, Christian Kurmann, Thomas Stricker

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs.

Felix Rauch, Christian Kurmann, Thomas Stricker

Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000