dblp.uni-trier.dewww.uni-trier.de

Felix Rauch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EEAnsgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seefried: Some Assembly Required - Program Analysis of Embedded System Code. SCAM 2008: 15-24
2007
10EEAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Model Checking Software at Compile Time. TASE 2007: 45-56
2006
9EEAnsgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch: Goanna - A Static Model Checker. FMICS/PDMC 2006: 297-300
2005
8EEFelix Rauch, Thomas Stricker: OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems. ADC 2005: 145-154
2003
7EEChristian Kurmann, Felix Rauch, Thomas Stricker: Cost/Performance Tradeoffs in Network Interconnects for Clusters of Commodity PCs. IPDPS 2003: 196
2002
6 Felix Rauch, Christian Kurmann, Thomas Stricker: Optimizing the distribution of large data sets in theory and practice. Concurrency and Computation: Practice and Experience 14(3): 165-181 (2002)
5EEFelix Rauch, Thomas Stricker: Comments on "transparent user-level process checkpoint and restore for migration" by Bozyigit and Wasiq. Operating Systems Review 36(3): 8-9 (2002)
2001
4 Christian Kurmann, Felix Rauch, Thomas Stricker: Speculative Defragmentation - Leading Gigabit Ethernet to True Zero-Copy Communication. Cluster Computing 4(1): 7-18 (2001)
2000
3EEFelix Rauch, Christian Kurmann, Thomas Stricker: Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs. CLUSTER 2000: 233
2EEFelix Rauch, Christian Kurmann, Thomas Stricker: Partition Cast - Modelling and Optimizing the Distribution of Large Data Sets in PC Clusters (Distinguished Paper). Euro-Par 2000: 1118-1131
1EEChristian Kurmann, Michael Müller, Felix Rauch, Thomas Stricker: Speculative Defragmentation - A Technique to Improve the Communication Software Efficiency for Gigabit Ethernet. HPDC 2000: 131-138

Coauthor Index

1Ansgar Fehnker [9] [10] [11]
2Ralf Huuck [9] [10] [11]
3Patrick Jayet [9] [10]
4Christian Kurmann [1] [2] [3] [4] [6] [7]
5Michel Lussenburg [9] [10]
6Michael Müller [1]
7Sean Seefried [11]
8Thomas Stricker [1] [2] [3] [4] [5] [6] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)