2008 |
11 | EE | Ansgar Fehnker,
Ralf Huuck,
Felix Rauch,
Sean Seefried:
Some Assembly Required - Program Analysis of Embedded System Code.
SCAM 2008: 15-24 |
2007 |
10 | EE | Ansgar Fehnker,
Ralf Huuck,
Patrick Jayet,
Michel Lussenburg,
Felix Rauch:
Model Checking Software at Compile Time.
TASE 2007: 45-56 |
2006 |
9 | EE | Ansgar Fehnker,
Ralf Huuck,
Patrick Jayet,
Michel Lussenburg,
Felix Rauch:
Goanna - A Static Model Checker.
FMICS/PDMC 2006: 297-300 |
2005 |
8 | EE | Felix Rauch,
Thomas Stricker:
OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems.
ADC 2005: 145-154 |
2003 |
7 | EE | Christian 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) |
5 | EE | Felix 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 |
3 | EE | Felix Rauch,
Christian Kurmann,
Thomas Stricker:
Partition Repositories for Partition Cloning - OS Independent Software Maintenance in Large Clusters of PCs.
CLUSTER 2000: 233 |
2 | EE | 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: 1118-1131 |
1 | EE | Christian 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 |