Felix Rauch
Felix Rauch
Google (formerly ETH Zurich and NICTA)
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
Model checking software at compile time
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
462007
Goanna—a static model checker
A Fehnker, R Huuck, P Jayet, M Lussenburg, F Rauch
Formal Methods: Applications and Technology, 297-300, 2006
342006
Cost/performance tradeoffs in network interconnects for clusters of commodity PCs
C Kurmann, F Rauch, TM Stricker
Proceedings International Parallel and Distributed Processing Symposium, 10 pp., 2003
282003
Generating a transition system for use with model checking
R Huuck, A Fehnker, P Jayet, FR Valenti
US Patent 8,850,415, 2014
272014
Generating a transition system for use with model checking
A Fehnker, R Huuck, P Jayet, F Rauch
EP Patent App. 20,070,800,309, 2007
27*2007
Generating a transition system for use with model checking
A Fehnker, R Huuck, P Jayet, F Rauch
WO Patent App. PCT/AU2007/001,355, 2007
27*2007
Speculative Defragmentation–Leading Gigabit Ethernet to True Zero-Copy Communication
C Kurmann, F Rauch, TM Stricker
Cluster Computing 4 (1), 7-18, 2001
252001
Speculative defragmentation-a technique to improve the communication software efficiency for gigabit ethernet
C Kurmann, M Muller, F Rauch, TM Stricker
Proceedings the Ninth International Symposium on High-Performance …, 2000
242000
Partition cast—Modelling and optimizing the distribution of large data sets in PC clusters
F Rauch, C Kurmann, TM Stricker
European Conference on Parallel Processing, 1118-1131, 2000
172000
Partition repositories for partition cloning OS independent software maintenance in large clusters of PCs
F Rauch, C Kurmann, TM Stricker
Proceedings IEEE International Conference on Cluster Computing. CLUSTER 2000 …, 2000
152000
Some assembly required-program analysis of embedded system code
A Fehnker, R Huuck, F Rauch, S Seefried
2008 Eighth IEEE International Working Conference on Source Code Analysis …, 2008
142008
Optimizing the distribution of large data sets in theory and practice
F Rauch, C Kurmann, TM Stricker
Concurrency and Computation: Practice and Experience 14 (3), 165-181, 2002
92002
Multi language software code analysis
R Huuck, F Rauch, B Blackham, S Seefried
US Patent 8,869,120, 2014
82014
CoPs—Clusters of PCs Project overview
TM Stricker, C Kurmann, M Taufer, F Rauch
World Wide Web, http://www. cs. inf. ethz. ch/CoPs, 0
8
Patagonia-A Dual Use Cluster of PCs for Computation and Education
F Rauch, C Kurmann, BM Müller-Lagunez, B Maria, M Thomas, ...
In 2. Workshop Cluster Computing, 1999
71999
Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs
F Rauch
Series in computer science 4, 2003
32003
Distribution and storage of data on local and remote disks in multi-use clusters of commodity PCs
FV Rauch
Diss., Technische Wissenschaften ETH Zürich, Nr. 15281, 2003, 2003
32003
Comprehensive throughput evaluation of LANs in clusters of PCs with Switchbench-or how to bring your switch to its knees
F Rauch
IEEE International. 2005 Proceedings of the IEEE Workload Characterization …, 2005
22005
Os support for a commodity database on pc clusters: distributed devices vs. distributed file systems
F Rauch, TM Stricker
Proceedings of the 16th Australasian database conference-Volume 39, 145-154, 2005
22005
Porting ckpt lib to different UNIX operating systems
F Rauch
Internal report, ISE Integrated Systems Engineering, Zürich, Switzerland, 1996
21996
The system can't perform the operation now. Try again later.
Articles 1–20